snarkify / sirius

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

refactor(nifs): simplify `MultifoldingScheme` #290

Closed cyphersnake closed 6 days ago

cyphersnake commented 1 week ago

Motivation Part of #266 Saw that we can generalize the FoldingScheme with little effort

We don't expect any more FoldingScheme for one incoming, so keeping a separate base trait for that is unnecessary

Overview Just added a generic with a folding number size of incoming and made a basic FoldingScheme with a size of incoming equal 1

Because of this, in some places it became easier to store an array instead of a single element, however, there is no memory overhead. However, even this feature can be simplified, let me know if you find it critically incomprehensible