proof_system::honk::pcs::gemini::ProverOutput< Curve > Struct Template Reference

Prover output (evalutation pair, witness) that can be passed on to Shplonk batch opening. More...

#include <gemini.hpp>

Public Attributes
std::vector< OpeningPair< Curve > >	opening_pairs
std::vector< barretenberg::Polynomial< typename Curve::ScalarField > >	witnesses

Detailed Description

template<typename Curve>
struct proof_system::honk::pcs::gemini::ProverOutput< Curve >

Prover output (evalutation pair, witness) that can be passed on to Shplonk batch opening.

Evaluation pairs {r, A₀₊(r)}, {-r, A₀₋(-r)}, {-r^{2^j}, Aⱼ(-r^{2^j)}, j = [1, ..., m-1] and witness (Fold) polynomials [ A₀₊(X) = F(X) + r⁻¹⋅G(X) A₀₋(X) = F(X) - r⁻¹⋅G(X) A₁(X) = (1-u₀)⋅even(A₀)(X) + u₀⋅odd(A₀)(X) ... Aₘ₋₁(X) = (1-uₘ₋₂)⋅even(Aₘ₋₂)(X) + uₘ₋₂⋅odd(Aₘ₋₂)(X) ]

Template Parameters

Curve

CommitmentScheme parameters

---

The documentation for this struct was generated from the following file:

• src/barretenberg/commitment_schemes/gemini/gemini.hpp