|
barretenberg
|
Public Types | |
| using | Flavor = proof_system::honk::flavor::AvmMiniFlavor |
| using | FF = Flavor::FF |
| using | Row = AvmMiniFullRow< FF > |
| using | Polynomial = Flavor::Polynomial |
| using | ProverPolynomials = Flavor::ProverPolynomials |
Public Member Functions | |
| void | set_trace (std::vector< Row > &&trace) |
| ProverPolynomials | compute_polynomials () |
| bool | check_circuit () |
| size_t | get_num_gates () const |
| size_t | get_circuit_subgroup_size () const |
Public Attributes | |
| std::vector< Row > | rows |
Static Public Attributes | |
| static constexpr size_t | num_fixed_columns = 25 |
| static constexpr size_t | num_polys = 22 |