Inheritance diagram for proof_system::honk::pcs::gemini::GeminiTest< Curve >:
Public Member Functions | |
| void | execute_gemini_and_verify_claims (size_t log_n, std::vector< Fr > multilinear_evaluation_point, std::vector< Fr > multilinear_evaluations, std::vector< std::span< Fr > > multilinear_polynomials, std::vector< std::span< Fr > > multilinear_polynomials_to_be_shifted, std::vector< GroupElement > multilinear_commitments, std::vector< GroupElement > multilinear_commitments_to_be_shifted) |
 Public Member Functions inherited from proof_system::honk::pcs::CommitmentTest< Curve > | |
| 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< Curve > | random_eval (const Polynomial &polynomial) |
| std::pair< OpeningClaim< Curve >, Polynomial > | random_claim (const size_t n) |
| std::vector< Fr > | random_evaluation_point (const size_t num_variables) |
| void | verify_opening_claim (const OpeningClaim< Curve > &claim, const Polynomial &witness) |
| 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::span< const OpeningPair< Curve > > 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. | |
Additional Inherited Members | |
| Static Public Member Functions inherited from proof_system::honk::pcs::CommitmentTest< Curve > | |
| static void | SetUpTestSuite () |
| static void | TearDownTestSuite () |
| Public Attributes inherited from proof_system::honk::pcs::CommitmentTest< Curve > | |
| numeric::random::Engine * | engine |
| Static Public Attributes inherited from proof_system::honk::pcs::CommitmentTest< Curve > | |
| static std::shared_ptr< CK > | commitment_key = nullptr |
| static std::shared_ptr< VK > | verification_key = nullptr |
The documentation for this class was generated from the following file:
- src/barretenberg/commitment_schemes/gemini/gemini.test.cpp
