feat(nifs): impl `ProtoGalaxy::is_sat_acc`

snarkify / sirius

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

MIT License

138 stars 19 forks source link

feat(nifs): impl `ProtoGalaxy::is_sat_acc` #325

Closed cyphersnake closed 3 months ago

cyphersnake commented 4 months ago

Motivation Part of #267

Overview Unfortunately, it was not possible to reuse parts of the code from protogalaxy::poly, so there is a slight DRY violation, however, the code there is optimized for simultaneous eval, whereas here it is a much simpler case.

[ ] test(nifs): protogalaxy::is_sat_{acc, perm}

cyphersnake commented 3 months ago

Splitted into #337 #338 #339