You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
dmpierre 719c88b4a9
chore: update summary
11 months ago
..
design update augmentedfcircuit constr 1 year ago
imgs Update nova-cyclefold-diagram.png correcting typo 1 year ago
usage chore: add section on nova's zk layer 11 months ago
README.md add 'experimental' mention to the circom frontend 1 year ago
SUMMARY.md chore: update summary 11 months ago
examples_projects.md update hash-chain-sonobe link in examples section 1 year ago
folding-and-sonobe.md chore: typos 1 year ago

README.md

sonobe

Experimental folding schemes library implemented in a joint effort by 0xPARC and PSE.

https://github.com/privacy-scaling-explorations/sonobe

Sonobe is a modular library to fold circuit instances in an Incremental Verifiable computation (IVC) style. It features multiple folding schemes and decider setups, allowing users to pick the scheme which best fit their needs.

Sonobe is conceived as an exploratory effort with the aim to push forward the practical side of folding schemes and advancing towards onchain (EVM) verification.

"The Sonobe module is one of the many units used to build modular origami. The popularity of Sonobe modular origami models derives from the simplicity of folding the modules, the sturdy and easy assembly, and the flexibility of the system."

Warning: experimental code, do not use in production.
The code has not been audited. Several optimizations are also pending. Our focus so far has been on implementing the Nova and CycleFold schemes and achieving onchain (EVM) verification.

Schemes implemented

The library uses arkworks, and implements the following folding schemes:

Work in progress:

Available frontends

Available frontends to define the folded circuit: