Expand description
Algebraic holographic proofs.
Structs§
- AHPFor
R1CS - The algebraic holographic proof defined in CHMMVW19. Currently, this AHP only supports inputs of size one less than a power of 2 (i.e., of the form 2^n - 1).
Traits§
- Evaluations
Provider - Abstraction that provides evaluations of (linear combinations of) polynomials