|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#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/prover_instance.hpp"Go to the source code of this file.
Namespaces | |
| namespace | bb |
| Entry point for Barretenberg command-line interface. | |
| namespace | bb::prover_instance_inspector |
Functions | |
| bool | bb::prover_instance_inspector::is_non_zero (auto &polynomial) |
| void | bb::prover_instance_inspector::inspect_prover_instance (auto &prover_instance) |
| Utility for indicating which polynomials in a decider proving key are identically zero. | |