|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "../biggroup/biggroup.hpp"#include "../bigfield/bigfield.hpp"#include "../bool/bool.hpp"#include "../field/field.hpp"#include "barretenberg/circuit_checker/circuit_checker.hpp"#include "barretenberg/common/assert.hpp"#include "barretenberg/common/test.hpp"#include "barretenberg/numeric/random/engine.hpp"#include "barretenberg/numeric/uintx/uintx.hpp"#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"#include "barretenberg/stdlib/primitives/curves/bn254.hpp"#include "barretenberg/stdlib/primitives/curves/secp256k1.hpp"#include "barretenberg/stdlib/primitives/curves/secp256r1.hpp"#include "barretenberg/transcript/origin_tag.hpp"#include <vector>Go to the source code of this file.
Classes | |
| struct | TestType< _Curve, _use_bigfield > |
| class | stdlib_biggroup< TestType > |
Concepts | |
| concept | HasGoblinBuilder |
Typedefs | |
| using | bn254_with_ultra = stdlib_biggroup< TestType< stdlib::bn254< bb::UltraCircuitBuilder >, false > > |
| using | bn254_with_ultra_scalar_bigfield = stdlib_biggroup< TestType< stdlib::bn254< bb::UltraCircuitBuilder >, true > > |
| using | bn254_with_mega = stdlib_biggroup< TestType< stdlib::bn254< bb::MegaCircuitBuilder >, false > > |
| using | secp256r1_with_ultra = stdlib_biggroup< TestType< stdlib::secp256r1< bb::UltraCircuitBuilder >, true > > |
| using | secp256k1_with_ultra = stdlib_biggroup< TestType< stdlib::secp256k1< bb::UltraCircuitBuilder >, true > > |
| using | TestTypes = testing::Types< bn254_with_ultra, bn254_with_ultra_scalar_bigfield, bn254_with_mega, secp256r1_with_ultra, secp256k1_with_ultra > |
Enumerations | |
| enum struct | InputType { WITNESS , CONSTANT , WITNESS , CONSTANT , WITNESS , CONSTANT } |
| using bn254_with_mega = stdlib_biggroup<TestType<stdlib::bn254<bb::MegaCircuitBuilder>, false> > |
Definition at line 2221 of file biggroup.test.cpp.
| using bn254_with_ultra = stdlib_biggroup<TestType<stdlib::bn254<bb::UltraCircuitBuilder>, false> > |
Definition at line 2214 of file biggroup.test.cpp.
| using bn254_with_ultra_scalar_bigfield = stdlib_biggroup<TestType<stdlib::bn254<bb::UltraCircuitBuilder>, true> > |
Definition at line 2217 of file biggroup.test.cpp.
| using secp256k1_with_ultra = stdlib_biggroup<TestType<stdlib::secp256k1<bb::UltraCircuitBuilder>, true> > |
Definition at line 2228 of file biggroup.test.cpp.
| using secp256r1_with_ultra = stdlib_biggroup<TestType<stdlib::secp256r1<bb::UltraCircuitBuilder>, true> > |
Definition at line 2224 of file biggroup.test.cpp.
| using TestTypes = testing::Types<bn254_with_ultra, bn254_with_ultra_scalar_bigfield, bn254_with_mega, secp256r1_with_ultra, secp256k1_with_ultra> |
Definition at line 2231 of file biggroup.test.cpp.
|
strong |
| Enumerator | |
|---|---|
| WITNESS | |
| CONSTANT | |
| WITNESS | |
| CONSTANT | |
| WITNESS | |
| CONSTANT | |
Definition at line 23 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul | |||
| ) |
Definition at line 2634 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_all_infinity | |||
| ) |
Definition at line 2654 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_all_zero_scalars | |||
| ) |
Definition at line 2659 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_cancellation | |||
| ) |
Definition at line 2674 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_edge_case_set1 | |||
| ) |
Definition at line 2643 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_edge_case_set2 | |||
| ) |
Definition at line 2648 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_edgecase_equivalence | |||
| ) |
Definition at line 2639 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_five | |||
| ) |
Definition at line 2576 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_five_mixed_constants | |||
| ) |
Definition at line 2592 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_five_short_scalars | |||
| ) |
Definition at line 2584 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_five_short_scalars_with_edgecases | |||
| ) |
Definition at line 2588 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_five_with_edgecases | |||
| ) |
Definition at line 2580 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_large_number_of_points | |||
| ) |
Definition at line 2684 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_linearly_dependent_generators | |||
| ) |
Definition at line 2615 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_linearly_dependent_generators_failure | |||
| ) |
Definition at line 2620 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_mixed_constant_witness | |||
| ) |
Definition at line 2679 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_mixed_infinity | |||
| ) |
Definition at line 2669 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_mixed_zero_scalars | |||
| ) |
Definition at line 2664 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_quad | |||
| ) |
Definition at line 2570 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_singleton | |||
| ) |
Definition at line 2535 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_six | |||
| ) |
Definition at line 2600 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_triple | |||
| ) |
Definition at line 2564 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_twin | |||
| ) |
Definition at line 2541 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_twin_mixed_constants | |||
| ) |
Definition at line 2557 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_twin_short_scalars | |||
| ) |
Definition at line 2545 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_twin_short_scalars_with_edgecases | |||
| ) |
Definition at line 2553 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| batch_mul_twin_with_edgecases | |||
| ) |
Definition at line 2549 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| chain_add | |||
| ) |
Definition at line 2314 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| chain_add_with_constants | |||
| ) |
Definition at line 2322 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| compute_naf | |||
| ) |
Definition at line 2473 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| compute_naf_zero | |||
| ) |
Definition at line 2485 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| mul | |||
| ) |
Definition at line 2494 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| mul_edge_cases | |||
| ) |
Definition at line 2504 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| mul_edge_cases_with_constants | |||
| ) |
Definition at line 2508 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| mul_with_constants | |||
| ) |
Definition at line 2498 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| multiple_montgomery_ladder | |||
| ) |
Definition at line 2338 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| one | |||
| ) |
Definition at line 2629 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| short_scalar_mul_infinity | |||
| ) |
Definition at line 2524 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| short_scalar_mul_with_bit_lengths | |||
| ) |
Definition at line 2515 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| twin_mul | |||
| ) |
Definition at line 2605 of file biggroup.test.cpp.
| HEAVY_TYPED_TEST | ( | stdlib_biggroup | , |
| twin_mul_with_infinity | |||
| ) |
Definition at line 2610 of file biggroup.test.cpp.
Definition at line 28 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| add | |||
| ) |
Definition at line 2250 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| add_assign | |||
| ) |
Definition at line 2380 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| add_assign_with_constants | |||
| ) |
Definition at line 2385 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| add_equals_dbl | |||
| ) |
Definition at line 2304 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| add_points_at_infinity | |||
| ) |
Definition at line 2260 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| add_with_constants | |||
| ) |
Definition at line 2254 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| assert_coordinates_in_field | |||
| ) |
Definition at line 2244 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| basic_tag_logic | |||
| ) |
Definition at line 2239 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| checked_unconditional_add | |||
| ) |
Definition at line 2402 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| checked_unconditional_add_sub | |||
| ) |
Definition at line 2424 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| checked_unconditional_add_sub_with_constants | |||
| ) |
Definition at line 2428 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| checked_unconditional_add_with_constants | |||
| ) |
Definition at line 2406 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| checked_unconditional_subtract | |||
| ) |
Definition at line 2413 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| checked_unconditional_subtract_with_constants | |||
| ) |
Definition at line 2417 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| conditional_negate | |||
| ) |
Definition at line 2435 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| conditional_negate_with_constants | |||
| ) |
Definition at line 2439 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| conditional_select | |||
| ) |
Definition at line 2446 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| conditional_select_with_constants | |||
| ) |
Definition at line 2450 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| dbl | |||
| ) |
Definition at line 2284 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| dbl_with_constant | |||
| ) |
Definition at line 2288 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| dbl_with_infinity | |||
| ) |
Definition at line 2292 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| dbl_with_y_zero | |||
| ) |
Definition at line 2296 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| incomplete_assert_equal | |||
| ) |
Definition at line 2460 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| incomplete_assert_equal_edge_cases | |||
| ) |
Definition at line 2468 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| incomplete_assert_equal_fails | |||
| ) |
Definition at line 2464 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| normalize | |||
| ) |
Definition at line 2349 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| normalize_constant | |||
| ) |
Definition at line 2353 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| reduce | |||
| ) |
Definition at line 2359 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| reduce_constant | |||
| ) |
Definition at line 2363 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| standard_form_of_point_at_infinity | |||
| ) |
Definition at line 2264 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| sub | |||
| ) |
Definition at line 2270 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| sub_assign | |||
| ) |
Definition at line 2392 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| sub_assign_with_constants | |||
| ) |
Definition at line 2396 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| sub_neg_equals_double | |||
| ) |
Definition at line 2308 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| sub_points_at_infinity | |||
| ) |
Definition at line 2280 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| sub_with_constants | |||
| ) |
Definition at line 2274 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| unary_negate | |||
| ) |
Definition at line 2369 of file biggroup.test.cpp.
| TYPED_TEST | ( | stdlib_biggroup | , |
| unary_negate_with_constants | |||
| ) |
Definition at line 2374 of file biggroup.test.cpp.
| TYPED_TEST_SUITE | ( | stdlib_biggroup | , |
| TestTypes | |||
| ) |