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

#include <special_public_inputs.hpp>

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

using	G1 = curve::BN254::AffineElement

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

using	PublicPairingPoints = PublicInputComponent< PairingPoints >

using	PublicPoint = PublicInputComponent< G1 >

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

Public Attributes
PairingPoints	pairing_inputs

TableCommitments	ecc_op_tables

Static Public Attributes
static constexpr size_t	PUBLIC_INPUTS_SIZE = HIDING_KERNEL_PUBLIC_INPUTS_SIZE

Detailed Description

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

Definition at line 45 of file special_public_inputs.hpp.

Member Typedef Documentation

◆ FF

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

Definition at line 47 of file special_public_inputs.hpp.

◆ G1

using bb::HidingKernelIO::G1 = curve::BN254::AffineElement

Definition at line 48 of file special_public_inputs.hpp.

◆ PublicPairingPoints

using bb::HidingKernelIO::PublicPairingPoints = PublicInputComponent<PairingPoints>

Definition at line 51 of file special_public_inputs.hpp.

◆ PublicPoint

using bb::HidingKernelIO::PublicPoint = PublicInputComponent<G1>

Definition at line 52 of file special_public_inputs.hpp.

◆ TableCommitments

using bb::HidingKernelIO::TableCommitments = std::array<G1, MegaCircuitBuilder::NUM_WIRES>

Definition at line 49 of file special_public_inputs.hpp.

Member Function Documentation

◆ reconstruct_from_public()

void bb::HidingKernelIO::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 64 of file special_public_inputs.hpp.

Member Data Documentation

◆ ecc_op_tables

TableCommitments bb::HidingKernelIO::ecc_op_tables

Definition at line 57 of file special_public_inputs.hpp.

◆ pairing_inputs

PairingPoints bb::HidingKernelIO::pairing_inputs

Definition at line 56 of file special_public_inputs.hpp.

◆ PUBLIC_INPUTS_SIZE

constexpr size_t bb::HidingKernelIO::PUBLIC_INPUTS_SIZE = HIDING_KERNEL_PUBLIC_INPUTS_SIZE

staticconstexpr

Definition at line 54 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

Public Attributes

Static Public Attributes