Manages the data that is propagated on the public inputs of a kernel circuit. More...

#include <special_public_inputs.hpp>

Public Types
using	Builder = MegaCircuitBuilder

using	Curve = stdlib::bn254< Builder >

using	G1 = Curve::Group

using	FF = Curve::ScalarField

using	PairingInputs = stdlib::recursion::PairingPoints< Builder >

using	TableCommitments = std::array< G1, Builder::NUM_WIRES >

using	PublicPoint = stdlib::PublicInputComponent< G1 >

using	PublicPairingPoints = stdlib::PublicInputComponent< PairingInputs >

using	PublicFF = stdlib::PublicInputComponent< FF >

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

void	set_public ()
	Set each IO component to be a public input of the underlying circuit.

Static Public Member Functions
static void	add_default (Builder &builder)
	Add default public inputs when they are not present.

Public Attributes
PairingInputs	pairing_inputs

G1	kernel_return_data

G1	app_return_data

TableCommitments	ecc_op_tables

FF	output_pg_accum_hash

Static Public Attributes
static constexpr size_t	PUBLIC_INPUTS_SIZE = KERNEL_PUBLIC_INPUTS_SIZE

Detailed Description

Manages the data that is propagated on the public inputs of a kernel circuit.

Definition at line 50 of file special_public_inputs.hpp.

Member Typedef Documentation

◆ Builder

using bb::stdlib::recursion::honk::KernelIO::Builder = MegaCircuitBuilder

Definition at line 52 of file special_public_inputs.hpp.

◆ Curve

using bb::stdlib::recursion::honk::KernelIO::Curve = stdlib::bn254<Builder>

Definition at line 53 of file special_public_inputs.hpp.

◆ FF

using bb::stdlib::recursion::honk::KernelIO::FF = Curve::ScalarField

Definition at line 55 of file special_public_inputs.hpp.

◆ G1

using bb::stdlib::recursion::honk::KernelIO::G1 = Curve::Group

Definition at line 54 of file special_public_inputs.hpp.

◆ PairingInputs

using bb::stdlib::recursion::honk::KernelIO::PairingInputs = stdlib::recursion::PairingPoints<Builder>

Definition at line 56 of file special_public_inputs.hpp.

◆ PublicFF

using bb::stdlib::recursion::honk::KernelIO::PublicFF = stdlib::PublicInputComponent<FF>

Definition at line 62 of file special_public_inputs.hpp.

◆ PublicPairingPoints

using bb::stdlib::recursion::honk::KernelIO::PublicPairingPoints = stdlib::PublicInputComponent<PairingInputs>

Definition at line 61 of file special_public_inputs.hpp.

◆ PublicPoint

using bb::stdlib::recursion::honk::KernelIO::PublicPoint = stdlib::PublicInputComponent<G1>

Definition at line 60 of file special_public_inputs.hpp.

◆ TableCommitments

using bb::stdlib::recursion::honk::KernelIO::TableCommitments = std::array<G1, Builder::NUM_WIRES>

Definition at line 58 of file special_public_inputs.hpp.

Member Function Documentation

◆ add_default()

static void bb::stdlib::recursion::honk::KernelIO::add_default ( Builder & builder )

inlinestatic

Add default public inputs when they are not present.

Definition at line 120 of file special_public_inputs.hpp.

◆ reconstruct_from_public()

void bb::stdlib::recursion::honk::KernelIO::reconstruct_from_public ( const std::vector< FF > & public_inputs )

inline

Reconstructs the IO components from a public inputs array.

Parameters

public_inputs Public inputs array containing the serialized kernel public inputs.

Definition at line 78 of file special_public_inputs.hpp.

◆ set_public()

void bb::stdlib::recursion::honk::KernelIO::set_public ( )

inline

Set each IO component to be a public input of the underlying circuit.

Definition at line 101 of file special_public_inputs.hpp.

Member Data Documentation

◆ app_return_data

G1 bb::stdlib::recursion::honk::KernelIO::app_return_data

Definition at line 66 of file special_public_inputs.hpp.

◆ ecc_op_tables

TableCommitments bb::stdlib::recursion::honk::KernelIO::ecc_op_tables

Definition at line 67 of file special_public_inputs.hpp.

◆ kernel_return_data

G1 bb::stdlib::recursion::honk::KernelIO::kernel_return_data

Definition at line 65 of file special_public_inputs.hpp.

◆ output_pg_accum_hash

FF bb::stdlib::recursion::honk::KernelIO::output_pg_accum_hash

Definition at line 68 of file special_public_inputs.hpp.

◆ pairing_inputs

PairingInputs bb::stdlib::recursion::honk::KernelIO::pairing_inputs

Definition at line 64 of file special_public_inputs.hpp.

◆ PUBLIC_INPUTS_SIZE

constexpr size_t bb::stdlib::recursion::honk::KernelIO::PUBLIC_INPUTS_SIZE = KERNEL_PUBLIC_INPUTS_SIZE

staticconstexpr

Definition at line 71 of file special_public_inputs.hpp.

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

src/barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Static Public Attributes