Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | Public Attributes | Static Public Attributes | Private Types | List of all members
GeminiTest< Curve > Class Template Reference
Inheritance diagram for GeminiTest< Curve >:
bb::CommitmentTest< Curve >

Public Types

using CK = CommitmentKey< Curve >
 
using VK = VerifierCommitmentKey< Curve >
 

Public Member Functions

void execute_gemini_and_verify_claims (std::vector< Fr > &multilinear_evaluation_point, MockClaimGenerator< Curve > mock_claims)
 
void open_extension_by_zero ()
 
- Public Member Functions inherited from bb::CommitmentTest< Curve >
 CommitmentTest ()
 
const CK & ck ()
 
VK & vk ()
 
Commitment commit (const Polynomial &polynomial)
 
Fr random_element ()
 
Polynomial random_polynomial (const size_t poly_size)
 
OpeningPair< Curve > random_eval (const Polynomial &polynomial)
 
std::vector< Fr > random_evaluation_point (const size_t num_variables)
 
void verify_opening_claim (const OpeningClaim< Curve > &claim, const Polynomial &witness, CommitmentKey< Curve > ck=CommitmentKey< Curve >())
 
void verify_opening_pair (const OpeningPair< Curve > &opening_pair, const Polynomial &witness)
 
void verify_batch_opening_claim (std::span< const OpeningClaim< Curve > > multi_claims, std::span< const Polynomial > witnesses)
 Ensures that a 'BatchOpeningClaim' is correct by checking that.
 
void verify_batch_opening_pair (std::vector< ProverOpeningClaim< Curve > > opening_claims)
 Ensures that a set of opening pairs is correct by checking that evaluations are correct by recomputing them from each witness polynomial.
 
std::vector< UnivariateClaimData< Curve > > generate_claim_data (const std::vector< size_t > &poly_sizes)
 
std::pair< std::vector< Fr >, std::vector< Fr > > combine_claims (std::vector< UnivariateClaimData< Curve > > &claims)
 

Static Public Member Functions

static void SetUpTestSuite ()
 
- Static Public Member Functions inherited from bb::CommitmentTest< Curve >
static void SetUpTestSuite ()
 
static void TearDownTestSuite ()
 

Public Attributes

bool is_big_ck = false
 
bool is_reject_case = false
 
- Public Attributes inherited from bb::CommitmentTest< Curve >
numeric::RNG * engine
 

Static Public Attributes

static constexpr size_t log_n = 4
 
static constexpr size_t n = 1UL << log_n
 
static constexpr size_t virtual_log_n = 6
 
static constexpr size_t big_n = 1UL << 12
 
static constexpr size_t small_log_n = 3
 
static constexpr size_t big_ck_size = 1 << 14
 
static CK big_ck = create_commitment_key<CK>(big_ck_size)
 
static CK ck
 
static VK vk
 
- Static Public Attributes inherited from bb::CommitmentTest< Curve >
static CK commitment_key
 
static VK verification_key
 

Private Types

using GeminiProver = GeminiProver_< Curve >
 
using GeminiVerifier = GeminiVerifier_< Curve >
 
using Fr = typename Curve::ScalarField
 
using Commitment = typename Curve::AffineElement
 
using ClaimBatcher = ClaimBatcher_< Curve >
 
using ClaimBatch = ClaimBatcher::Batch
 

Detailed Description

template<class Curve>
class GeminiTest< Curve >

Definition at line 8 of file gemini.test.cpp.

Member Typedef Documentation

◆ CK

template<class Curve >
using GeminiTest< Curve >::CK = CommitmentKey<Curve>

Definition at line 22 of file gemini.test.cpp.

◆ ClaimBatch

template<class Curve >
using GeminiTest< Curve >::ClaimBatch = ClaimBatcher::Batch
private

Definition at line 14 of file gemini.test.cpp.

◆ ClaimBatcher

template<class Curve >
using GeminiTest< Curve >::ClaimBatcher = ClaimBatcher_<Curve>
private

Definition at line 13 of file gemini.test.cpp.

◆ Commitment

template<class Curve >
using GeminiTest< Curve >::Commitment = typename Curve::AffineElement
private

Definition at line 12 of file gemini.test.cpp.

◆ Fr

template<class Curve >
using GeminiTest< Curve >::Fr = typename Curve::ScalarField
private

Definition at line 11 of file gemini.test.cpp.

◆ GeminiProver

template<class Curve >
using GeminiTest< Curve >::GeminiProver = GeminiProver_<Curve>
private

Definition at line 9 of file gemini.test.cpp.

◆ GeminiVerifier

template<class Curve >
using GeminiTest< Curve >::GeminiVerifier = GeminiVerifier_<Curve>
private

Definition at line 10 of file gemini.test.cpp.

◆ VK

template<class Curve >
using GeminiTest< Curve >::VK = VerifierCommitmentKey<Curve>

Definition at line 23 of file gemini.test.cpp.

Member Function Documentation

◆ execute_gemini_and_verify_claims()

template<class Curve >
void GeminiTest< Curve >::execute_gemini_and_verify_claims ( std::vector< Fr > &  multilinear_evaluation_point,
MockClaimGenerator< Curve >  mock_claims 
)
inline

Definition at line 44 of file gemini.test.cpp.

◆ open_extension_by_zero()

template<class Curve >
void GeminiTest< Curve >::open_extension_by_zero ( )
inline

Definition at line 115 of file gemini.test.cpp.

◆ SetUpTestSuite()

template<class Curve >
static void GeminiTest< Curve >::SetUpTestSuite ( )
inlinestatic

Definition at line 38 of file gemini.test.cpp.

Member Data Documentation

◆ big_ck

template<class Curve >
CK GeminiTest< Curve >::big_ck = create_commitment_key<CK>(big_ck_size)
inlinestatic

Definition at line 32 of file gemini.test.cpp.

◆ big_ck_size

template<class Curve >
constexpr size_t GeminiTest< Curve >::big_ck_size = 1 << 14
staticconstexpr

Definition at line 31 of file gemini.test.cpp.

◆ big_n

template<class Curve >
constexpr size_t GeminiTest< Curve >::big_n = 1UL << 12
staticconstexpr

Definition at line 29 of file gemini.test.cpp.

◆ ck

template<class Curve >
GeminiTest< Curve >::CK GeminiTest< Curve >::ck
static

Definition at line 35 of file gemini.test.cpp.

◆ is_big_ck

template<class Curve >
bool GeminiTest< Curve >::is_big_ck = false

Definition at line 28 of file gemini.test.cpp.

◆ is_reject_case

template<class Curve >
bool GeminiTest< Curve >::is_reject_case = false

Definition at line 33 of file gemini.test.cpp.

◆ log_n

template<class Curve >
constexpr size_t GeminiTest< Curve >::log_n = 4
staticconstexpr

Definition at line 17 of file gemini.test.cpp.

◆ n

template<class Curve >
constexpr size_t GeminiTest< Curve >::n = 1UL << log_n
staticconstexpr

Definition at line 18 of file gemini.test.cpp.

◆ small_log_n

template<class Curve >
constexpr size_t GeminiTest< Curve >::small_log_n = 3
staticconstexpr

Definition at line 30 of file gemini.test.cpp.

◆ virtual_log_n

template<class Curve >
constexpr size_t GeminiTest< Curve >::virtual_log_n = 6
staticconstexpr

Definition at line 20 of file gemini.test.cpp.

◆ vk

template<class Curve >
GeminiTest< Curve >::VK GeminiTest< Curve >::vk
static

Definition at line 36 of file gemini.test.cpp.

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