# 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)
