barretenberg
Loading...
Searching...
No Matches
src
barretenberg
proof_system
circuit_builder
AvmMini_helper.hpp
1
#pragma once
2
3
#include "barretenberg/ecc/curves/bn254/fr.hpp"
4
#include "barretenberg/proof_system/circuit_builder/circuit_builder_base.hpp"
5
6
#include "barretenberg/flavor/generated/AvmMini_flavor.hpp"
7
#include "barretenberg/proof_system/circuit_builder/generated/AvmMini_circuit_builder.hpp"
8
9
namespace
proof_system {
10
11
using
Flavor
=
proof_system::honk::flavor::AvmMiniFlavor
;
12
using
FF
= Flavor::FF;
13
using
Row
=
proof_system::AvmMiniFullRow<barretenberg::fr>
;
14
15
void
log_avmMini_trace(std::vector<Row>
const
& trace,
size_t
beg,
size_t
end);
16
17
}
// namespace proof_system
proof_system::honk::flavor::AvmMiniFlavor
Definition:
AvmMini_flavor.hpp:21
barretenberg::field< Bn254FrParams >
proof_system::AvmMiniFullRow
Definition:
AvmMini_circuit_builder.hpp:18
Generated by
1.9.6