1# Usage
 2
 3## Folding schemes overview
 4(wip)
 5<!-- [introductory text here (TODO)] -->
 6
 7<img src="../imgs/folding-main-idea-diagram.png" style="width:70%;" />
 8
 9[...] [this presentation](https://youtu.be/IzLTpKWt-yg?t=6367), where [Carlos Pérez](https://twitter.com/CPerezz19) overviews the features of folding schemes and what can be build with them.
10
11
12## Sonobe overview
13<!-- TODO explain the idea of sonobe, being a modular library to use different folding schemes -->
14Suppose that the user inputs a circuit that follows the IVC structure, chooses which Folding Scheme to use (eg. Nova), and which Decider (eg. Spartan over Pasta curve).
15
16Later the user can for example change with few code changes the Folding Scheme being used (eg. switch to ProtoGalaxy) and also the Decider (eg. Groth16 over bn254), so the final proof can be verified in an Ethereum smart contract.
17
18![](../imgs/sonobe-lib-pipeline.png)
19
20Complete examples can be found at [sonobe/folding-schemes/examples](https://github.com/privacy-scaling-explorations/sonobe/tree/main/folding-schemes/examples)