Full Honk proof layout (used by UltraVerifier). More...

Static Public Member Functions
static constexpr size_t	LENGTH_WITHOUT_PUB_INPUTS (size_t log_n)

static constexpr size_t	derive_num_public_inputs (size_t proof_size, size_t log_n)
	Derive num_public_inputs from proof size.

template<typename IO >
static constexpr size_t	expected_proof_size (size_t log_n)
	Expected proof size for API-level validation (excludes user public inputs).

Detailed Description

template<typename Flavor>
struct bb::ProofLength::Honk< Flavor >

Full Honk proof layout (used by UltraVerifier).

Honk proof = Oink + Sumcheck + Shplemini. Note: IPA proof is handled separately for rollup flavors (appended by prover, split by verifier).

Definition at line 100 of file proof_length.hpp.

Member Function Documentation

template<typename Flavor >

static constexpr size_t bb::ProofLength::Honk< Flavor >::derive_num_public_inputs	(	size_t	proof_size,
		size_t	log_n
	)

inlinestaticconstexpr

Derive num_public_inputs from proof size.

Parameters

proof_size	Total proof size in field elements
log_n	Log of circuit size (VIRTUAL_LOG_N for padded, vk->log_circuit_size for non-padded)

Definition at line 112 of file proof_length.hpp.

template<typename Flavor >

template<typename IO >

static constexpr size_t bb::ProofLength::Honk< Flavor >::expected_proof_size ( size_t log_n )

inlinestaticconstexpr

Expected proof size for API-level validation (excludes user public inputs).

Computes: IO::PUBLIC_INPUTS_SIZE + Honk proof + IPA proof (if IO::HasIPA)

Template Parameters

IO	The IO type (DefaultIO, RollupIO, etc.)

Definition at line 122 of file proof_length.hpp.

template<typename Flavor >

static constexpr size_t bb::ProofLength::Honk< Flavor >::LENGTH_WITHOUT_PUB_INPUTS ( size_t log_n )

inlinestaticconstexpr

Definition at line 101 of file proof_length.hpp.

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