Module poly_commitment::ipa

This module contains the implementation of the polynomial commitment scheme called the Inner Product Argument (IPA) as described in Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting

Modules

• caml

Structs

• Challenges
  Commitment round challenges (endo mapped) and their inverses.
• OpeningProof
• SRS

Functions

• endos