feat(plonk): update `trait Eval` - Githubissues

snarkify / sirius

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

MIT License

119 stars 17 forks source link

feat(plonk): update `trait Eval` #227

Closed cyphersnake closed 5 months ago

cyphersnake commented 6 months ago

Motivation We need to ensure migration from MultiPolynomial to GroupedPoly, as part of this task the Eval trait should be extended

Part of #159

Overview

trait Eval is split into two traits: GetDataForEval + Eval
The incoming polynomial type Eval is made generic
The fn eval implementation for MultiPolynomial has been moved to type-specific impl
Added blanks for calculating GroupedPoly & Expression (will be done via EvaluationGraph)