snarkify / sirius

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

feat(poly): univariate poly eval #256

Closed cyphersnake closed 1 month ago

cyphersnake commented 1 month ago

Univariate polynomial and evaluation This is straightforward. A uni-variate polynomial is represented by its coefficients. Can be simply defined as a vector.

Definition: P: Vec<F> Evaluation fn eval(P, x)

struct UnivariatePoly(Vec<F>)

impl UnivariatePoly {
    pub fn eval(self, x: F) -> F { todo!() }
}