recursion_constraint_output.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Completed, auditors: [Federico], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
#include "barretenberg/commitment_schemes/claim.hpp"
#include "barretenberg/eccvm/eccvm_verifier.hpp"
#include "barretenberg/stdlib/eccvm_verifier/verifier_commitment_key.hpp"
#include "barretenberg/stdlib/honk_verifier/ipa_accumulator.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include <cstdint>
#include <vector>
 
namespace acir_format {
 
using namespace bb;
using namespace stdlib;
 
template <typename Builder>
using HonkRecursionConstraintOutput = bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput<Builder>;
 
template <typename Builder> struct HonkRecursionConstraintsOutput {
    stdlib::recursion::PairingPoints<stdlib::bn254<Builder>> points_accumulator;
    using IPAAccumulator = bb::stdlib::recursion::honk::IpaAccumulator<stdlib::grumpkin<Builder>>;
 
    using TripleIpaClaim = typename bb::ECCVMRecursiveVerifier::TripleIpaClaim;
    using TripleIpaOpening = typename bb::ECCVMRecursiveVerifier::DeferredTripleIpaOpening;
 
    std::vector<OpeningClaim<stdlib::grumpkin<Builder>>> nested_ipa_claims;
    std::vector<stdlib::Proof<Builder>> nested_ipa_proofs;
    std::vector<TripleIpaOpening> nested_triple_ipa_openings;
    bool is_root_rollup = false;
 
    void update(const HonkRecursionConstraintOutput<Builder>& other, bool update_ipa_data);
 
    void update(const HonkRecursionConstraintsOutput<Builder>& other, bool update_ipa_data);
 
    void update_triple_ipa_opening(const stdlib::recursion::PairingPoints<stdlib::bn254<Builder>>& pairing_points,
                                   TripleIpaOpening triple_ipa_opening);
 
    void finalize(Builder& builder,
                  [[maybe_unused]] bool is_hn_recursion_constraints = false,
                  [[maybe_unused]] bool has_ipa_claim = false);
 
  private:
    [[nodiscard("IPA claim should be accumulated, IPA proof should be propagated")]] std::
        pair<OpeningClaim<stdlib::grumpkin<Builder>>, HonkProof>
        perform_IPA_accumulation(Builder& builder) const;
 
    void perform_full_IPA_verification(Builder& builder) const;
};
 
} // namespace acir_format