Inheritance diagram for proof_system::plonk::KateCommitmentScheme< settings >:
Public Member Functions | |
| void | commit (std::shared_ptr< fr[]> coefficients, std::string tag, fr item_constant, work_queue &queue) override |
| void | compute_opening_polynomial (const fr *src, fr *dest, const fr &z, const size_t n) override |
| void | generic_batch_open (const fr *src, fr *dest, const size_t num_polynomials, const fr *z_points, const size_t num_z_points, const fr *challenges, const size_t n, std::string *tags, fr *item_constants, work_queue &queue) override |
| void | batch_open (const transcript::StandardTranscript &transcript, work_queue &queue, std::shared_ptr< plonk::proving_key > input_key=nullptr) override |
| void | batch_verify (const transcript::StandardTranscript &transcript, std::map< std::string, g1::affine_element > &kate_g1_elements, std::map< std::string, fr > &kate_fr_elements, std::shared_ptr< plonk::verification_key > input_key=nullptr) override |
| void | add_opening_evaluations_to_transcript (transcript::StandardTranscript &transcript, std::shared_ptr< plonk::proving_key > input_key=nullptr, bool in_lagrange_form=false) override |
| virtual void | commit (std::shared_ptr< fr[]> coefficients, std::string tag, fr item_constant, work_queue &queue)=0 |
| virtual void | compute_opening_polynomial (const fr *src, fr *dest, const fr &z, const size_t n)=0 |
| virtual void | generic_batch_open (const fr *src, fr *dest, const size_t num_polynomials, const fr *z_points, const size_t num_z_points, const fr *challenges, const size_t n, std::string *tags, fr *item_constants, work_queue &queue)=0 |
| virtual void | batch_open (const transcript::StandardTranscript &transcript, work_queue &queue, std::shared_ptr< plonk::proving_key > input_key=nullptr)=0 |
| virtual void | batch_verify (const transcript::StandardTranscript &transcript, std::map< std::string, g1::affine_element > &kate_g1_elements, std::map< std::string, fr > &kate_fr_elements, std::shared_ptr< plonk::verification_key > input_key=nullptr)=0 |
| virtual void | add_opening_evaluations_to_transcript (transcript::StandardTranscript &trancript, std::shared_ptr< plonk::proving_key > input_key=nullptr, bool in_lagrange_form=false)=0 |
Additional Inherited Members | |
 Public Types inherited from proof_system::plonk::CommitmentScheme | |
| using | fr = barretenberg::fr |
Member Function Documentation
◆ add_opening_evaluations_to_transcript()
template<typename settings >
|
overridevirtual |
Implements proof_system::plonk::CommitmentScheme.
◆ batch_open()
template<typename settings >
|
overridevirtual |
Implements proof_system::plonk::CommitmentScheme.
◆ batch_verify()
template<typename settings >
|
overridevirtual |
Implements proof_system::plonk::CommitmentScheme.
◆ commit()
template<typename settings >
|
overridevirtual |
Implements proof_system::plonk::CommitmentScheme.
◆ compute_opening_polynomial()
template<typename settings >
|
overridevirtual |
Implements proof_system::plonk::CommitmentScheme.
◆ generic_batch_open()
template<typename settings >
|
overridevirtual |
Implements proof_system::plonk::CommitmentScheme.
The documentation for this class was generated from the following files:
- src/barretenberg/plonk/proof_system/commitment_scheme/kate_commitment_scheme.hpp
- src/barretenberg/plonk/proof_system/commitment_scheme/kate_commitment_scheme.cpp
