recursion_constraint.hpp File Reference

#include "barretenberg/common/serialize.hpp"
#include "barretenberg/dsl/acir_format/witness_constant.hpp"
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include <cstdint>
#include <vector>

Go to the source code of this file.

Classes
struct	acir_format::RecursionConstraint
	RecursionConstraint struct contains information required to recursively verify a proof! More...

Namespaces
namespace	acir_format

Enumerations
enum	acir_format::PROOF_TYPE {   acir_format::PLONK , acir_format::HONK , acir_format::OINK , acir_format::PG ,   acir_format::AVM , acir_format::ROLLUP_HONK , acir_format::ROOT_ROLLUP_HONK , acir_format::HONK_ZK ,   acir_format::PG_FINAL , acir_format::PG_TAIL , acir_format::CIVC }

Functions
template<typename B >
void	acir_format::read (B &buf, RecursionConstraint &constraint)
template<typename B >
void	acir_format::write (B &buf, RecursionConstraint const &constraint)