acir_format::HonkRecursionConstraintsOutput< Builder > Struct Template Reference

Public Types
using	PairingPoints = stdlib::recursion::PairingPoints< Builder >

Public Member Functions
template<class T > requires (std::is_same_v<T, HonkRecursionConstraintOutput<Builder>> || std::is_same_v<T, HonkRecursionConstraintsOutput<Builder>>)
void	update (T &other, bool update_ipa_data)

Public Attributes
PairingPoints	points_accumulator
std::vector< OpeningClaim< stdlib::grumpkin< Builder > > >	nested_ipa_claims
std::vector< stdlib::Proof< Builder > >	nested_ipa_proofs
bool	is_root_rollup = false

Detailed Description

template<typename Builder>
struct acir_format::HonkRecursionConstraintsOutput< Builder >

Definition at line 50 of file acir_format.cpp.

Member Typedef Documentation

PairingPoints

template<typename Builder >

using acir_format::HonkRecursionConstraintsOutput< Builder >::PairingPoints = stdlib::recursion::PairingPoints<Builder>

Definition at line 51 of file acir_format.cpp.

Member Function Documentation

update()

template<typename Builder >

template<class T >
requires (std::is_same_v<T, HonkRecursionConstraintOutput<Builder>> || std::is_same_v<T, HonkRecursionConstraintsOutput<Builder>>)

void acir_format::HonkRecursionConstraintsOutput< Builder >::update ( T &  other, bool  update_ipa_data  )

inline

Definition at line 58 of file acir_format.cpp.

Member Data Documentation

is_root_rollup

template<typename Builder >

bool acir_format::HonkRecursionConstraintsOutput< Builder >::is_root_rollup = false

Definition at line 55 of file acir_format.cpp.

nested_ipa_claims

template<typename Builder >

std::vector<OpeningClaim<stdlib::grumpkin<Builder> > > acir_format::HonkRecursionConstraintsOutput< Builder >::nested_ipa_claims

Definition at line 53 of file acir_format.cpp.

nested_ipa_proofs

template<typename Builder >

std::vector<stdlib::Proof<Builder> > acir_format::HonkRecursionConstraintsOutput< Builder >::nested_ipa_proofs

Definition at line 54 of file acir_format.cpp.

points_accumulator

template<typename Builder >

PairingPoints acir_format::HonkRecursionConstraintsOutput< Builder >::points_accumulator

Definition at line 52 of file acir_format.cpp.

---

The documentation for this struct was generated from the following file:

• src/barretenberg/dsl/acir_format/acir_format.cpp