1# Usage
2This section showcases how to use the Sonobe library to:
3- Define a circuit to be folded using the Frontend
4- Fold the circuit using one of the folding schemes
5- Generate a final Decider proof
6- Verify the Decider proof, and in Ethereum case, generate a Solidity verifier