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
• Fft
  fft construction using n th root of unity supports polynomial operation less than n degree
• KeyPair
  Kate polynomial commitment params used for prover polynomial domain and proof verification
• PointsValue
  polynomial points-value form expression
• Witness
  witness for Kate polynomial commitment

Enums

• KzgError

Functions

• batch_inversion
  batch inversion operation for prime field vectors
• powers_of
  power operation for prime field