Barretenberg: src/barretenberg/dsl/acir_format/hypernova_recursion_constraint.hpp Source File

// === AUDIT STATUS ===

// internal:    { status: Complete, auditors: [Sergei], commit: }

// external_1:  { status: not started, auditors: [], commit: }

// external_2:  { status: not started, auditors: [], commit: }

// =====================


#pragma once

#include "barretenberg/chonk/chonk.hpp"

#include "barretenberg/dsl/acir_format/recursion_constraint.hpp"

#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"

#include <vector>


namespace acir_format {


using namespace bb;


std::shared_ptr<Chonk> create_mock_chonk_from_constraints(const std::vector<RecursionConstraint>& constraints);


void mock_chonk_accumulation(const std::shared_ptr<Chonk>& ivc, Chonk::QUEUE_TYPE type, const bool is_kernel);


} // namespace acir_format

bigfield.hpp

chonk.hpp

bb::Chonk::QUEUE_TYPE
QUEUE_TYPE
Proof type determining recursive verification logic in kernel circuits.
Definition chonk.hpp:105

GetEnvVarMutationOptions::type
@ type

acir_format
Definition acir_format.cpp:30

acir_format::create_mock_chonk_from_constraints
std::shared_ptr< Chonk > create_mock_chonk_from_constraints(const std::vector< RecursionConstraint > &constraints)
Create a Chonk instance with mocked state corresponding to a set of IVC recursion constraints.
Definition hypernova_recursion_constraint.cpp:40

acir_format::mock_chonk_accumulation
void mock_chonk_accumulation(const std::shared_ptr< Chonk > &ivc, Chonk::QUEUE_TYPE type, const bool is_kernel)
Add mock accumulation state to a Chonk instance for a single circuit.
Definition hypernova_recursion_constraint.cpp:157

bb
Entry point for Barretenberg command-line interface.
Definition api.hpp:5

std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13

recursion_constraint.hpp