bb::stdlib::recursion::honk::HidingKernelIO< Builder_ > Class Template Reference

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

#include <special_public_inputs.hpp>

Public Types
using	Builder = Builder_
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 >

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 TableCommitments	default_ecc_op_tables (Builder &builder)
static void	add_default (Builder &builder)
	Add default public inputs when they are not present.

Public Attributes
PairingInputs	pairing_inputs
TableCommitments	ecc_op_tables

Static Public Attributes
static constexpr size_t	PUBLIC_INPUTS_SIZE = HIDING_KERNEL_PUBLIC_INPUTS_SIZE

Detailed Description

template<class Builder_>
class bb::stdlib::recursion::honk::HidingKernelIO< Builder_ >

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

Definition at line 244 of file special_public_inputs.hpp.

Member Typedef Documentation

Builder

template<class Builder_ >

using bb::stdlib::recursion::honk::HidingKernelIO< Builder_ >::Builder = Builder_

Definition at line 246 of file special_public_inputs.hpp.

Curve

template<class Builder_ >

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

Definition at line 247 of file special_public_inputs.hpp.

FF

template<class Builder_ >

using bb::stdlib::recursion::honk::HidingKernelIO< Builder_ >::FF = Curve::ScalarField

Definition at line 249 of file special_public_inputs.hpp.

G1

template<class Builder_ >

using bb::stdlib::recursion::honk::HidingKernelIO< Builder_ >::G1 = Curve::Group

Definition at line 248 of file special_public_inputs.hpp.

PairingInputs

template<class Builder_ >

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

Definition at line 250 of file special_public_inputs.hpp.

PublicPairingPoints

template<class Builder_ >

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

Definition at line 254 of file special_public_inputs.hpp.

PublicPoint

template<class Builder_ >

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

Definition at line 253 of file special_public_inputs.hpp.

TableCommitments

template<class Builder_ >

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

Definition at line 251 of file special_public_inputs.hpp.

Member Function Documentation

add_default()

template<class Builder_ >

static void bb::stdlib::recursion::honk::HidingKernelIO< Builder_ >::add_default ( Builder &  builder )

inlinestatic

Add default public inputs when they are not present.

Definition at line 310 of file special_public_inputs.hpp.

default_ecc_op_tables()

template<class Builder_ >

static TableCommitments bb::stdlib::recursion::honk::HidingKernelIO< Builder_ >::default_ecc_op_tables ( Builder &  builder )

inlinestatic

Definition at line 295 of file special_public_inputs.hpp.

reconstruct_from_public()

template<class Builder_ >

void bb::stdlib::recursion::honk::HidingKernelIO< Builder_ >::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 267 of file special_public_inputs.hpp.

set_public()

template<class Builder_ >

void bb::stdlib::recursion::honk::HidingKernelIO< Builder_ >::set_public ( )

inline

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

Definition at line 283 of file special_public_inputs.hpp.

Member Data Documentation

ecc_op_tables

template<class Builder_ >

TableCommitments bb::stdlib::recursion::honk::HidingKernelIO< Builder_ >::ecc_op_tables

Definition at line 257 of file special_public_inputs.hpp.

pairing_inputs

template<class Builder_ >

PairingInputs bb::stdlib::recursion::honk::HidingKernelIO< Builder_ >::pairing_inputs

Definition at line 256 of file special_public_inputs.hpp.

PUBLIC_INPUTS_SIZE

template<class Builder_ >

constexpr size_t bb::stdlib::recursion::honk::HidingKernelIO< Builder_ >::PUBLIC_INPUTS_SIZE = HIDING_KERNEL_PUBLIC_INPUTS_SIZE

staticconstexpr

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