The data that is propagated on the public inputs of a rollup circuit. More...

#include <special_public_inputs.hpp>

Public Types
using	FF = curve::BN254::ScalarField

using	IpaClaim = OpeningClaim< bb::curve::Grumpkin >

using	PublicPairingPoints = PublicInputComponent< PairingPoints< curve::BN254 > >

using	PublicIpaClaim = PublicInputComponent< IpaClaim >

Public Member Functions
void	reconstruct_from_public (const std::vector< FF > &public_inputs)
	Reconstructs the IO components from a public inputs array.

Static Public Member Functions
template<typename Builder >
static void	add_default (Builder &builder)
	Add default IO values to a circuit builder (for native tests)

Public Attributes
PairingPoints< curve::BN254 >	pairing_inputs

IpaClaim	ipa_claim

Static Public Attributes
static constexpr size_t	PUBLIC_INPUTS_SIZE = ROLLUP_PUBLIC_INPUTS_SIZE

static constexpr bool	HasIPA = true

Detailed Description

The data that is propagated on the public inputs of a rollup circuit.

Definition at line 109 of file special_public_inputs.hpp.

Member Typedef Documentation

◆ FF

using bb::RollupIO::FF = curve::BN254::ScalarField

Definition at line 111 of file special_public_inputs.hpp.

◆ IpaClaim

using bb::RollupIO::IpaClaim = OpeningClaim<bb::curve::Grumpkin>

Definition at line 112 of file special_public_inputs.hpp.

◆ PublicIpaClaim

using bb::RollupIO::PublicIpaClaim = PublicInputComponent<IpaClaim>

Definition at line 115 of file special_public_inputs.hpp.

◆ PublicPairingPoints

using bb::RollupIO::PublicPairingPoints = PublicInputComponent<PairingPoints<curve::BN254> >

Definition at line 114 of file special_public_inputs.hpp.

Member Function Documentation

◆ add_default()

template<typename Builder >

static void bb::RollupIO::add_default ( Builder & builder )

inlinestatic

Add default IO values to a circuit builder (for native tests)

Definition at line 144 of file special_public_inputs.hpp.

◆ reconstruct_from_public()

void bb::RollupIO::reconstruct_from_public ( const std::vector< FF > & public_inputs )

inline

Reconstructs the IO components from a public inputs array.

Definition at line 126 of file special_public_inputs.hpp.

Member Data Documentation

◆ HasIPA

constexpr bool bb::RollupIO::HasIPA = true

staticconstexpr

Definition at line 118 of file special_public_inputs.hpp.

◆ ipa_claim

IpaClaim bb::RollupIO::ipa_claim

Definition at line 121 of file special_public_inputs.hpp.

◆ pairing_inputs

PairingPoints<curve::BN254> bb::RollupIO::pairing_inputs

Definition at line 120 of file special_public_inputs.hpp.

◆ PUBLIC_INPUTS_SIZE

constexpr size_t bb::RollupIO::PUBLIC_INPUTS_SIZE = ROLLUP_PUBLIC_INPUTS_SIZE

staticconstexpr

Definition at line 117 of file special_public_inputs.hpp.

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

src/barretenberg/special_public_inputs/special_public_inputs.hpp

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Static Public Attributes