bb::prover_instance_inspector Namespace Reference

Classes
struct	NativeFlavorHelper
struct	NativeFlavorHelper< Flavor, true >

Functions
template<typename Flavor , typename Builder > requires (IsMegaFlavor<Flavor> && IsMegaBuilder<Builder>)
uint256_t	compute_vk_hash (const Builder &circuit_in)
	Compute the hash of the verification key that results from constructing a proving key from the given circuit.
template<typename Flavor , typename Builder > requires (!IsMegaFlavor<Flavor> || !IsMegaBuilder<Builder>)
uint256_t	compute_vk_hash (const Builder &)
bool	is_non_zero (auto &polynomial)
void	inspect_prover_instance (auto &prover_instance)
	Utility for indicating which polynomials in a decider proving key are identically zero.

Function Documentation

compute_vk_hash() [1/2]

template<typename Flavor , typename Builder >
requires (!IsMegaFlavor<Flavor> || !IsMegaBuilder<Builder>)

uint256_t bb::prover_instance_inspector::compute_vk_hash

(

const Builder &

)

Definition at line 51 of file prover_instance_inspector.hpp.

compute_vk_hash() [2/2]

template<typename Flavor , typename Builder >
requires (IsMegaFlavor<Flavor> && IsMegaBuilder<Builder>)

uint256_t bb::prover_instance_inspector::compute_vk_hash

(

const Builder &

circuit_in

)

Compute the hash of the verification key that results from constructing a proving key from the given circuit.

This is useful for identifying the point of divergence for two circuits that are expected to be identical, for example, the circuit constructed from a given acir program with or without a genuine witness.

Template Parameters

Flavor	Determines the type of PK and VK to be constructed.
Builder	The builder for the circuit in question.

Definition at line 34 of file prover_instance_inspector.hpp.

inspect_prover_instance()

void bb::prover_instance_inspector::inspect_prover_instance

(

auto &

prover_instance

)

Utility for indicating which polynomials in a decider proving key are identically zero.

Parameters

prover_instance

Definition at line 74 of file prover_instance_inspector.hpp.

is_non_zero()

bool bb::prover_instance_inspector::is_non_zero

(

auto &

polynomial

)

Definition at line 59 of file prover_instance_inspector.hpp.