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

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 3 weeks ago

Motivation Close #367

Overview Tests for this functionality will be done within a more upper-level module to simplify the mocks