witness_computation.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#pragma once
 
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/ultra_honk/decider_proving_key.hpp"
namespace bb {
template <IsUltraOrMegaHonk Flavor> class WitnessComputation {
    using FF = typename Flavor::FF;
 
  public:
    static void add_ram_rom_memory_records_to_wire_4(typename Flavor::ProverPolynomials& polynomials,
                                                     const std::vector<uint32_t>& memory_read_records,
                                                     const std::vector<uint32_t>& memory_write_records,
                                                     const FF& eta,
                                                     const FF& eta_two,
                                                     const FF& eta_three);
 
    static void compute_logderivative_inverses(Flavor::ProverPolynomials& polynomials,
                                               const size_t circuit_size,
                                               RelationParameters<FF>& relation_parameters);
 
    static void compute_grand_product_polynomial(Flavor::ProverPolynomials& polynomials,
                                                 std::vector<FF>& public_inputs,
                                                 const size_t pub_inputs_offset,
                                                 ActiveRegionData& active_region_data,
                                                 RelationParameters<FF>& relation_parameters,
                                                 size_t size_override = 0);
 
    static void complete_proving_key_for_test(const std::shared_ptr<DeciderProvingKey_<Flavor>>& decider_pk);
};
 
} // namespace bb