Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
GeminiTest< Curve > Member List
This is the complete list of members for
GeminiTest< Curve >
, including all inherited members.
CK
typedef
GeminiTest< Curve >
ck
GeminiTest< Curve >
static
ClaimBatch
typedef
GeminiTest< Curve >
private
ClaimBatcher
typedef
GeminiTest< Curve >
private
combine_claims
(std::vector< UnivariateClaimData< Curve > > &claims)
bb::CommitmentTest< Curve >
inline
commit
(const Polynomial &polynomial)
bb::CommitmentTest< Curve >
inline
Commitment
typedef
GeminiTest< Curve >
private
commitment_key
bb::CommitmentTest< Curve >
static
CommitmentTest
()
bb::CommitmentTest< Curve >
inline
engine
bb::CommitmentTest< Curve >
execute_gemini_and_verify_claims
(std::vector< Fr > &multilinear_evaluation_point, MockClaimGenerator< Curve > mock_claims)
GeminiTest< Curve >
inline
Fr
typedef
GeminiTest< Curve >
private
GeminiProver
typedef
GeminiTest< Curve >
private
GeminiVerifier
typedef
GeminiTest< Curve >
private
generate_claim_data
(const std::vector< size_t > &poly_sizes)
bb::CommitmentTest< Curve >
inline
log_n
GeminiTest< Curve >
static
n
GeminiTest< Curve >
static
open_extension_by_zero
()
GeminiTest< Curve >
inline
Polynomial
typedef
bb::CommitmentTest< Curve >
private
random_element
()
bb::CommitmentTest< Curve >
inline
random_eval
(const Polynomial &polynomial)
bb::CommitmentTest< Curve >
inline
random_evaluation_point
(const size_t num_variables)
bb::CommitmentTest< Curve >
inline
random_polynomial
(const size_t poly_size)
bb::CommitmentTest< Curve >
inline
SetUpTestSuite
()
GeminiTest< Curve >
inline
static
TearDownTestSuite
()
bb::CommitmentTest< Curve >
inline
static
verification_key
bb::CommitmentTest< Curve >
static
verify_batch_opening_claim
(std::span< const OpeningClaim< Curve > > multi_claims, std::span< const Polynomial > witnesses)
bb::CommitmentTest< Curve >
inline
verify_batch_opening_pair
(std::vector< ProverOpeningClaim< Curve > > opening_claims)
bb::CommitmentTest< Curve >
inline
verify_opening_claim
(const OpeningClaim< Curve > &claim, const Polynomial &witness, CommitmentKey< Curve > ck=CommitmentKey< Curve >())
bb::CommitmentTest< Curve >
inline
verify_opening_pair
(const OpeningPair< Curve > &opening_pair, const Polynomial &witness)
bb::CommitmentTest< Curve >
inline
virtual_log_n
GeminiTest< Curve >
static
vk
GeminiTest< Curve >
static
VK
typedef
GeminiTest< Curve >
Generated by
1.9.8