Add multi-instances folding to AugmentedFCircuit & IVC

privacy-scaling-explorations / sonobe

Experimental folding schemes library

MIT License

205 stars 54 forks source link

Closed arnaucube closed 4 months ago

arnaucube commented 4 months ago

Adds the logic to support multi-instances folding in HyperNova's AugmentedFCircuit & IVC.
Adds also methods to generate new LCCCS & CCCS instances that don't depend on the main folding chain, to be folded in in the next step
Updates CycleFold circuit & methods to work other folding schemes than Nova adapting it to fold multiple points per circuit (instead of 2-to-1 as till now)

arnaucube commented 4 months ago

Rebased to latest main branch updates, this PR is now ready to be reviewed.

arnaucube commented 4 months ago

Rebased the branch of this PR to latest main branch changes.