proof_system::plonk::stdlib::recursion::aggregation_state< Curve > Struct Template Reference

#include <aggregation_state.hpp>

Public Member Functions
Curve::bool_ct	operator== (aggregation_state const &other) const
void	add_proof_outputs_as_public_inputs ()
	TODO(@dbanks12 please migrate A3 circuits to using assign_object_to_proof_outputs. Much safer to not independently track proof_witness_indices and whether object has been assigned to public inputs)
void	assign_object_to_proof_outputs ()

Public Attributes
Curve::Group	P0
Curve::Group	P1
std::vector< typename Curve::ScalarField >	public_inputs
std::vector< uint32_t >	proof_witness_indices
bool	has_data = false

Detailed Description

template<typename Curve>
struct proof_system::plonk::stdlib::recursion::aggregation_state< Curve >

Aggregation state contains the following: (P0, P1): the aggregated elements storing the verification results of proofs in the past proof_witness_indices: witness indices that point to (P0, P1) public_inputs: the public inputs of the inner proof, these become the private inputs to the recursive circuit has_data: indicates if this aggregation state contain past (P0, P1)

Member Function Documentation

add_proof_outputs_as_public_inputs()

template<typename Curve >

void proof_system::plonk::stdlib::recursion::aggregation_state< Curve >::add_proof_outputs_as_public_inputs ( )

inline

TODO(@dbanks12 please migrate A3 circuits to using assign_object_to_proof_outputs. Much safer to not independently track proof_witness_indices and whether object has been assigned to public inputs)

---

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

• src/barretenberg/stdlib/recursion/aggregation_state/aggregation_state.hpp