Crate poly_commit

Kate Polynomial Commitment

Implementation of Kate Polynomial Commitment.

Test

$ cargo test

Structs

Coefficients

polynomial coefficients form expression a_n-1 , a_n-2, … , a_0

Commitment

polynomial commitment expresses as affine coordinate

CommitmentKey

EvaluationKey

Evaluation Key is used to verify opening proofs made about a committed polynomial.

Fft

fft construction using n th root of unity supports polynomial operation less than n degree

PointsValue

polynomial points-value form expression

Proof

Proof that a polynomial p was correctly evaluated at a point z producing the evaluated point p(z).

Witness

witness for Kate polynomial commitment

Functions

batch_inversion

batch inversion operation for prime field vectors

msm_curve_addition

Performs a Variable Base Multiscalar Multiplication.

powers_of

power operation for prime field