Loading...
Searching...
No Matches
ShplonkRecursionTest< Builder > Class Template Reference
Inheritance diagram for ShplonkRecursionTest< Builder >:
Public Types | |
| using | Curve = stdlib::bn254< Builder > |
| using | NativeCurve = Curve::NativeCurve |
| using | Fr = Curve::ScalarField |
| using | Commitment = Curve::AffineElement |
Public Member Functions | |
| std::vector< OpeningClaim< Curve > > | native_to_stdlib_opening_claims (Builder *builder, std::vector< OpeningClaim< NativeCurve > > &opening_claims, const size_t num_claims) |
| std::pair< std::vector< Commitment >, std::vector< OpeningPair< Curve > > > | native_to_stdlib_pairs_and_commitments (Builder *builder, std::vector< OpeningClaim< NativeCurve > > &opening_claims, const size_t num_claims) |
 Public Member Functions inherited from bb::CommitmentTest< curve::BN254 > | |
| CommitmentTest () | |
| const CK & | ck () |
| VK & | vk () |
| Commitment | commit (const Polynomial &polynomial) |
| Fr | random_element () |
| Polynomial | random_polynomial (const size_t poly_size) |
| OpeningPair< curve::BN254 > | random_eval (const Polynomial &polynomial) |
| std::vector< Fr > | random_evaluation_point (const size_t num_variables) |
| void | verify_opening_claim (const OpeningClaim< curve::BN254 > &claim, const Polynomial &witness, CommitmentKey< curve::BN254 > ck=CommitmentKey< curve::BN254 >()) |
| void | verify_opening_pair (const OpeningPair< curve::BN254 > &opening_pair, const Polynomial &witness) |
| void | verify_batch_opening_claim (std::span< const OpeningClaim< curve::BN254 > > 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::BN254 > > 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::BN254 > > | generate_claim_data (const std::vector< size_t > &poly_sizes) |
| std::pair< std::vector< Fr >, std::vector< Fr > > | combine_claims (std::vector< UnivariateClaimData< curve::BN254 > > &claims) |
Additional Inherited Members | |
| Static Public Member Functions inherited from bb::CommitmentTest< curve::BN254 > | |
| static void | SetUpTestSuite () |
| static void | TearDownTestSuite () |
| Public Attributes inherited from bb::CommitmentTest< curve::BN254 > | |
| numeric::RNG * | engine |
| Static Public Attributes inherited from bb::CommitmentTest< curve::BN254 > | |
| static CK | commitment_key |
| static VK | verification_key |
Detailed Description
template<class Builder>
class ShplonkRecursionTest< Builder >
class ShplonkRecursionTest< Builder >
Definition at line 14 of file shplonk.test.cpp.
Member Typedef Documentation
◆ Commitment
template<class Builder >
| using ShplonkRecursionTest< Builder >::Commitment = Curve::AffineElement |
Definition at line 19 of file shplonk.test.cpp.
◆ Curve
template<class Builder >
| using ShplonkRecursionTest< Builder >::Curve = stdlib::bn254<Builder> |
Definition at line 16 of file shplonk.test.cpp.
◆ Fr
template<class Builder >
| using ShplonkRecursionTest< Builder >::Fr = Curve::ScalarField |
Definition at line 18 of file shplonk.test.cpp.
◆ NativeCurve
template<class Builder >
| using ShplonkRecursionTest< Builder >::NativeCurve = Curve::NativeCurve |
Definition at line 17 of file shplonk.test.cpp.
Member Function Documentation
◆ native_to_stdlib_opening_claims()
template<class Builder >
|
inline |
Definition at line 21 of file shplonk.test.cpp.
◆ native_to_stdlib_pairs_and_commitments()
template<class Builder >
|
inline |
Definition at line 35 of file shplonk.test.cpp.
The documentation for this class was generated from the following file:
- src/barretenberg/commitment_schemes_recursion/shplonk.test.cpp
