proving_key_inspector.hpp File Reference

#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/log.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/honk/execution_trace/mega_execution_trace.hpp"
#include "barretenberg/ultra_honk/decider_proving_key.hpp"

Go to the source code of this file.

Classes
struct	bb::proving_key_inspector::NativeFlavorHelper< Flavor, bool >
struct	bb::proving_key_inspector::NativeFlavorHelper< Flavor, true >

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::proving_key_inspector

Functions
template<typename Flavor , typename Builder > requires (IsMegaFlavor<Flavor> && IsMegaBuilder<Builder>)
uint256_t	bb::proving_key_inspector::compute_vk_hash (const Builder &circuit_in, const TraceSettings &trace_settings=TraceSettings{ AZTEC_TRACE_STRUCTURE })
	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	bb::proving_key_inspector::compute_vk_hash (const Builder &, const TraceSettings &=TraceSettings{ AZTEC_TRACE_STRUCTURE })
bool	bb::proving_key_inspector::is_non_zero (auto &polynomial)
void	bb::proving_key_inspector::inspect_proving_key (auto &decider_proving_key)
	Utility for indicating which polynomials in a decider proving key are identically zero.