sumcheck_client_ivc.hpp File Reference

#include "barretenberg/client_ivc/client_ivc_base.hpp"
#include "barretenberg/flavor/mega_zk_recursive_flavor.hpp"
#include "barretenberg/goblin/goblin.hpp"
#include "barretenberg/protogalaxy/protogalaxy_prover.hpp"
#include "barretenberg/protogalaxy/protogalaxy_verifier.hpp"
#include "barretenberg/stdlib/honk_verifier/decider_recursive_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/protogalaxy_verifier/protogalaxy_recursive_verifier.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/ultra_honk/decider_prover.hpp"
#include "barretenberg/ultra_honk/decider_verifier.hpp"
#include "barretenberg/ultra_honk/oink_verifier.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include <algorithm>

Go to the source code of this file.

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

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

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