snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
MIT License
135 stars 19 forks source link

feat(ivc): impl tiny-gate-ecc #391

Closed cyphersnake closed 1 day ago

cyphersnake commented 1 week ago

Motivation We need to implement an ecc operations for #371 within the second curve

Overview The logic of ecc-gate based on main-gate is almost completely repeated

The tests will be part of the higher-level logic associated with the ecc-circuit Tests included