Dummy circuit SP1 working example

[philippecamacho]

Steps:

• File that describes the circuit
• Proof generation
• Verification of the proof inside a smart contract.

Reference: https://github.com/succinctlabs/sp1-project-template

[alxiong]

Note: I'll be putting code in https://github.com/EspressoSystems/zkrollup-integration for this PR (and future work)