chonk.hpp File Reference

#include "barretenberg/chonk/chonk_base.hpp"
#include "barretenberg/flavor/mega_zk_recursive_flavor.hpp"
#include "barretenberg/goblin/goblin.hpp"
#include "barretenberg/hypernova/hypernova_decider_prover.hpp"
#include "barretenberg/hypernova/hypernova_decider_verifier.hpp"
#include "barretenberg/hypernova/hypernova_prover.hpp"
#include "barretenberg/hypernova/hypernova_verifier.hpp"
#include "barretenberg/stdlib/honk_verifier/ultra_recursive_verifier.hpp"
#include "barretenberg/stdlib/primitives/databus/databus.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include <algorithm>

Go to the source code of this file.

Classes
class	bb::Chonk
	The IVC scheme used by the aztec client for private function execution. More...
struct	bb::Chonk::Proof
	A full proof for the IVC scheme containing a Mega proof showing correctness of the Hiding kernel (which recursive verified the last folding and decider proof) and a Goblin proof (translator VM, ECCVM and last merge proof). More...
class	bb::Chonk::Proof::DeserializationError
struct	bb::Chonk::VerificationKey
struct	bb::Chonk::VerifierInputs
struct	bb::Chonk::StdlibVerifierInputs

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

Functions
void	bb::read (uint8_t const *&it, Chonk::VerificationKey &vk)
void	bb::write (std::vector< uint8_t > &buf, Chonk::VerificationKey const &vk)