Module ark_marlin::ahp [−][src]
Expand description
Implements an Algebraic Holographic Proof (AHP) for the R1CS indexed relation.
Modules
| indexer | Describes data structures and the algorithms used by the AHP indexer. |
| prover | Describes data structures and the algorithms used by the AHP prover. |
| verifier | Describes data structures and the algorithms used by the AHP verifier. |
Structs
| AHPForR1CS | 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). |
Enums
| Error | Describes the failure modes of the AHP scheme. |
Traits
| EvaluationsProvider | Abstraction that provides evaluations of (linear combinations of) polynomials |
| UnnormalizedBivariateLagrangePoly | The derivative of the vanishing polynomial |
Type Definitions
| LabeledPolynomial | A labeled DensePolynomial with coefficients over |