bb::stdlib::recursion::honk::KernelIOSerde Class Reference

For test purposes only: Native representation and serde for KernelIO public inputs More...

#include <special_public_inputs_test_serde.hpp>

Public Types
using	NativeFF = bb::fr
using	NativeG1 = curve::BN254::AffineElement
using	NativeFq = curve::BN254::BaseField
using	NativePairingPoints = bb::PairingPoints< curve::BN254 >
using	NativeTableCommitments = std::array< NativeG1, MegaCircuitBuilder::NUM_WIRES >

Public Member Functions
void	to_proof (std::vector< NativeFF > &proof, size_t num_public_inputs) const
	Serialize KernelIO back to a proof vector.

Static Public Member Functions
static KernelIOSerde	from_proof (const std::vector< NativeFF > &proof, size_t num_public_inputs)
	Deserialize KernelIO from a proof vector.

Public Attributes
NativePairingPoints	pairing_inputs
NativeG1	kernel_return_data
NativeG1	app_return_data
NativeTableCommitments	ecc_op_tables
NativeFF	output_hn_accum_hash

Static Public Attributes
static constexpr size_t	PUBLIC_INPUTS_SIZE = KERNEL_PUBLIC_INPUTS_SIZE

Detailed Description

For test purposes only: Native representation and serde for KernelIO public inputs

Used for testing and verification with native bb::fr vectors. Mirrors the structure of stdlib KernelIO but works with native types.

Definition at line 16 of file special_public_inputs_test_serde.hpp.

Member Typedef Documentation

NativeFF

using bb::stdlib::recursion::honk::KernelIOSerde::NativeFF = bb::fr

Definition at line 18 of file special_public_inputs_test_serde.hpp.

NativeFq

using bb::stdlib::recursion::honk::KernelIOSerde::NativeFq = curve::BN254::BaseField

Definition at line 20 of file special_public_inputs_test_serde.hpp.

NativeG1

using bb::stdlib::recursion::honk::KernelIOSerde::NativeG1 = curve::BN254::AffineElement

Definition at line 19 of file special_public_inputs_test_serde.hpp.

NativePairingPoints

using bb::stdlib::recursion::honk::KernelIOSerde::NativePairingPoints = bb::PairingPoints<curve::BN254>

Definition at line 21 of file special_public_inputs_test_serde.hpp.

NativeTableCommitments

using bb::stdlib::recursion::honk::KernelIOSerde::NativeTableCommitments = std::array<NativeG1, MegaCircuitBuilder::NUM_WIRES>

Definition at line 22 of file special_public_inputs_test_serde.hpp.

Member Function Documentation

from_proof()

static KernelIOSerde bb::stdlib::recursion::honk::KernelIOSerde::from_proof ( const std::vector< NativeFF > &  proof, size_t  num_public_inputs  )

inlinestatic

Deserialize KernelIO from a proof vector.

Parameters

proof	The proof vector (public inputs are at the beginning)
num_public_inputs	Total number of public inputs in the proof

KernelIO is at the END of the public inputs section, so we start at offset (num_public_inputs - PUBLIC_INPUTS_SIZE)

Definition at line 39 of file special_public_inputs_test_serde.hpp.

to_proof()

void bb::stdlib::recursion::honk::KernelIOSerde::to_proof ( std::vector< NativeFF > &  proof, size_t  num_public_inputs  ) const

inline

Serialize KernelIO back to a proof vector.

Parameters

proof	The proof vector to write to
num_public_inputs	Total number of public inputs in the proof

Definition at line 70 of file special_public_inputs_test_serde.hpp.

Member Data Documentation

app_return_data

NativeG1 bb::stdlib::recursion::honk::KernelIOSerde::app_return_data

Definition at line 28 of file special_public_inputs_test_serde.hpp.

ecc_op_tables

NativeTableCommitments bb::stdlib::recursion::honk::KernelIOSerde::ecc_op_tables

Definition at line 29 of file special_public_inputs_test_serde.hpp.

kernel_return_data

NativeG1 bb::stdlib::recursion::honk::KernelIOSerde::kernel_return_data

Definition at line 27 of file special_public_inputs_test_serde.hpp.

output_hn_accum_hash

NativeFF bb::stdlib::recursion::honk::KernelIOSerde::output_hn_accum_hash

Definition at line 30 of file special_public_inputs_test_serde.hpp.

pairing_inputs

NativePairingPoints bb::stdlib::recursion::honk::KernelIOSerde::pairing_inputs

Definition at line 26 of file special_public_inputs_test_serde.hpp.

PUBLIC_INPUTS_SIZE

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

staticconstexpr

Definition at line 24 of file special_public_inputs_test_serde.hpp.

---

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

• src/barretenberg/stdlib/special_public_inputs/special_public_inputs_test_serde.hpp