snarkify / sirius

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

feat(poly): impl `GraphEvaluator` #224

Closed cyphersnake closed 5 months ago

cyphersnake commented 6 months ago

Motivation We need a generalized way to compute Expersion values, to implement the new approach under #159

Overview The module is based on halo2 code, all halo2-specific implementation nuances have been removed from it and tests have been added