|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "ec_operations.hpp"#include "acir_format.hpp"#include "acir_format_mocks.hpp"#include "barretenberg/circuit_checker/circuit_checker.hpp"#include "barretenberg/stdlib/primitives/curves/secp256k1.hpp"#include "barretenberg/stdlib/primitives/group/cycle_group.hpp"#include <gtest/gtest.h>#include <vector>Go to the source code of this file.
Classes | |
| class | acir_format::tests::EcOperations |
Namespaces | |
| namespace | acir_format |
| namespace | acir_format::tests |
Typedefs | |
| using | acir_format::tests::curve_ct = bb::stdlib::secp256k1< Builder > |
Functions | |
| size_t | acir_format::tests::generate_ec_add_constraint (EcAdd &ec_add_constraint, WitnessVector &witness_values) |
| acir_format::tests::TEST_F (EcOperations, TestECOperations) | |
| acir_format::tests::TEST_F (EcOperations, TestECPredicate) | |
| size_t | acir_format::tests::generate_msm_constraint (MultiScalarMul &msm_constraint, WitnessVector &witness_values) |
| acir_format::tests::TEST_F (EcOperations, TestECMultiScalarMul) | |
| acir_format::tests::TEST_F (EcOperations, TestECMsmPredicate) | |