feat(poly): impl `GraphEvaluator` draft

snarkify / sirius

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

MIT License

119 stars 17 forks source link

feat(poly): impl `GraphEvaluator` draft #221

Closed cyphersnake closed 6 months ago

cyphersnake commented 6 months ago

Issue Link / Motivation Close #159

Changes Overview WIP

cyphersnake commented 6 months ago

I will most likely hide some of these calculations behind trait during the design migration, however, the general gist of the design can be grasped. Starting to test GraphEvaluator.