kate_commitment_scheme.hpp

#pragma once
#include "commitment_scheme.hpp"
 
namespace proof_system::plonk {
 
template <typename settings> class KateCommitmentScheme : public CommitmentScheme {
  public:
    KateCommitmentScheme();
 
    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;
 
  private:
    plonk::commitment_open_proof kate_open_proof;
};
 
extern template class KateCommitmentScheme<standard_settings>;
extern template class KateCommitmentScheme<ultra_settings>;
extern template class KateCommitmentScheme<ultra_to_standard_settings>;
extern template class KateCommitmentScheme<ultra_with_keccak_settings>;
 
} // namespace proof_system::plonk