Inheritance diagram for proof_system::honk::pcs::shplonk::ShplonkTest< Params >:
Additional Inherited Members | |
 Public Member Functions inherited from proof_system::honk::pcs::CommitmentTest< Params > | |
| std::shared_ptr< CK > | ck () |
| std::shared_ptr< VK > | vk () |
| Commitment | commit (const Polynomial &polynomial) |
| Polynomial | random_polynomial (const size_t n) |
| Fr | random_element () |
| OpeningPair< Params > | random_eval (const Polynomial &polynomial) |
| std::pair< OpeningClaim< Params >, Polynomial > | random_claim (const size_t n) |
| std::vector< Fr > | random_evaluation_point (const size_t num_variables) |
| void | verify_opening_claim (const OpeningClaim< Params > &claim, const Polynomial &witness) |
| void | verify_opening_pair (const OpeningPair< Params > &opening_pair, const Polynomial &witness) |
| void | verify_batch_opening_claim (std::span< const OpeningClaim< Params > > multi_claims, std::span< const Polynomial > witnesses) |
| Ensures that a 'BatchOpeningClaim' is correct by checking that. | |
| void | verify_batch_opening_pair (std::span< const OpeningPair< Params > > opening_pairs, std::span< const Polynomial > witnesses) |
| Ensures that a set of opening pairs is correct by checking that evaluations are correct by recomputing them from each witness polynomial. | |
| Static Public Member Functions inherited from proof_system::honk::pcs::CommitmentTest< Params > | |
| static void | SetUpTestSuite () |
| static void | TearDownTestSuite () |
| Public Attributes inherited from proof_system::honk::pcs::CommitmentTest< Params > | |
| numeric::random::Engine * | engine |
| Static Public Attributes inherited from proof_system::honk::pcs::CommitmentTest< Params > | |
| static std::shared_ptr< CK > | commitment_key |
| static std::shared_ptr< VK > | verification_key |
The documentation for this class was generated from the following file:
- src/barretenberg/commitment_schemes/shplonk/shplonk.test.cpp
