chonk_verifier.hpp File Reference

#include "barretenberg/chonk/chonk_proof.hpp"
#include "barretenberg/constants.hpp"
#include "barretenberg/eccvm/eccvm_flavor.hpp"
#include "barretenberg/flavor/mega_zk_recursive_flavor.hpp"
#include "barretenberg/goblin/goblin_verifier.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/translator_vm/translator_flavor.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"

Go to the source code of this file.

Classes
class	bb::ChonkVerifier< IsRecursive >
	Verifier for Chonk IVC proofs (both native and recursive). More...
struct	bb::ChonkVerifier< IsRecursive >::ReductionResult
	Result of Chonk verification reduction (recursive mode only) More...

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

Typedefs
using	bb::ChonkNativeVerifier = ChonkVerifier< false >
using	bb::ChonkRecursiveVerifier = ChonkVerifier< true >