Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::ShpleminiConcatenatedTest Member List

This is the complete list of members for bb::ShpleminiConcatenatedTest, including all inherited members.

CK typedefbb::ShpleminiConcatenatedTest
ck()bb::CommitmentTest< curve::BN254 >inline
combine_claims(std::vector< UnivariateClaimData< curve::BN254 > > &claims)bb::CommitmentTest< curve::BN254 >inline
commit(const Polynomial &polynomial)bb::CommitmentTest< curve::BN254 >inline
Commitment typedefbb::ShpleminiConcatenatedTest
commitment_keybb::CommitmentTest< curve::BN254 >static
CommitmentTest()bb::CommitmentTest< curve::BN254 >inline
compute_batched_evaluation(const std::vector< Fr > &challenge, const std::array< Fr, CONCATENATION_GROUP_SIZE > &individual_evals)bb::ShpleminiConcatenatedTestinline
concatenate_polynomials(const std::array< Polynomial, CONCATENATION_GROUP_SIZE > &polys)bb::ShpleminiConcatenatedTestinline
CONCATENATION_GROUP_SIZEbb::ShpleminiConcatenatedTeststatic
create_minicircuit_polynomials()bb::ShpleminiConcatenatedTestinline
Curve typedefbb::ShpleminiConcatenatedTest
enginebb::CommitmentTest< curve::BN254 >
evaluate_concatenation_group(const std::array< Polynomial, CONCATENATION_GROUP_SIZE > &wires, const Polynomial &concat_poly, const std::vector< Fr > &challenge)bb::ShpleminiConcatenatedTestinline
Fr typedefbb::ShpleminiConcatenatedTest
generate_claim_data(const std::vector< size_t > &poly_sizes)bb::CommitmentTest< curve::BN254 >inline
kbb::ShpleminiConcatenatedTeststatic
log_nbb::ShpleminiConcatenatedTeststatic
MINIbb::ShpleminiConcatenatedTeststatic
mini_log_nbb::ShpleminiConcatenatedTeststatic
nbb::ShpleminiConcatenatedTeststatic
Polynomial typedefbb::ShpleminiConcatenatedTest
prove_and_verify(std::array< Polynomial, N > &concat_polys, std::array< Commitment, N > &commitments, std::array< Fr, N > &unshifted_evals, std::array< Fr, N > &shifted_evals, std::vector< Fr > &challenge)bb::ShpleminiConcatenatedTestinline
random_element()bb::CommitmentTest< curve::BN254 >inline
random_eval(const Polynomial &polynomial)bb::CommitmentTest< curve::BN254 >inline
random_evaluation_point(const size_t num_variables)bb::CommitmentTest< curve::BN254 >inline
random_polynomial(const size_t poly_size)bb::CommitmentTest< curve::BN254 >inline
SetUpTestSuite()bb::CommitmentTest< curve::BN254 >inlinestatic
TearDownTestSuite()bb::CommitmentTest< curve::BN254 >inlinestatic
verification_keybb::CommitmentTest< curve::BN254 >static
verify_batch_opening_claim(std::span< const OpeningClaim< curve::BN254 > > multi_claims, std::span< const Polynomial > witnesses)bb::CommitmentTest< curve::BN254 >inline
verify_batch_opening_pair(std::vector< ProverOpeningClaim< curve::BN254 > > opening_claims)bb::CommitmentTest< curve::BN254 >inline
verify_opening_claim(const OpeningClaim< curve::BN254 > &claim, const Polynomial &witness, CommitmentKey< curve::BN254 > ck=CommitmentKey< curve::BN254 >())bb::CommitmentTest< curve::BN254 >inline
verify_opening_pair(const OpeningPair< curve::BN254 > &opening_pair, const Polynomial &witness)bb::CommitmentTest< curve::BN254 >inline
VK typedefbb::ShpleminiConcatenatedTest
vk()bb::CommitmentTest< curve::BN254 >inline