Usage

This section showcases how to use the Sonobe library to:

• Define a circuit to be folded using a frontend such as circom or arkworks.
• Fold the circuit using one of the folding schemes
• Generate a final Decider proof
• Verify the Decider proof, and in Ethereum case, generate a Solidity verifier