eccvm_recursive_flavor.hpp File Reference

#include "barretenberg/common/std_array.hpp"
#include "barretenberg/eccvm/eccvm_flavor.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/flavor_macros.hpp"
#include "barretenberg/flavor/relation_definitions.hpp"
#include "barretenberg/relations/ecc_vm/ecc_lookup_relation.hpp"
#include "barretenberg/relations/ecc_vm/ecc_msm_relation.hpp"
#include "barretenberg/relations/ecc_vm/ecc_point_table_relation.hpp"
#include "barretenberg/relations/ecc_vm/ecc_set_relation.hpp"
#include "barretenberg/relations/ecc_vm/ecc_transcript_relation.hpp"
#include "barretenberg/relations/ecc_vm/ecc_wnaf_relation.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/stdlib/eccvm_verifier/verifier_commitment_key.hpp"
#include "barretenberg/stdlib/primitives/curves/grumpkin.hpp"
#include "barretenberg/stdlib/transcript/transcript.hpp"

Go to the source code of this file.

Classes
class	bb::ECCVMRecursiveFlavor
class	bb::ECCVMRecursiveFlavor::AllValues
	A field element for each entity of the flavor. These entities represent the prover polynomials evaluated at one point. More...
class	bb::ECCVMRecursiveFlavor::VerificationKey
	The verification key is responsible for storing the commitments to the precomputed (non-witness) polynomials used by the verifier. More...

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