feat(ivc): impl `protogalaxy::calculate_e`

snarkify / sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

MIT License

136 stars 19 forks source link

Closed cyphersnake closed 3 weeks ago

cyphersnake commented 1 month ago

Motivation Part of #361

Calculation of e is high-level part of protogalaxy protocol.

Overview Implemented calculation of e with tests