|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "ec_operations.hpp"#include "barretenberg/ecc/curves/bn254/fr.hpp"#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"#include "barretenberg/ecc/groups/affine_element.hpp"#include "barretenberg/honk/execution_trace/gate_data.hpp"#include "barretenberg/stdlib/primitives/group/cycle_group.hpp"Go to the source code of this file.
Namespaces | |
| namespace | acir_format |
Functions | |
| template<typename Builder > | |
| void | acir_format::create_ec_add_constraint (Builder &builder, const EcAdd &input, bool has_valid_witness_assignments) |
| template void | acir_format::create_ec_add_constraint< bb::UltraCircuitBuilder > (bb::UltraCircuitBuilder &builder, const EcAdd &input, bool has_valid_witness_assignments) |
| template void | acir_format::create_ec_add_constraint< bb::MegaCircuitBuilder > (bb::MegaCircuitBuilder &builder, const EcAdd &input, bool has_valid_witness_assignments) |