bb::prover_instance_inspector Namespace Reference

Functions
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

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 27 of file prover_instance_inspector.hpp.

is_non_zero()

bool bb::prover_instance_inspector::is_non_zero

(

auto &

polynomial

)

Definition at line 12 of file prover_instance_inspector.hpp.