Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | Public Attributes | Static Public Attributes | List of all members
bb::HidingKernelIO Class Reference

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< curve::BN254 > >
 
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.
 

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
 
G1 kernel_return_data
 
TableCommitments ecc_op_tables
 

Static Public Attributes

static constexpr size_t PUBLIC_INPUTS_SIZE
 
static constexpr bool HasIPA = false
 

Detailed Description

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

Definition at line 57 of file special_public_inputs.hpp.

Member Typedef Documentation

◆ FF

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

Definition at line 59 of file special_public_inputs.hpp.

◆ G1

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

Definition at line 60 of file special_public_inputs.hpp.

◆ PublicPairingPoints

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

Definition at line 63 of file special_public_inputs.hpp.

◆ PublicPoint

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

Definition at line 64 of file special_public_inputs.hpp.

◆ TableCommitments

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

Definition at line 61 of file special_public_inputs.hpp.

Member Function Documentation

◆ add_default()

template<typename Builder >
static void bb::HidingKernelIO::add_default ( Builder &  builder)
inlinestatic

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

Definition at line 100 of file special_public_inputs.hpp.

◆ 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.

Definition at line 77 of file special_public_inputs.hpp.

Member Data Documentation

◆ ecc_op_tables

TableCommitments bb::HidingKernelIO::ecc_op_tables

Definition at line 72 of file special_public_inputs.hpp.

◆ HasIPA

constexpr bool bb::HidingKernelIO::HasIPA = false
staticconstexpr

Definition at line 68 of file special_public_inputs.hpp.

◆ kernel_return_data

G1 bb::HidingKernelIO::kernel_return_data

Definition at line 71 of file special_public_inputs.hpp.

◆ pairing_inputs

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

Definition at line 70 of file special_public_inputs.hpp.

◆ PUBLIC_INPUTS_SIZE

constexpr size_t bb::HidingKernelIO::PUBLIC_INPUTS_SIZE
staticconstexpr
Initial value:
=
PairingPoints<curve::BN254>::PUBLIC_INPUTS_SIZE + G1::PUBLIC_INPUTS_SIZE * (1 + MegaCircuitBuilder::NUM_WIRES)
bb::UltraCircuitBuilder_< MegaExecutionTraceBlocks >::NUM_WIRES
static constexpr size_t NUM_WIRES
Definition ultra_circuit_builder.hpp:46

Definition at line 66 of file special_public_inputs.hpp.

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