#include <native_aggregation_state.hpp>

Public Member Functions
	MSGPACK_FIELDS (P0, P1, public_inputs, proof_witness_indices, has_data)

bool	operator== (native_aggregation_state const &other) const

Public Attributes
barretenberg::g1::affine_element	P0 = barretenberg::g1::affine_one

barretenberg::g1::affine_element	P1 = barretenberg::g1::affine_one

std::vector< barretenberg::fr >	public_inputs

std::vector< uint32_t >	proof_witness_indices

bool	has_data = false

Detailed Description

Native 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)

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

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

Public Member Functions

Public Attributes

Detailed Description