snarkify / sirius

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

refactor(nifs): rm `trait FoldingScheme` #389

Closed cyphersnake closed 1 week ago

cyphersnake commented 2 weeks ago

Motivation This is an attempt to speed up the implementation of #378

If we remove the FoldingScheme trait, we can be more flexible in customizing Sangria & ProtoGalaxy nifs types.

This is important since Sangria uses a cyclic scheme, Cyclefold has a simpler recursion scheme

Overview Just remove trait and use all methods directly. Structure of methods not changed