bb::stdlib::recursion::honk::AppIOSerde Class Reference

Native representation and serde for AppIO 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 >

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

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

Public Attributes
NativePairingPoints	pairing_inputs

Static Public Attributes
static constexpr size_t	PUBLIC_INPUTS_SIZE = DEFAULT_PUBLIC_INPUTS_SIZE

Detailed Description

Native representation and serde for AppIO public inputs.

Used for testing and verification with native bb::fr vectors. Mirrors the structure of stdlib AppIO but works with native types. AppIO contains only pairing points from the app circuit's decider proof verification.

Definition at line 188 of file special_public_inputs_test_serde.hpp.

Member Typedef Documentation

NativeFF

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

Definition at line 190 of file special_public_inputs_test_serde.hpp.

NativeFq

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

Definition at line 192 of file special_public_inputs_test_serde.hpp.

NativeG1

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

Definition at line 191 of file special_public_inputs_test_serde.hpp.

NativePairingPoints

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

Definition at line 193 of file special_public_inputs_test_serde.hpp.

Member Function Documentation

from_proof()

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

inlinestatic

Deserialize AppIO 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

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

Definition at line 206 of file special_public_inputs_test_serde.hpp.

to_proof()

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

inline

Serialize AppIO 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 231 of file special_public_inputs_test_serde.hpp.

Member Data Documentation

pairing_inputs

NativePairingPoints bb::stdlib::recursion::honk::AppIOSerde::pairing_inputs

Definition at line 197 of file special_public_inputs_test_serde.hpp.

PUBLIC_INPUTS_SIZE

constexpr size_t bb::stdlib::recursion::honk::AppIOSerde::PUBLIC_INPUTS_SIZE = DEFAULT_PUBLIC_INPUTS_SIZE

staticconstexpr

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