# sonobe docs - [Introduction](README.md) - [Folding Schemes and Sonobe](folding-and-sonobe.md) - [Usage](usage/overview.md) - [Frontend](usage/frontend.md) - [Arkworks](usage/frontend-arkworks.md) - [Circom](usage/frontend-circom.md) - [Noir](usage/frontend-noir.md) - [Noname](usage/frontend-noname.md) - [Fold](usage/fold.md) - [Decider prove](usage/decider-prove.md) - [Decider verify](usage/decider-verify.md) - [Solidity verifier](usage/solidity-verifier.md) - [Nova's zero-knowledge layer](usage/nova-zk.md) - [Modularity](usage/modularity.md) - [Design](design/design.md) - [Nova+CycleFold circuit](design/novacyclefold-circuit.md) - [Decider Onchain](design/nova-decider-onchain.md) - [Examples and Projects](examples_projects.md)