gemini.hpp File Reference

#include "barretenberg/commitment_schemes/claim.hpp"
#include "barretenberg/commitment_schemes/claim_batcher.hpp"
#include "barretenberg/common/bb_bench.hpp"
#include "barretenberg/common/thread.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
#include "barretenberg/transcript/transcript.hpp"

Go to the source code of this file.

Classes
class	bb::GeminiProver_< Curve >
class	bb::GeminiProver_< Curve >::PolynomialBatcher
	Class responsible for computation of the batched multilinear polynomials required by the Gemini protocol. More...
class	bb::GeminiVerifier_< Curve >

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::gemini
	Prover output (evalutation pair, witness) that can be passed on to Shplonk batch opening.

Functions
template<class Fr >
std::vector< Fr >	bb::gemini::powers_of_rho (const Fr rho, const size_t num_powers)
	Compute powers of challenge ρ
template<class Fr >
std::vector< Fr >	bb::gemini::powers_of_evaluation_challenge (const Fr r, const size_t num_squares)
	Compute squares of folding challenge r.