|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
Directories | |
| ecc_vm | |
| generic_lookup | |
| generic_permutation | |
| multilinear_batching | |
| translator_vm | |
Files | |
| databus_lookup_relation.hpp | |
| databus_lookup_relation_consistency.test.cpp | |
| Tests for DatabusLookupRelation to verify the relation arithmetic matches a simple reference implementation. | |
| delta_range_constraint_relation.hpp | |
| ecc_op_queue_relation.hpp | |
| elliptic_relation.hpp | |
| logderiv_lookup_relation.hpp | |
| memory_relation.hpp | |
| nested_containers.hpp | |
| nested_containers.test.cpp | |
| non_native_field_relation.hpp | |
| permutation_relation.hpp | |
| poseidon2_external_relation.hpp | |
| poseidon2_internal_relation.hpp | |
| relation_manual.test.cpp | |
| relation_parameters.hpp | |
| relation_types.hpp | |
| relation_types.test.cpp | |
| ultra_arithmetic_relation.hpp | |
| ultra_relation_consistency.test.cpp | |
| Show that relation arithmetic has a simple form. | |
| utils.hpp | |