1# Usage
 2
 3This section showcases how to use the Sonobe library to:
 4- Define a circuit to be folded using a frontend such as [`circom`](https://github.com/iden3/circom) or [arkworks](https://github.com/arkworks-rs/r1cs-std).
 5- Fold the circuit using one of the folding schemes
 6- Generate a final Decider proof
 7- Verify the Decider proof, and in Ethereum case, generate a Solidity verifier 
 8 
 9<br><br>
10
11<p align="center">
12    <img src="../imgs/sonobe-lib-pipeline.png" />
13</p>