decider_verification_key.hpp File Reference

#include "barretenberg/ecc/fields/field_conversion.hpp"
#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/relations/relation_parameters.hpp"

Go to the source code of this file.

Classes
class	bb::DeciderVerificationKey_< Flavor >
	The DeciderVerificationKey encapsulates all the necessary information for a Mega Honk Verifier to verify a proof (sumcheck + Shplemini). In the context of folding, this is returned by the Protogalaxy verifier with non-zero target sum and gate challenges. More...

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