proof_system::ToyAVMCircuitBuilder< Flavor > Class Template Reference

Circuit builder for the ToyAVM that is used to explain generic permutation settings. More...

#include <toy_avm_circuit_builder.hpp>

Public Types
using	FF = typename Flavor::FF
using	Polynomial = typename Flavor::Polynomial
using	ProverPolynomials = typename Flavor::ProverPolynomials

Public Member Functions
void	add_row (const std::array< FF, NUM_WIRES > row)
ProverPolynomials	compute_polynomials ()
	Compute the AVM Template flavor polynomial data required to generate a proof.
bool	check_circuit ()
	Check that the circuit is correct (proof should work)
size_t	get_num_gates () const
size_t	get_circuit_subgroup_size (const size_t num_rows) const

Public Attributes
size_t	num_gates = 0
std::array< std::vector< FF >, NUM_WIRES >	wires

Static Public Attributes
static constexpr size_t	NUM_POLYNOMIALS = Flavor::NUM_ALL_ENTITIES
static constexpr size_t	NUM_WIRES = Flavor::NUM_WIRES

Detailed Description

template<typename Flavor>
class proof_system::ToyAVMCircuitBuilder< Flavor >

Circuit builder for the ToyAVM that is used to explain generic permutation settings.

Template Parameters

Flavor

Member Function Documentation

check_circuit()

template<typename Flavor >

bool proof_system::ToyAVMCircuitBuilder< Flavor >::check_circuit ( )

inline

Check that the circuit is correct (proof should work)

compute_polynomials()

template<typename Flavor >

ProverPolynomials proof_system::ToyAVMCircuitBuilder< Flavor >::compute_polynomials ( )

inline

Compute the AVM Template flavor polynomial data required to generate a proof.

Returns

ProverPolynomials

---

The documentation for this class was generated from the following file:

• src/barretenberg/proof_system/circuit_builder/toy_avm/toy_avm_circuit_builder.hpp