search

privacy-scaling-explorations / sonobe

Experimental folding schemes library
https://privacy-scaling-explorations.github.io/sonobe-docs/
MIT License
204 stars 53 forks source link

Hypernova decider circuit (for onchain verification in ethereum) #132

Closed arnaucube closed 3 months ago

arnaucube commented 3 months ago

It does a similar logic as the Nova decider ( https://privacy-scaling-explorations.github.io/sonobe-docs/design/nova-decider-onchain.html ), but adapted to HyperNova.

arnaucube commented 3 months ago

(rebased to last main branch changes)