-
-
Save shuklaayush/d3952ae12124082b28aa71834e3cafe1 to your computer and use it in GitHub Desktop.
Dump of list of tests in aztec's barretenberg cpp repo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Listing tests from ./build/bin/acir_format_tests | |
| acir_format. | |
| msgpack_logic_constraint | |
| test_logic_gate_from_noir_circuit | |
| test_schnorr_verify_pass | |
| test_schnorr_verify_small_range | |
| up_ram. | |
| TestBlockConstraint | |
| ECDSASecp256k1. | |
| TestECDSAConstraintSucceed | |
| TestECDSACompilesForVerifier | |
| TestECDSAConstraintFail | |
| Listing tests from ./build/bin/crypto_aes128_tests | |
| aes128. | |
| verify_cipher | |
| encrypt_buffer_cbc | |
| decrypt_buffer_cbc | |
| Listing tests from ./build/bin/crypto_blake2s_tests | |
| misc_blake2s. | |
| test_vectors | |
| Listing tests from ./build/bin/crypto_blake3s_full_tests | |
| misc_blake3s_full. | |
| test_vectors | |
| test_full_vectors | |
| Listing tests from ./build/bin/crypto_blake3s_tests | |
| misc_blake3s. | |
| test_vectors | |
| Listing tests from ./build/bin/crypto_ecdsa_tests | |
| ecdsa. | |
| msgpack | |
| verify_signature_grumpkin_sha256 | |
| verify_signature_secp256r1_sha256 | |
| recover_public_key_secp256k1_sha256 | |
| recover_public_key_secp256r1_sha256 | |
| check_overflowing_r_and_s_are_rejected | |
| verify_signature_secp256r1_sha256_NIST_1 | |
| Listing tests from ./build/bin/crypto_generators_tests | |
| generators. | |
| hash_ladder_structure | |
| fixed_base_scalar_mul | |
| Listing tests from ./build/bin/crypto_hmac_tests | |
| hmac. | |
| ValidateHMAC | |
| Listing tests from ./build/bin/crypto_pedersen_commitment_tests | |
| pedersen_lookup. | |
| endomorphism_test | |
| hash_single | |
| hash_pair | |
| merkle_damgard_compress | |
| merkle_damgard_compress_multiple_iv | |
| merkle_damgard_tree_compress | |
| sidon. | |
| compute_nearest_safe_prime | |
| compute_prime_factors | |
| compute_generator | |
| compute_sidon_set | |
| Listing tests from ./build/bin/crypto_schnorr_tests | |
| MultisigTest/0. # TypeParam = KeccakHasher | |
| verify_multi_signature_blake2s | |
| multi_signature_fails_if_proof_of_possession_invalid | |
| multi_signature_fails_if_duplicates | |
| MultisigTest/1. # TypeParam = Sha256Hasher | |
| verify_multi_signature_blake2s | |
| multi_signature_fails_if_proof_of_possession_invalid | |
| multi_signature_fails_if_duplicates | |
| ProofOfPossessionTest/0. # TypeParam = KeccakHasher | |
| valid_proof | |
| invalid_empty_proof | |
| fail_with_different_account | |
| fail_zero_challenge | |
| fail_zero_response | |
| serialize | |
| ProofOfPossessionTest/1. # TypeParam = Sha256Hasher | |
| valid_proof | |
| invalid_empty_proof | |
| fail_with_different_account | |
| fail_zero_challenge | |
| fail_zero_response | |
| serialize | |
| ProofOfPossessionTest/2. # TypeParam = Blake2sHasher | |
| valid_proof | |
| invalid_empty_proof | |
| fail_with_different_account | |
| fail_zero_challenge | |
| fail_zero_response | |
| serialize | |
| schnorr. | |
| verify_signature_keccak256 | |
| verify_signature_sha256 | |
| verify_signature_blake2s | |
| hmac_signature_consistency | |
| Listing tests from ./build/bin/crypto_sha256_tests | |
| misc_sha256. | |
| test_NIST_vector_one | |
| test_NIST_vector_two | |
| test_NIST_vector_three | |
| test_NIST_vector_four | |
| test_NIST_vector_five | |
| Listing tests from ./build/bin/ecc_tests | |
| fq. | |
| msgpack | |
| eq | |
| is_zero | |
| random_element | |
| mul_check_against_constants | |
| mul_short_integers | |
| mul_sqr_consistency | |
| sqr_check_against_constants | |
| add_check_against_constants | |
| sub_check_against_constants | |
| coarse_equivalence_checks | |
| to_montgomery_form | |
| from_montgomery_form | |
| montgomery_consistency_check | |
| add_mul_consistency | |
| sub_mul_consistency | |
| beta | |
| invert | |
| invert_one_is_one | |
| sqrt | |
| sqrt_random | |
| one_and_zero | |
| copy | |
| neg | |
| split_into_endomorphism_scalars | |
| split_into_endomorphism_scalars_simple | |
| serialize_to_buffer | |
| serialize_from_buffer | |
| multiplicative_generator | |
| r_inv | |
| pow_regression_check | |
| sqr_regression | |
| neg_and_self_neg_0_cmp_regression | |
| fq12. | |
| eq | |
| is_zero | |
| random_element | |
| add_check_against_constants | |
| sub_check_against_constants | |
| mul_check_against_constants | |
| sparse_mul_check_against_constants | |
| sqr_check_against_constants | |
| inverse | |
| unitary_inverse | |
| frobenius_map_three | |
| frobenius_map_two | |
| frobenius_map_one | |
| to_montgomery_form | |
| from_montgomery_form | |
| mul_sqr_consistency | |
| add_mul_consistency | |
| sub_mul_consistency | |
| fq2. | |
| eq | |
| is_zero | |
| random_element | |
| mul_check_against_constants | |
| sqr_check_against_constants | |
| add_check_against_constants | |
| sub_check_against_constants | |
| to_montgomery_form | |
| from_montgomery_form | |
| mul_sqr_consistency | |
| add_mul_consistency | |
| sub_mul_consistency | |
| invert | |
| serialize | |
| fq6. | |
| eq | |
| is_zero | |
| random_element | |
| add_check_against_constants | |
| sub_check_against_constants | |
| mul_check_against_constants | |
| sqr_check_against_constants | |
| to_montgomery_form | |
| from_montgomery_form | |
| mul_sqr_consistency | |
| add_mul_consistency | |
| sub_mul_consistency | |
| invert | |
| copy | |
| fr. | |
| msgpack | |
| eq | |
| is_zero | |
| random_element | |
| mul | |
| sqr | |
| add | |
| sub | |
| plus_equals | |
| prefix_increment | |
| postfix_increment | |
| to_montgomery_form | |
| from_montgomery_form | |
| montgomery_consistency_check | |
| add_mul_consistency | |
| sub_mul_consistency | |
| lambda | |
| invert | |
| invert_one_is_one | |
| sqrt | |
| sqrt_random | |
| one_and_zero | |
| copy | |
| neg | |
| split_into_endomorphism_scalars | |
| split_into_endomorphism_scalars_simple | |
| batch_invert | |
| multiplicative_generator | |
| uint256_conversions | |
| g1. | |
| random_element | |
| random_affine_element | |
| eq | |
| mixed_add_check_against_constants | |
| dbl_check_against_constants | |
| add_check_against_constants | |
| add_exception_test_infinity | |
| test_infinity | |
| add_exception_test_dbl | |
| add_affine_test | |
| add_dbl_consistency | |
| add_dbl_consistency_repeated | |
| mixed_add_exception_test_infinity | |
| mixed_add_exception_test_dbl | |
| add_mixed_add_consistency_check | |
| batch_normalize | |
| group_exponentiation_check_against_constants | |
| operator_ordering | |
| group_exponentiation_zero_and_one | |
| group_exponentiation_consistency_check | |
| derive_generators | |
| serialize | |
| initialization_check | |
| g2. | |
| random_element | |
| random_affine_element | |
| eq | |
| dbl_check_against_constants | |
| mixed_add_check_against_constants | |
| add_check_against_constants | |
| add_exception_test_infinity | |
| add_exception_test_dbl | |
| add_dbl_consistency | |
| add_dbl_consistency_repeated | |
| mixed_add_exception_test_infinity | |
| mixed_add_exception_test_dbl | |
| add_mixed_add_consistency_check | |
| batch_normalize | |
| group_exponentiation_check_against_constants | |
| group_exponentiation_zero_and_one | |
| group_exponentiation_consistency_check | |
| serialize | |
| initialization_check | |
| pairing. | |
| reduced_ate_pairing_check_against_constants | |
| reduced_ate_pairing_consistency_check | |
| reduced_ate_pairing_consistency_check_batch | |
| reduced_ate_pairing_precompute_consistency_check_batch | |
| scalar_multiplication. | |
| reduce_buckets_simple | |
| reduce_buckets | |
| DISABLED_reduce_buckets_basic | |
| add_affine_points | |
| construct_addition_chains | |
| endomorphism_split | |
| radix_sort | |
| oversized_inputs | |
| undersized_inputs | |
| pippenger | |
| pippenger_edge_case_dbl | |
| pippenger_short_inputs | |
| pippenger_unsafe | |
| pippenger_unsafe_short_inputs | |
| pippenger_one | |
| pippenger_zero_points | |
| pippenger_mul_by_zero | |
| grumpkin. | |
| check_b | |
| random_element | |
| random_affine_element | |
| eq | |
| check_group_modulus | |
| add_exception_test_infinity | |
| add_exception_test_dbl | |
| add_dbl_consistency | |
| add_dbl_consistency_repeated | |
| mixed_add_exception_test_infinity | |
| mixed_add_exception_test_dbl | |
| add_mixed_add_consistency_check | |
| on_curve | |
| batch_normalize | |
| group_exponentiation_zero_and_one | |
| group_exponentiation_consistency_check | |
| derive_generators | |
| batch_mul | |
| bad_points | |
| secp256k1. | |
| test_add | |
| test_sub | |
| test_to_montgomery_form | |
| test_from_montgomery_form | |
| test_mul | |
| test_sqr | |
| test_arithmetic | |
| generator_on_curve | |
| random_element | |
| random_affine_element | |
| eq | |
| check_group_modulus | |
| add_exception_test_infinity | |
| add_exception_test_dbl | |
| add_dbl_consistency | |
| add_dbl_consistency_repeated | |
| mixed_add_exception_test_infinity | |
| mixed_add_exception_test_dbl | |
| add_mixed_add_consistency_check | |
| on_curve | |
| batch_normalize | |
| group_exponentiation_zero_and_one | |
| group_exponentiation_consistency_check | |
| derive_generators | |
| get_endomorphism_scalars | |
| test_endomorphism_scalars | |
| neg_and_self_neg_0_cmp_regression | |
| montgomery_mul_big_bug | |
| secp256r1. | |
| test_add | |
| test_sub | |
| test_to_montgomery_form | |
| test_from_montgomery_form | |
| test_mul | |
| test_sqr | |
| test_arithmetic | |
| generator_on_curve | |
| random_element | |
| random_affine_element | |
| eq | |
| check_group_modulus | |
| add_exception_test_infinity | |
| add_exception_test_dbl | |
| add_dbl_consistency | |
| add_dbl_consistency_repeated | |
| mixed_add_exception_test_infinity | |
| mixed_add_exception_test_dbl | |
| add_mixed_add_consistency_check | |
| on_curve | |
| batch_normalize | |
| group_exponentiation_zero_and_one | |
| group_exponentiation_consistency_check | |
| msb_bug_regression_check | |
| addition_subtraction_regression_check | |
| montgomery_mul_big_bug | |
| test_affine_element/0. # TypeParam = barretenberg::group<barretenberg::field<barretenberg::Bn254FqParams>, barretenberg::field<barretenberg::Bn254FrParams>, barretenberg::Bn254G1Params> | |
| read_write_buffer | |
| point_compression | |
| point_compression_unsafe | |
| test_affine_element/1. # TypeParam = barretenberg::group<barretenberg::field<barretenberg::Bn254FrParams>, barretenberg::field<barretenberg::Bn254FqParams>, grumpkin::GrumpkinG1Params> | |
| read_write_buffer | |
| point_compression | |
| point_compression_unsafe | |
| test_affine_element/2. # TypeParam = barretenberg::group<barretenberg::field<secp256k1::Secp256k1FqParams>, barretenberg::field<secp256k1::Secp256k1FrParams>, secp256k1::Secp256k1G1Params> | |
| read_write_buffer | |
| point_compression | |
| point_compression_unsafe | |
| test_affine_element/3. # TypeParam = barretenberg::group<barretenberg::field<secp256r1::Secp256r1FqParams>, barretenberg::field<secp256r1::Secp256r1FrParams>, secp256r1::Secp256r1G1Params> | |
| read_write_buffer | |
| point_compression | |
| point_compression_unsafe | |
| affine_element. | |
| infinity_ordering_regression | |
| msgpack | |
| wnaf. | |
| wnaf_zero | |
| wnaf_two_bit_window | |
| wnaf_fixed | |
| wnaf_fixed_simple_lo | |
| wnaf_fixed_simple_hi | |
| wnaf_fixed_with_endo_split | |
| msgpack_tests. | |
| msgpack_field | |
| Listing tests from ./build/bin/honk_tests | |
| StandardHonkComposer. | |
| SigmaIDCorrectness | |
| LagrangeCorrectness | |
| AssertEquals | |
| VerificationKeyCreation | |
| BaseCase | |
| TwoGates | |
| SumcheckEvaluations | |
| UltraHonkComposer. | |
| ANonZeroPolynomialIsAGoodPolynomial | |
| XorConstraint | |
| create_gates_from_plookup_accumulators | |
| test_no_lookup_proof | |
| test_elliptic_gate | |
| non_trivial_tag_permutation | |
| non_trivial_tag_permutation_and_cycles | |
| bad_tag_permutation | |
| bad_tag_turbo_permutation | |
| sort_widget | |
| sort_with_edges_gate | |
| range_constraint | |
| range_with_gates | |
| range_with_gates_where_range_is_not_a_power_of_two | |
| sort_widget_complex | |
| sort_widget_neg | |
| composed_range_constraint | |
| non_native_field_multiplication | |
| rom | |
| ram | |
| Flavor. | |
| StandardGetters | |
| AllEntitiesSpecialMemberFunctions | |
| GeminiTest/0. # TypeParam = proof_system::honk::pcs::kzg::Params | |
| Single | |
| SingleShift | |
| Double | |
| DoubleWithShift | |
| IPATests. | |
| Commit | |
| Open | |
| BilinearAccumulationTest/0. # TypeParam = proof_system::honk::pcs::kzg::Params | |
| single | |
| GeminiShplonkKzgWithShift | |
| ShplonkTest/0. # TypeParam = proof_system::honk::pcs::kzg::Params | |
| ShplonkSimple | |
| ProverLibraryTests/0. # TypeParam = barretenberg::field<barretenberg::Bn254FrParams> | |
| PermutationGrandProduct | |
| LookupGrandProduct | |
| SortedListAccumulator | |
| BarycentricDataTests/0. # TypeParam = barretenberg::field<barretenberg::Bn254FrParams> | |
| Extend | |
| Evaluate | |
| BarycentricData2to3 | |
| BarycentricData5to6 | |
| MultivariatesTests/0. # TypeParam = proof_system::honk::flavor::Standard | |
| FoldTwoRoundsSpecial | |
| FoldTwoRoundsGeneric | |
| FoldThreeRoundsSpecial | |
| FoldThreeRoundsGeneric | |
| FoldThreeRoundsGenericMultiplePolys | |
| SumcheckPow. | |
| FullPowConsistency | |
| UnivariateTest/0. # TypeParam = barretenberg::field<barretenberg::Bn254FrParams> | |
| Constructors | |
| Addition | |
| Multiplication | |
| ConstructUnivariateViewFromUnivariate | |
| ConstructUnivariateFromUnivariateView | |
| UnivariateViewAddition | |
| UnivariateViewSubtraction | |
| UnivariateViewMultiplication | |
| Serialization | |
| StandardRelationConsistency. | |
| ArithmeticRelation | |
| GrandProductComputationRelation | |
| GrandProductInitializationRelation | |
| RelationCorrectness. | |
| StandardRelationCorrectness | |
| UltraRelationCorrectness | |
| UltraRelationConsistency. | |
| UltraArithmeticRelation | |
| UltraArithmeticRelationSecondary | |
| UltraGrandProductInitializationRelation | |
| UltraGrandProductComputationRelation | |
| LookupGrandProductComputationRelation | |
| LookupGrandProductInitializationRelation | |
| GenPermSortRelation | |
| EllipticRelation | |
| AuxiliaryRelation | |
| Sumcheck. | |
| PolynomialNormalization | |
| Prover | |
| ProverAndVerifier | |
| ProverAndVerifierLonger | |
| SumcheckRound. | |
| ComputeUnivariateProver | |
| ComputeUnivariateVerifier | |
| TranscriptTest/0. # TypeParam = barretenberg::field<barretenberg::Bn254FrParams> | |
| ProverManifestConsistency | |
| VerifierManifestConsistency | |
| ProverAndVerifierBasic | |
| VerifierMistake | |
| UltraVerifierManifestConsistency | |
| power_polynomial. | |
| test_full_polynomial_correctness | |
| test_evaluation_correctness | |
| Listing tests from ./build/bin/join_split_example_proofs_inner_proof_data_tests | |
| client_proofs_inner_proof_data. | |
| test_proof_to_data | |
| Listing tests from ./build/bin/join_split_example_proofs_join_split_tests | |
| join_split/0. # TypeParam = proof_system::plonk::UltraComposer | |
| deposit | |
| join_split/1. # TypeParam = proof_system::plonk::TurboComposer | |
| deposit | |
| join_split/2. # TypeParam = proof_system::plonk::StandardComposer | |
| deposit | |
| join_split/3. # TypeParam = proof_system::honk::StandardHonkComposer | |
| deposit | |
| join_split_tests. | |
| test_invalid_num_input_notes_fails | |
| test_deposit_public_value_invalid_fails | |
| test_send_public_value_invalid_fails | |
| test_withdraw_public_value_invalid_fails | |
| test_defi_deposit_public_value_invalid_fails | |
| test_deposit_public_owner_invalid_fails | |
| test_send_public_owner_invalid_fails | |
| test_withdraw_public_owner_invalid_fails | |
| test_defi_deposit_public_owner_invalid_fails | |
| test_wrong_proof_id | |
| test_joining_same_note_fails | |
| test_send_with_0_input_notes_fails | |
| test_withdraw_with_0_input_notes_fails | |
| test_defi_deposit_with_0_input_notes_fails | |
| test_wrong_asset_id_fails | |
| test_different_input_note_1_asset_id_fails | |
| test_different_output_note_1_asset_id_fails | |
| test_different_output_note_2_asset_id_fails | |
| test_deposit_but_different_input_note_2_asset_id_fails | |
| test_send_but_different_input_note_2_asset_id_fails | |
| test_withdraw_but_different_input_note_2_asset_id_fails | |
| test_0_input_notes_and_detect_circuit_change | |
| test_0_input_notes_create_dupicate_output_notes_fails | |
| test_0_input_notes_create_dupicate_output_notes_fails_2 | |
| test_dummy_input_note_1_non_0_value_fails | |
| test_dummy_input_note_2_non_0_value_fails | |
| test_1_input_note | |
| test_1_input_note_with_num_input_notes_as_0 | |
| test_2_input_notes | |
| test_0_output_notes | |
| test_allow_chain_out_of_range_fails | |
| test_unrelated_backward_link_fails | |
| test_propagated_input_note1_no_double_spend | |
| test_max_public_input | |
| test_overflow_public_value_fails | |
| test_non_zero_tx_fee | |
| test_non_zero_tx_fee_zero_public_values | |
| test_max_tx_fee | |
| test_overflow_tx_fee_fails | |
| test_total_output_value_larger_than_total_input_value_fails | |
| test_different_input_note_owners_fails | |
| test_different_input_note_account_requireds_fails | |
| test_spend_notes_with_registered_account | |
| test_different_note_account_required_vs_account_required_fails | |
| test_wrong_input_note_owner_fails | |
| test_random_output_note_owners | |
| test_tainted_output_owner_fails | |
| test_wrong_account_private_key_fails | |
| test_wrong_public_owner_sig_fail | |
| test_spend_notes_with_signing_key_when_account_required_is_false_fails | |
| test_spend_registered_notes_with_owner_key_fails | |
| test_wrong_alias_hash_fails | |
| test_nonregistered_signing_key_fails | |
| test_wrong_merkle_root_fails | |
| test_wrong_note_hash_path_fails | |
| test_wrong_leaf_index_fails | |
| test_incorrect_input_nullifier_in_output_note_1_fails | |
| test_incorrect_input_nullifier_in_output_note_2_fails | |
| test_defi_deposit_one_virtual_input | |
| test_defi_deposit_one_real_one_virtual_inputs | |
| test_defi_deposit_one_virtual_one_real_inputs | |
| test_defi_deposit_one_real_one_virtual_inputs_same_asset_ids | |
| test_defi_deposit_two_real_inputs_different_asset_ids | |
| test_defi_deposit_two_virtual_inputs_different_asset_ids | |
| test_defi_deposit_two_virtual_inputs_different_asset_ids_and_input_note_2_gt_defi_deposit_fails | |
| test_defi_deposit_two_real_inputs_different_asset_ids_and_input_note_2_gt_defi_deposit_fails | |
| test_defi_deposit_two_real_inputs_different_asset_ids_and_input_note_2_lt_defi_deposit_fails | |
| test_defi_invalid_tx_fee_asset_id_fails | |
| test_defi_deposit_of_zero_fails | |
| test_defi_non_zero_output_note_1_ignored | |
| test_defi_allow_chain_1_fails | |
| test_defi_deposit_incorrect_input_nullifier_in_partial_claim_note_fails | |
| test_defi_deposit_bridge_call_data_second_bridge_input_nonzero_but_not_in_use_fails | |
| test_defi_deposit_bridge_call_data_second_bridge_output_nonzero_but_not_in_use_fails | |
| test_defi_deposit_second_bridge_input_in_use_but_same_bridge_input_asset_ids_fails | |
| test_defi_deposit_second_bridge_output_in_use_and_same_virtual_bridge_output_asset_ids | |
| test_defi_deposit_second_bridge_output_in_use_but_same_real_bridge_output_asset_ids_fails | |
| test_defi_deposit_first_bridge_output_asset_id_virtual_but_incorrect_placeholder_value_fails | |
| test_defi_deposit_second_bridge_output_asset_id_virtual_but_incorrect_placeholder_value_fails | |
| test_defi_wrong_first_asset_id_in_bridge_call_data_fails | |
| test_defi_bridge_call_data_config_second_input_in_use_but_input_note_2_not_in_use_fails | |
| test_defi_missing_second_asset_in_bridge_call_data_fails | |
| test_defi_wrong_second_asset_id_in_bridge_call_data_fails | |
| test_repayment_logic | |
| test_virtual_note_repay_different_asset_id_fail | |
| test_real_input_value_lt_virtual_input_value_fails | |
| test_send_two_virtual_notes | |
| test_send_one_virtual_note | |
| test_send_two_virtual_notes_nonzero_public_value_fails | |
| test_send_two_virtual_inputs_different_asset_ids_fails | |
| test_send_two_virtual_inputs_different_fee_asset_id_fails | |
| test_non_zero_output_note_creator_pubkey_x | |
| test_incorrect_output_note_creator_pubkey_x | |
| test_deposit_construct_proof | |
| test_withdraw_full_proof | |
| test_private_send_full_proof | |
| test_defi_deposit_full_proof | |
| test_repayment_full_proof | |
| test_send_two_virtual_notes_full_proof | |
| serialized_proving_key_size | |
| join_split_js_parity_tests. | |
| test_full_proof | |
| client_proofs_join_split_tx. | |
| test_serialization | |
| join_split_tests/test_valid_allow_chain_permutations. | |
| 0 # GetParam() = 0 | |
| 1 # GetParam() = 1 | |
| 2 # GetParam() = 2 | |
| 3 # GetParam() = 3 | |
| join_split_tests/test_allow_chain_to_other_users_fail. | |
| 0 # GetParam() = 1 | |
| 1 # GetParam() = 2 | |
| join_split_tests/test_propagated_notes_skip_membership_check. | |
| 0 # GetParam() = 1 | |
| 1 # GetParam() = 2 | |
| Listing tests from ./build/bin/join_split_example_proofs_notes_tests | |
| compute_nullifier_circuit. | |
| native_consistency | |
| value_note. | |
| commits | |
| commits_with_0_value | |
| commit_with_oversized_asset_id_fails | |
| Listing tests from ./build/bin/numeric_tests | |
| bitop. | |
| clz_uint32_31 | |
| clz_uint32_0 | |
| clz_uint64_0 | |
| clz_size_t | |
| clz_uint256_255 | |
| clz_uint256_248 | |
| get_msb_uint64_0_value | |
| get_msb_uint32_0 | |
| get_msb_uint32_31 | |
| get_msb_uint64_63 | |
| get_msb_size_t_7 | |
| engine. | |
| get_random_uint64 | |
| reset_debug_engine | |
| get_expected_debug_value | |
| uint256. | |
| get_bit | |
| add | |
| get_msb | |
| mul | |
| div_and_mod | |
| sub | |
| right_shift | |
| left_shift | |
| and | |
| or | |
| xor | |
| bit_not | |
| logic_not | |
| equality | |
| not_equal | |
| greater_than | |
| greater_than_or_equal | |
| to_from_buffer | |
| uintx. | |
| get_bit | |
| mul | |
| div_and_mod | |
| DISABLED_mulmod | |
| sub | |
| and | |
| or | |
| xor | |
| bit_not | |
| logic_not | |
| not_equal | |
| DISABLED_invmod | |
| invmod_regression_check | |
| DISABLED_r_inv | |
| Listing tests from ./build/bin/plonk_tests | |
| standard_plonk_composer_splitting_tmp. | |
| base_case | |
| composer_from_serialized_keys | |
| test_add_gate_proofs | |
| test_mul_gate_proofs | |
| range_constraint | |
| range_constraint_fail | |
| and_constraint | |
| xor_constraint | |
| big_add_gate_with_bit_extract | |
| test_range_constraint_fail | |
| test_check_circuit_correct | |
| test_check_circuit_broken | |
| turbo_plonk_composer_splitting_tmp. | |
| base_case | |
| composer_from_serialized_keys | |
| test_add_gate_proofs | |
| test_mul_gate_proofs | |
| small_scalar_multipliers | |
| large_scalar_multipliers | |
| range_constraint | |
| range_constraint_fail | |
| and_constraint_failure | |
| and_constraint | |
| xor_constraint_failure | |
| xor_constraint | |
| big_add_gate_with_bit_extract | |
| validate_copy_constraints | |
| test_check_circuit_add_gate_proofs_correct | |
| test_check_circuit_add_gate_proofs_broken | |
| test_check_circuit_mul_gate_proofs_correct | |
| test_check_circuit_mul_gate_proofs_broken | |
| test_check_circuit_fixed_group | |
| test_check_circuit_range_constraint | |
| test_check_circuit_xor | |
| ultra_plonk_composer_splitting_tmp. | |
| create_gates_from_plookup_accumulators | |
| test_no_lookup_proof | |
| test_elliptic_gate | |
| non_trivial_tag_permutation | |
| non_trivial_tag_permutation_and_cycles | |
| bad_tag_permutation | |
| bad_tag_turbo_permutation | |
| sort_widget | |
| sort_with_edges_gate | |
| range_constraint | |
| range_with_gates | |
| range_with_gates_where_range_is_not_a_power_of_two | |
| sort_widget_complex | |
| sort_widget_neg | |
| composed_range_constraint | |
| non_native_field_multiplication | |
| rom | |
| ram | |
| standard_composer. | |
| base_case | |
| composer_from_serialized_keys | |
| test_add_gate_proofs | |
| test_mul_gate_proofs | |
| range_constraint | |
| range_constraint_fail | |
| and_constraint | |
| xor_constraint | |
| big_add_gate_with_bit_extract | |
| test_composer | |
| test_range_constraint_fail | |
| test_check_circuit_correct | |
| test_check_circuit_broken | |
| turbo_composer. | |
| base_case | |
| composer_from_serialized_keys | |
| test_add_gate_proofs | |
| test_mul_gate_proofs | |
| small_scalar_multipliers | |
| large_scalar_multipliers | |
| range_constraint | |
| range_constraint_fail | |
| and_constraint_failure | |
| and_constraint | |
| xor_constraint_failure | |
| xor_constraint | |
| big_add_gate_with_bit_extract | |
| validate_copy_constraints | |
| test_check_circuit_add_gate_proofs_correct | |
| test_check_circuit_add_gate_proofs_broken | |
| test_check_circuit_mul_gate_proofs_correct | |
| test_check_circuit_mul_gate_proofs_broken | |
| test_check_circuit_fixed_group | |
| test_check_circuit_range_constraint | |
| test_check_circuit_xor | |
| ultra_composer/0. # TypeParam = proof_system::plonk::test_ultra_composer::UseKeccak32Bytes | |
| create_gates_from_plookup_accumulators | |
| test_no_lookup_proof | |
| test_elliptic_gate | |
| non_trivial_tag_permutation | |
| non_trivial_tag_permutation_and_cycles | |
| bad_tag_permutation | |
| bad_tag_turbo_permutation | |
| sort_widget | |
| sort_with_edges_gate | |
| range_constraint | |
| range_with_gates | |
| range_with_gates_where_range_is_not_a_power_of_two | |
| sort_widget_complex | |
| sort_widget_neg | |
| composed_range_constraint | |
| non_native_field_multiplication | |
| rom | |
| ram | |
| range_checks_on_duplicates | |
| ultra_composer/1. # TypeParam = proof_system::plonk::test_ultra_composer::UsePlookupPedersen16Bytes | |
| create_gates_from_plookup_accumulators | |
| test_no_lookup_proof | |
| test_elliptic_gate | |
| non_trivial_tag_permutation | |
| non_trivial_tag_permutation_and_cycles | |
| bad_tag_permutation | |
| bad_tag_turbo_permutation | |
| sort_widget | |
| sort_with_edges_gate | |
| range_constraint | |
| range_with_gates | |
| range_with_gates_where_range_is_not_a_power_of_two | |
| sort_widget_complex | |
| sort_widget_neg | |
| composed_range_constraint | |
| non_native_field_multiplication | |
| rom | |
| ram | |
| range_checks_on_duplicates | |
| ultra_composer. | |
| range_constraint_small_variable | |
| commitment_scheme. | |
| kate_open | |
| kate_batch_open | |
| prover. | |
| compute_quotient_polynomial | |
| proving_key. | |
| proving_key_from_serialized_key | |
| proving_key_from_serialized_key_ultra | |
| proving_key_from_mmaped_key | |
| test_public_inputs. | |
| compute_delta | |
| verification_key. | |
| buffer_serialization | |
| stream_serialization | |
| basic_compression_equality | |
| compression_inequality_index_mismatch | |
| compression_inequality_composer_type | |
| compression_inequality_different_circuit_size | |
| compression_inequality_different_num_public_inputs | |
| compression_inequality_different_commitments | |
| compression_inequality_different_num_commitments | |
| compression_equality_different_contains_recursive_proof | |
| compression_equality_different_recursive_proof_public_input_indices | |
| verifier. | |
| verify_arithmetic_proof_small | |
| verify_arithmetic_proof | |
| verify_damaged_proof | |
| Listing tests from ./build/bin/polynomials_tests | |
| polynomials. | |
| evaluation_domain | |
| domain_roots | |
| evaluation_domain_roots | |
| fft_with_small_degree | |
| split_polynomial_fft | |
| split_polynomial_evaluate | |
| basic_fft | |
| fft_ifft_consistency | |
| split_polynomial_fft_ifft_consistency | |
| fft_coset_ifft_consistency | |
| split_polynomial_fft_coset_ifft_consistency | |
| fft_coset_ifft_cross_consistency | |
| compute_lagrange_polynomial_fft | |
| compute_lagrange_polynomial_fft_large_domain | |
| divide_by_pseudo_vanishing_polynomial | |
| compute_kate_opening_coefficients | |
| get_lagrange_evaluations | |
| barycentric_weight_evaluations | |
| divide_by_vanishing_polynomial | |
| partial_fft_serial | |
| partial_fft_parallel | |
| partial_coset_fft_output | |
| partial_coset_fft | |
| partial_coset_fft_evaluation | |
| linear_poly_product | |
| fft_linear_poly_product | |
| compute_interpolation | |
| compute_efficient_interpolation | |
| interpolation_constructor_single | |
| interpolation_constructor | |
| evaluate_mle | |
| factor_roots | |
| move_construct_and_assign | |
| default_construct_then_assign | |
| Listing tests from ./build/bin/proof_system_tests | |
| standard_circuit_constructor. | |
| base_case | |
| test_add_gate | |
| test_mul_gate_proofs | |
| range_constraint | |
| range_constraint_fail | |
| and_constraint | |
| xor_constraint | |
| big_add_gate_with_bit_extract | |
| test_range_constraint_fail | |
| test_check_circuit_correct | |
| test_check_circuit_broken | |
| turbo_circuit_constructor. | |
| base_case | |
| test_add_gate_proofs | |
| test_mul_gate_proofs | |
| small_scalar_multipliers | |
| large_scalar_multipliers | |
| range_constraint | |
| range_constraint_fail | |
| and_constraint_failure | |
| and_constraint | |
| xor_constraint_failure | |
| xor_constraint | |
| big_add_gate_with_bit_extract | |
| ultra_circuit_constructor. | |
| create_gates_from_plookup_accumulators | |
| base_case | |
| test_no_lookup_proof | |
| test_elliptic_gate | |
| non_trivial_tag_permutation | |
| non_trivial_tag_permutation_and_cycles | |
| bad_tag_permutation | |
| sort_widget | |
| sort_with_edges_gate | |
| range_constraint | |
| range_with_gates | |
| range_with_gates_where_range_is_not_a_power_of_two | |
| sort_widget_complex | |
| sort_widget_neg | |
| composed_range_constraint | |
| non_native_field_multiplication | |
| rom | |
| ram | |
| range_checks_on_duplicates | |
| check_circuit_showcase | |
| ComposerLibTests. | |
| InitializeProvingKey | |
| ConstructSelectors | |
| EnforceNonzeroSelectors | |
| ConstructWitnessPolynomialsBase | |
| PermutationHelperTests. | |
| ComputeWireCopyCycles | |
| ComputePermutationMapping | |
| ComputeHonkStyleSigmaLagrangePolynomialsFromMapping | |
| ComputeStandardAuxPolynomials | |
| PolynomialStore. | |
| PutThenGet | |
| NonexistentKey | |
| Volume | |
| Remove | |
| RangeBasedFor | |
| Listing tests from ./build/bin/serialize-tests_tests | |
| msgpack_tests. | |
| msgpack_sanity_sanity | |
| msgpack_schema_sanity | |
| Listing tests from ./build/bin/srs_tests | |
| io. | |
| read_transcript_loads_well_formed_srs | |
| reference_string. | |
| env_file_consistency | |
| mem_file_consistency | |
| Listing tests from ./build/bin/stdlib_aes128_tests | |
| stdlib_aes128. | |
| encrypt_64_bytes | |
| Listing tests from ./build/bin/stdlib_blake2s_tests | |
| stdlib_blake2s. | |
| test_single_block | |
| test_single_block_plookup | |
| test_double_block | |
| test_double_block_plookup | |
| Listing tests from ./build/bin/stdlib_blake3s_tests | |
| stdlib_blake3s. | |
| test_single_block | |
| test_single_block_plookup | |
| test_double_block | |
| test_double_block_plookup | |
| Listing tests from ./build/bin/stdlib_ecdsa_tests | |
| stdlib_ecdsa. | |
| verify_signature | |
| verify_signature_noassert_succeed | |
| verify_signature_noassert_fail | |
| Listing tests from ./build/bin/stdlib_keccak_tests | |
| stdlib_keccak. | |
| keccak_format_input_table | |
| keccak_format_output_table | |
| keccak_theta_output_table | |
| keccak_rho_output_table | |
| keccak_chi_output_table | |
| test_format_input_lanes | |
| test_single_block | |
| test_double_block | |
| test_double_block_variable_length | |
| Listing tests from ./build/bin/stdlib_merkle_tree_tests | |
| stdlib_merkle_tree_hash. | |
| compress_native_vs_circuit | |
| compute_tree_root_native_vs_circuit | |
| compute_tree_native | |
| stdlib_merkle_tree. | |
| test_check_membership | |
| test_batch_update_membership | |
| test_assert_check_membership | |
| test_assert_check_membership_fail | |
| test_update_members | |
| test_tree | |
| test_update_memberships | |
| test_memory_store | |
| test_memory_store_sibling_path | |
| test_kv_memory_vs_memory_consistency | |
| test_size | |
| test_get_hash_path | |
| test_get_hash_path_layers | |
| crypto_nullifier_tree. | |
| test_nullifier_memory | |
| test_nullifier_memory_appending_zero | |
| test_nullifier_tree | |
| stdlib_nullifier_tree. | |
| test_kv_memory_vs_memory_consistency | |
| test_size | |
| test_get_hash_path | |
| test_get_hash_path_layers | |
| Listing tests from ./build/bin/stdlib_pedersen_commitment_tests | |
| stdlib_pedersen/0. # TypeParam = proof_system::plonk::UltraComposer | |
| small | |
| edge_cases | |
| large | |
| compress_byte_array | |
| multi_compress | |
| compress_eight | |
| compress_constants | |
| stdlib_pedersen/1. # TypeParam = proof_system::plonk::TurboComposer | |
| small | |
| edge_cases | |
| large | |
| compress_byte_array | |
| multi_compress | |
| compress_eight | |
| compress_constants | |
| stdlib_pedersen/2. # TypeParam = proof_system::plonk::StandardComposer | |
| small | |
| edge_cases | |
| large | |
| compress_byte_array | |
| multi_compress | |
| compress_eight | |
| compress_constants | |
| stdlib_pedersen. | |
| test_pedersen_plookup | |
| test_compress_many_plookup | |
| test_merkle_damgard_compress_plookup | |
| test_merkle_damgard_compress_multiple_iv_plookup | |
| test_merkle_damgard_tree_compress_plookup | |
| Listing tests from ./build/bin/stdlib_primitives_tests | |
| stdlib_bigfield/0. # TypeParam = proof_system::plonk::UltraComposer | |
| badmul | |
| mul | |
| sqr | |
| mult_madd | |
| dual_madd | |
| div_without_denominator_check | |
| add_and_div | |
| add_and_mul | |
| add_and_mul_with_constants | |
| sub_and_mul | |
| msub_div | |
| conditional_negate | |
| group_operations | |
| reduce | |
| assert_is_in_field_succes | |
| byte_array_constructors | |
| quotient_completeness_regression | |
| conditional_select_regression | |
| division_context | |
| stdlib_bigfield/1. # TypeParam = proof_system::plonk::TurboComposer | |
| badmul | |
| mul | |
| sqr | |
| mult_madd | |
| dual_madd | |
| div_without_denominator_check | |
| add_and_div | |
| add_and_mul | |
| add_and_mul_with_constants | |
| sub_and_mul | |
| msub_div | |
| conditional_negate | |
| group_operations | |
| reduce | |
| assert_is_in_field_succes | |
| byte_array_constructors | |
| quotient_completeness_regression | |
| conditional_select_regression | |
| division_context | |
| stdlib_bigfield/2. # TypeParam = proof_system::plonk::StandardComposer | |
| badmul | |
| mul | |
| sqr | |
| mult_madd | |
| dual_madd | |
| div_without_denominator_check | |
| add_and_div | |
| add_and_mul | |
| add_and_mul_with_constants | |
| sub_and_mul | |
| msub_div | |
| conditional_negate | |
| group_operations | |
| reduce | |
| assert_is_in_field_succes | |
| byte_array_constructors | |
| quotient_completeness_regression | |
| conditional_select_regression | |
| division_context | |
| stdlib_bigfield/3. # TypeParam = proof_system::honk::StandardHonkComposer | |
| badmul | |
| mul | |
| sqr | |
| mult_madd | |
| dual_madd | |
| div_without_denominator_check | |
| add_and_div | |
| add_and_mul | |
| add_and_mul_with_constants | |
| sub_and_mul | |
| msub_div | |
| conditional_negate | |
| group_operations | |
| reduce | |
| assert_is_in_field_succes | |
| byte_array_constructors | |
| quotient_completeness_regression | |
| conditional_select_regression | |
| division_context | |
| stdlib_bigfield/4. # TypeParam = proof_system::plonk::StandardPlonkComposer | |
| badmul | |
| mul | |
| sqr | |
| mult_madd | |
| dual_madd | |
| div_without_denominator_check | |
| add_and_div | |
| add_and_mul | |
| add_and_mul_with_constants | |
| sub_and_mul | |
| msub_div | |
| conditional_negate | |
| group_operations | |
| reduce | |
| assert_is_in_field_succes | |
| byte_array_constructors | |
| quotient_completeness_regression | |
| conditional_select_regression | |
| division_context | |
| stdlib_biggroup/0. # TypeParam = test_stdlib_biggroup::TestType<proof_system::plonk::stdlib::bn254<proof_system::honk::StandardHonkComposer>, false> | |
| add | |
| sub | |
| dbl | |
| montgomery_ladder | |
| mul | |
| twin_mul | |
| triple_mul | |
| quad_mul | |
| one | |
| batch_mul | |
| chain_add | |
| multiple_montgomery_ladder | |
| compute_naf | |
| wnaf_batch_mul | |
| compute_wnaf | |
| batch_mul_short_scalars | |
| wnaf_batch_mul_128_bit | |
| wnaf_batch_4 | |
| bn254_endo_batch_mul | |
| mixed_mul_bn254_endo | |
| wnaf_secp256k1 | |
| wnaf_8bit_secp256k1 | |
| ecdsa_mul_secp256k1 | |
| stdlib_biggroup/1. # TypeParam = test_stdlib_biggroup::TestType<proof_system::plonk::stdlib::bn254<proof_system::plonk::StandardComposer>, false> | |
| add | |
| sub | |
| dbl | |
| montgomery_ladder | |
| mul | |
| twin_mul | |
| triple_mul | |
| quad_mul | |
| one | |
| batch_mul | |
| chain_add | |
| multiple_montgomery_ladder | |
| compute_naf | |
| wnaf_batch_mul | |
| compute_wnaf | |
| batch_mul_short_scalars | |
| wnaf_batch_mul_128_bit | |
| wnaf_batch_4 | |
| bn254_endo_batch_mul | |
| mixed_mul_bn254_endo | |
| wnaf_secp256k1 | |
| wnaf_8bit_secp256k1 | |
| ecdsa_mul_secp256k1 | |
| stdlib_biggroup/2. # TypeParam = test_stdlib_biggroup::TestType<proof_system::plonk::stdlib::bn254<proof_system::plonk::UltraComposer>, true> | |
| add | |
| sub | |
| dbl | |
| montgomery_ladder | |
| mul | |
| twin_mul | |
| triple_mul | |
| quad_mul | |
| one | |
| batch_mul | |
| chain_add | |
| multiple_montgomery_ladder | |
| compute_naf | |
| wnaf_batch_mul | |
| compute_wnaf | |
| batch_mul_short_scalars | |
| wnaf_batch_mul_128_bit | |
| wnaf_batch_4 | |
| bn254_endo_batch_mul | |
| mixed_mul_bn254_endo | |
| wnaf_secp256k1 | |
| wnaf_8bit_secp256k1 | |
| ecdsa_mul_secp256k1 | |
| stdlib_biggroup/3. # TypeParam = test_stdlib_biggroup::TestType<proof_system::plonk::stdlib::secp256k1<proof_system::plonk::UltraComposer>, true> | |
| add | |
| sub | |
| dbl | |
| montgomery_ladder | |
| mul | |
| twin_mul | |
| triple_mul | |
| quad_mul | |
| one | |
| batch_mul | |
| chain_add | |
| multiple_montgomery_ladder | |
| compute_naf | |
| wnaf_batch_mul | |
| compute_wnaf | |
| batch_mul_short_scalars | |
| wnaf_batch_mul_128_bit | |
| wnaf_batch_4 | |
| bn254_endo_batch_mul | |
| mixed_mul_bn254_endo | |
| wnaf_secp256k1 | |
| wnaf_8bit_secp256k1 | |
| ecdsa_mul_secp256k1 | |
| BitArrayTest/0. # TypeParam = proof_system::honk::StandardHonkComposer | |
| test_uint32_input_output_consistency | |
| test_binary_input_output_consistency | |
| test_string_input_output_consistency | |
| test_byte_array_conversion | |
| test_uint32_vector_constructor | |
| BitArrayTest/1. # TypeParam = proof_system::plonk::StandardComposer | |
| test_uint32_input_output_consistency | |
| test_binary_input_output_consistency | |
| test_string_input_output_consistency | |
| test_byte_array_conversion | |
| test_uint32_vector_constructor | |
| BitArrayTest/2. # TypeParam = proof_system::plonk::TurboComposer | |
| test_uint32_input_output_consistency | |
| test_binary_input_output_consistency | |
| test_string_input_output_consistency | |
| test_byte_array_conversion | |
| test_uint32_vector_constructor | |
| BitArrayTest/3. # TypeParam = proof_system::plonk::UltraComposer | |
| test_uint32_input_output_consistency | |
| test_binary_input_output_consistency | |
| test_string_input_output_consistency | |
| test_byte_array_conversion | |
| test_uint32_vector_constructor | |
| BoolTest/0. # TypeParam = proof_system::honk::StandardHonkComposer | |
| TestBasicOperations | |
| Xor | |
| XorConstants | |
| XorTwinConstants | |
| LogicalAnd | |
| And | |
| AndConstants | |
| or | |
| OrConstants | |
| Eq | |
| Implies | |
| ImpliesBothWays | |
| MustImply | |
| MustImplyFails | |
| MustImplyMultiple | |
| MustImplyMultipleFails | |
| ConditionalAssign | |
| TestSimpleProof | |
| Normalize | |
| BoolTest/1. # TypeParam = proof_system::plonk::StandardComposer | |
| TestBasicOperations | |
| Xor | |
| XorConstants | |
| XorTwinConstants | |
| LogicalAnd | |
| And | |
| AndConstants | |
| or | |
| OrConstants | |
| Eq | |
| Implies | |
| ImpliesBothWays | |
| MustImply | |
| MustImplyFails | |
| MustImplyMultiple | |
| MustImplyMultipleFails | |
| ConditionalAssign | |
| TestSimpleProof | |
| Normalize | |
| BoolTest/2. # TypeParam = proof_system::plonk::TurboComposer | |
| TestBasicOperations | |
| Xor | |
| XorConstants | |
| XorTwinConstants | |
| LogicalAnd | |
| And | |
| AndConstants | |
| or | |
| OrConstants | |
| Eq | |
| Implies | |
| ImpliesBothWays | |
| MustImply | |
| MustImplyFails | |
| MustImplyMultiple | |
| MustImplyMultipleFails | |
| ConditionalAssign | |
| TestSimpleProof | |
| Normalize | |
| BoolTest/3. # TypeParam = proof_system::plonk::UltraComposer | |
| TestBasicOperations | |
| Xor | |
| XorConstants | |
| XorTwinConstants | |
| LogicalAnd | |
| And | |
| AndConstants | |
| or | |
| OrConstants | |
| Eq | |
| Implies | |
| ImpliesBothWays | |
| MustImply | |
| MustImplyFails | |
| MustImplyMultiple | |
| MustImplyMultipleFails | |
| ConditionalAssign | |
| TestSimpleProof | |
| Normalize | |
| ByteArrayTest/0. # TypeParam = proof_system::honk::StandardHonkComposer | |
| test_reverse | |
| test_string_constructor | |
| test_ostream_operator | |
| test_byte_array_input_output_consistency | |
| get_bit | |
| set_bit | |
| ByteArrayTest/1. # TypeParam = proof_system::plonk::StandardComposer | |
| test_reverse | |
| test_string_constructor | |
| test_ostream_operator | |
| test_byte_array_input_output_consistency | |
| get_bit | |
| set_bit | |
| ByteArrayTest/2. # TypeParam = proof_system::plonk::TurboComposer | |
| test_reverse | |
| test_string_constructor | |
| test_ostream_operator | |
| test_byte_array_input_output_consistency | |
| get_bit | |
| set_bit | |
| ByteArrayTest/3. # TypeParam = proof_system::plonk::UltraComposer | |
| test_reverse | |
| test_string_constructor | |
| test_ostream_operator | |
| test_byte_array_input_output_consistency | |
| get_bit | |
| set_bit | |
| stdlib_array/0. # TypeParam = proof_system::plonk::UltraComposer | |
| test_array_length | |
| test_array_length_null | |
| test_array_length_fails | |
| test_array_pop | |
| test_array_pop_from_empty | |
| test_array_push | |
| test_array_push_optional | |
| test_array_push_generic | |
| test_array_push_generic_full | |
| test_pata_large_bench | |
| test_pata_same_size_not_full_to_not_full | |
| test_pata_same_size_not_full_to_not_full_2 | |
| test_pata_same_size_not_full_to_empty | |
| test_pata_smaller_source_full_to_not_full | |
| test_pata_null_source | |
| test_pata_null_target_fails | |
| test_pata_singletons_full_to_not_full | |
| test_pata_singletons_not_full_to_full | |
| test_pata_singletons_full_to_full | |
| test_pata_same_size_full_to_full_fails | |
| test_pata_nonzero_after_zero_source_fails | |
| test_pata_nonzero_after_zero_source_fails_2 | |
| test_pata_nonzero_after_zero_target_fails | |
| test_pata_nonzero_after_zero_target_fails_2 | |
| stdlib_array/1. # TypeParam = proof_system::plonk::TurboComposer | |
| test_array_length | |
| test_array_length_null | |
| test_array_length_fails | |
| test_array_pop | |
| test_array_pop_from_empty | |
| test_array_push | |
| test_array_push_optional | |
| test_array_push_generic | |
| test_array_push_generic_full | |
| test_pata_large_bench | |
| test_pata_same_size_not_full_to_not_full | |
| test_pata_same_size_not_full_to_not_full_2 | |
| test_pata_same_size_not_full_to_empty | |
| test_pata_smaller_source_full_to_not_full | |
| test_pata_null_source | |
| test_pata_null_target_fails | |
| test_pata_singletons_full_to_not_full | |
| test_pata_singletons_not_full_to_full | |
| test_pata_singletons_full_to_full | |
| test_pata_same_size_full_to_full_fails | |
| test_pata_nonzero_after_zero_source_fails | |
| test_pata_nonzero_after_zero_source_fails_2 | |
| test_pata_nonzero_after_zero_target_fails | |
| test_pata_nonzero_after_zero_target_fails_2 | |
| stdlib_array/2. # TypeParam = proof_system::plonk::StandardComposer | |
| test_array_length | |
| test_array_length_null | |
| test_array_length_fails | |
| test_array_pop | |
| test_array_pop_from_empty | |
| test_array_push | |
| test_array_push_optional | |
| test_array_push_generic | |
| test_array_push_generic_full | |
| test_pata_large_bench | |
| test_pata_same_size_not_full_to_not_full | |
| test_pata_same_size_not_full_to_not_full_2 | |
| test_pata_same_size_not_full_to_empty | |
| test_pata_smaller_source_full_to_not_full | |
| test_pata_null_source | |
| test_pata_null_target_fails | |
| test_pata_singletons_full_to_not_full | |
| test_pata_singletons_not_full_to_full | |
| test_pata_singletons_full_to_full | |
| test_pata_same_size_full_to_full_fails | |
| test_pata_nonzero_after_zero_source_fails | |
| test_pata_nonzero_after_zero_source_fails_2 | |
| test_pata_nonzero_after_zero_target_fails | |
| test_pata_nonzero_after_zero_target_fails_2 | |
| stdlib_array/3. # TypeParam = proof_system::honk::StandardHonkComposer | |
| test_array_length | |
| test_array_length_null | |
| test_array_length_fails | |
| test_array_pop | |
| test_array_pop_from_empty | |
| test_array_push | |
| test_array_push_optional | |
| test_array_push_generic | |
| test_array_push_generic_full | |
| test_pata_large_bench | |
| test_pata_same_size_not_full_to_not_full | |
| test_pata_same_size_not_full_to_not_full_2 | |
| test_pata_same_size_not_full_to_empty | |
| test_pata_smaller_source_full_to_not_full | |
| test_pata_null_source | |
| test_pata_null_target_fails | |
| test_pata_singletons_full_to_not_full | |
| test_pata_singletons_not_full_to_full | |
| test_pata_singletons_full_to_full | |
| test_pata_same_size_full_to_full_fails | |
| test_pata_nonzero_after_zero_source_fails | |
| test_pata_nonzero_after_zero_source_fails_2 | |
| test_pata_nonzero_after_zero_target_fails | |
| test_pata_nonzero_after_zero_target_fails_2 | |
| stdlib_field/0. # TypeParam = proof_system::plonk::UltraComposer | |
| test_create_range_constraint | |
| test_assert_equal | |
| test_add_mul_with_constants | |
| test_div | |
| test_postfix_increment | |
| test_prefix_increment | |
| test_field_fibbonaci | |
| test_field_pythagorean | |
| test_equality | |
| test_equality_false | |
| test_equality_with_constants | |
| test_larger_circuit | |
| is_zero | |
| madd | |
| two_bit_table | |
| test_slice | |
| test_slice_equal_msb_lsb | |
| test_slice_random | |
| three_bit_table | |
| decompose_into_bits | |
| test_assert_is_in_set | |
| test_assert_is_in_set_fails | |
| test_pow | |
| test_pow_zero | |
| test_pow_one | |
| test_pow_both_constant | |
| test_pow_base_constant | |
| test_pow_exponent_constant | |
| test_pow_exponent_out_of_range | |
| test_copy_as_new_witness | |
| test_ranged_less_than | |
| stdlib_field/1. # TypeParam = proof_system::plonk::TurboComposer | |
| test_create_range_constraint | |
| test_assert_equal | |
| test_add_mul_with_constants | |
| test_div | |
| test_postfix_increment | |
| test_prefix_increment | |
| test_field_fibbonaci | |
| test_field_pythagorean | |
| test_equality | |
| test_equality_false | |
| test_equality_with_constants | |
| test_larger_circuit | |
| is_zero | |
| madd | |
| two_bit_table | |
| test_slice | |
| test_slice_equal_msb_lsb | |
| test_slice_random | |
| three_bit_table | |
| decompose_into_bits | |
| test_assert_is_in_set | |
| test_assert_is_in_set_fails | |
| test_pow | |
| test_pow_zero | |
| test_pow_one | |
| test_pow_both_constant | |
| test_pow_base_constant | |
| test_pow_exponent_constant | |
| test_pow_exponent_out_of_range | |
| test_copy_as_new_witness | |
| test_ranged_less_than | |
| stdlib_field/2. # TypeParam = proof_system::plonk::StandardComposer | |
| test_create_range_constraint | |
| test_assert_equal | |
| test_add_mul_with_constants | |
| test_div | |
| test_postfix_increment | |
| test_prefix_increment | |
| test_field_fibbonaci | |
| test_field_pythagorean | |
| test_equality | |
| test_equality_false | |
| test_equality_with_constants | |
| test_larger_circuit | |
| is_zero | |
| madd | |
| two_bit_table | |
| test_slice | |
| test_slice_equal_msb_lsb | |
| test_slice_random | |
| three_bit_table | |
| decompose_into_bits | |
| test_assert_is_in_set | |
| test_assert_is_in_set_fails | |
| test_pow | |
| test_pow_zero | |
| test_pow_one | |
| test_pow_both_constant | |
| test_pow_base_constant | |
| test_pow_exponent_constant | |
| test_pow_exponent_out_of_range | |
| test_copy_as_new_witness | |
| test_ranged_less_than | |
| stdlib_field/3. # TypeParam = proof_system::honk::StandardHonkComposer | |
| test_create_range_constraint | |
| test_assert_equal | |
| test_add_mul_with_constants | |
| test_div | |
| test_postfix_increment | |
| test_prefix_increment | |
| test_field_fibbonaci | |
| test_field_pythagorean | |
| test_equality | |
| test_equality_false | |
| test_equality_with_constants | |
| test_larger_circuit | |
| is_zero | |
| madd | |
| two_bit_table | |
| test_slice | |
| test_slice_equal_msb_lsb | |
| test_slice_random | |
| three_bit_table | |
| decompose_into_bits | |
| test_assert_is_in_set | |
| test_assert_is_in_set_fails | |
| test_pow | |
| test_pow_zero | |
| test_pow_one | |
| test_pow_both_constant | |
| test_pow_base_constant | |
| test_pow_exponent_constant | |
| test_pow_exponent_out_of_range | |
| test_copy_as_new_witness | |
| test_ranged_less_than | |
| GroupTest/0. # TypeParam = proof_system::honk::StandardHonkComposer | |
| TestFixedBaseScalarMul | |
| TestFixedBaseScalarMulZeroFails | |
| TestFixedBaseScalarMulWithTwoLimbs | |
| GroupTest/1. # TypeParam = proof_system::plonk::StandardComposer | |
| TestFixedBaseScalarMul | |
| TestFixedBaseScalarMulZeroFails | |
| TestFixedBaseScalarMulWithTwoLimbs | |
| GroupTest/2. # TypeParam = proof_system::plonk::TurboComposer | |
| TestFixedBaseScalarMul | |
| TestFixedBaseScalarMulZeroFails | |
| TestFixedBaseScalarMulWithTwoLimbs | |
| GroupTest/3. # TypeParam = proof_system::plonk::UltraComposer | |
| TestFixedBaseScalarMul | |
| TestFixedBaseScalarMulZeroFails | |
| TestFixedBaseScalarMulWithTwoLimbs | |
| LogicTest/0. # TypeParam = proof_system::honk::StandardHonkComposer | |
| TestCorrectLogic | |
| LargeOperands | |
| DifferentWitnessSameResult | |
| LogicTest/1. # TypeParam = proof_system::plonk::StandardComposer | |
| TestCorrectLogic | |
| LargeOperands | |
| DifferentWitnessSameResult | |
| LogicTest/2. # TypeParam = proof_system::plonk::TurboComposer | |
| TestCorrectLogic | |
| LargeOperands | |
| DifferentWitnessSameResult | |
| LogicTest/3. # TypeParam = proof_system::plonk::UltraComposer | |
| TestCorrectLogic | |
| LargeOperands | |
| DifferentWitnessSameResult | |
| DynamicArray. | |
| DynamicArrayReadWriteConsistency | |
| ram_table. | |
| ram_table_init_read_consistency | |
| ram_table_read_write_consistency | |
| rom_table. | |
| rom_table_read_write_consistency | |
| PackedByteArrayTest/0. # TypeParam = proof_system::honk::StandardHonkComposer | |
| string_constructor_and_get_value_consistency | |
| byte_array_constructor_consistency | |
| byte_array_cast_consistency | |
| TestUnverifiedByteSlices | |
| TestAppendUint8 | |
| TestAppendUint32 | |
| PackedByteArrayTest/1. # TypeParam = proof_system::plonk::StandardComposer | |
| string_constructor_and_get_value_consistency | |
| byte_array_constructor_consistency | |
| byte_array_cast_consistency | |
| TestUnverifiedByteSlices | |
| TestAppendUint8 | |
| TestAppendUint32 | |
| PackedByteArrayTest/2. # TypeParam = proof_system::plonk::TurboComposer | |
| string_constructor_and_get_value_consistency | |
| byte_array_constructor_consistency | |
| byte_array_cast_consistency | |
| TestUnverifiedByteSlices | |
| TestAppendUint8 | |
| TestAppendUint32 | |
| PackedByteArrayTest/3. # TypeParam = proof_system::plonk::UltraComposer | |
| string_constructor_and_get_value_consistency | |
| byte_array_constructor_consistency | |
| byte_array_cast_consistency | |
| TestUnverifiedByteSlices | |
| TestAppendUint8 | |
| TestAppendUint32 | |
| stdlib_plookup. | |
| pedersen_lookup_left | |
| pedersen_lookup_right | |
| uint32_xor | |
| blake2s_xor_rotate_16 | |
| blake2s_xor_rotate_8 | |
| blake2s_xor_rotate_7 | |
| blake2s_xor | |
| uint32_and | |
| secp256k1_generator | |
| SafeUintTest/0. # TypeParam = proof_system::honk::StandardHonkComposer | |
| TestConstructorWithValueOutOfRangeFails | |
| TestConstructorWithValueInRange | |
| TestMultiplyOperationOutOfRangeFails | |
| TestMultiplyOperationOnConstantsOutOfRangeFails | |
| TestAddOperationOutOfRangeFails | |
| TestSubtractMethod | |
| TestSubtractMethodMinuedGtLhsFails | |
| TestSubtractMethodUnderflowFails | |
| TestMinusOperator | |
| TestMinusOperatorUnderflowFails | |
| TestDivideMethod | |
| TestDivideMethodQuotientRangeTooSmallFails | |
| TestDivideRemainderTooLarge | |
| TestDivideMethodQuotientRemainderIncorrectFails | |
| TestDivideMethodQuotientRemainderModRFails | |
| TestDivOperator | |
| TestDivideOperator | |
| TestSlice | |
| TestSliceEqualMsbLsb | |
| TestSliceRandom | |
| TestOperatorDivRemainderConstraint | |
| TestDivRemainderConstraint | |
| TestByteArrayConversion | |
| SafeUintTest/1. # TypeParam = proof_system::plonk::StandardComposer | |
| TestConstructorWithValueOutOfRangeFails | |
| TestConstructorWithValueInRange | |
| TestMultiplyOperationOutOfRangeFails | |
| TestMultiplyOperationOnConstantsOutOfRangeFails | |
| TestAddOperationOutOfRangeFails | |
| TestSubtractMethod | |
| TestSubtractMethodMinuedGtLhsFails | |
| TestSubtractMethodUnderflowFails | |
| TestMinusOperator | |
| TestMinusOperatorUnderflowFails | |
| TestDivideMethod | |
| TestDivideMethodQuotientRangeTooSmallFails | |
| TestDivideRemainderTooLarge | |
| TestDivideMethodQuotientRemainderIncorrectFails | |
| TestDivideMethodQuotientRemainderModRFails | |
| TestDivOperator | |
| TestDivideOperator | |
| TestSlice | |
| TestSliceEqualMsbLsb | |
| TestSliceRandom | |
| TestOperatorDivRemainderConstraint | |
| TestDivRemainderConstraint | |
| TestByteArrayConversion | |
| SafeUintTest/2. # TypeParam = proof_system::plonk::TurboComposer | |
| TestConstructorWithValueOutOfRangeFails | |
| TestConstructorWithValueInRange | |
| TestMultiplyOperationOutOfRangeFails | |
| TestMultiplyOperationOnConstantsOutOfRangeFails | |
| TestAddOperationOutOfRangeFails | |
| TestSubtractMethod | |
| TestSubtractMethodMinuedGtLhsFails | |
| TestSubtractMethodUnderflowFails | |
| TestMinusOperator | |
| TestMinusOperatorUnderflowFails | |
| TestDivideMethod | |
| TestDivideMethodQuotientRangeTooSmallFails | |
| TestDivideRemainderTooLarge | |
| TestDivideMethodQuotientRemainderIncorrectFails | |
| TestDivideMethodQuotientRemainderModRFails | |
| TestDivOperator | |
| TestDivideOperator | |
| TestSlice | |
| TestSliceEqualMsbLsb | |
| TestSliceRandom | |
| TestOperatorDivRemainderConstraint | |
| TestDivRemainderConstraint | |
| TestByteArrayConversion | |
| SafeUintTest/3. # TypeParam = proof_system::plonk::UltraComposer | |
| TestConstructorWithValueOutOfRangeFails | |
| TestConstructorWithValueInRange | |
| TestMultiplyOperationOutOfRangeFails | |
| TestMultiplyOperationOnConstantsOutOfRangeFails | |
| TestAddOperationOutOfRangeFails | |
| TestSubtractMethod | |
| TestSubtractMethodMinuedGtLhsFails | |
| TestSubtractMethodUnderflowFails | |
| TestMinusOperator | |
| TestMinusOperatorUnderflowFails | |
| TestDivideMethod | |
| TestDivideMethodQuotientRangeTooSmallFails | |
| TestDivideRemainderTooLarge | |
| TestDivideMethodQuotientRemainderIncorrectFails | |
| TestDivideMethodQuotientRemainderModRFails | |
| TestDivOperator | |
| TestDivideOperator | |
| TestSlice | |
| TestSliceEqualMsbLsb | |
| TestSliceRandom | |
| TestOperatorDivRemainderConstraint | |
| TestDivRemainderConstraint | |
| TestByteArrayConversion | |
| stdlib_uint/0. # TypeParam = proof_system::plonk::UltraComposer | |
| test_weak_normalize | |
| test_byte_array_conversion | |
| test_input_output_consistency | |
| test_create_from_wires | |
| test_add_special | |
| test_sub_special | |
| test_add_with_constants | |
| test_mul_special | |
| test_mul_big | |
| test_xor_special | |
| test_xor_constants | |
| test_xor_more_constants | |
| test_and_constants | |
| test_and_special | |
| test_or_special | |
| test_gt_special | |
| test_ror_special | |
| test_hash_rounds | |
| test_add | |
| test_sub | |
| test_mul | |
| test_divide | |
| test_modulo | |
| test_divide_by_zero_fails | |
| test_divide_special | |
| div_remainder_constraint | |
| test_and | |
| test_xor | |
| test_or | |
| test_not | |
| test_gt | |
| test_lt | |
| test_gte | |
| test_lte | |
| test_equality_operator | |
| test_not_equality_operator | |
| test_logical_not | |
| test_right_shift | |
| test_left_shift | |
| test_ror | |
| test_rol | |
| test_at | |
| stdlib_uint/1. # TypeParam = proof_system::plonk::TurboComposer | |
| test_weak_normalize | |
| test_byte_array_conversion | |
| test_input_output_consistency | |
| test_create_from_wires | |
| test_add_special | |
| test_sub_special | |
| test_add_with_constants | |
| test_mul_special | |
| test_mul_big | |
| test_xor_special | |
| test_xor_constants | |
| test_xor_more_constants | |
| test_and_constants | |
| test_and_special | |
| test_or_special | |
| test_gt_special | |
| test_ror_special | |
| test_hash_rounds | |
| test_add | |
| test_sub | |
| test_mul | |
| test_divide | |
| test_modulo | |
| test_divide_by_zero_fails | |
| test_divide_special | |
| div_remainder_constraint | |
| test_and | |
| test_xor | |
| test_or | |
| test_not | |
| test_gt | |
| test_lt | |
| test_gte | |
| test_lte | |
| test_equality_operator | |
| test_not_equality_operator | |
| test_logical_not | |
| test_right_shift | |
| test_left_shift | |
| test_ror | |
| test_rol | |
| test_at | |
| stdlib_uint/2. # TypeParam = proof_system::plonk::StandardComposer | |
| test_weak_normalize | |
| test_byte_array_conversion | |
| test_input_output_consistency | |
| test_create_from_wires | |
| test_add_special | |
| test_sub_special | |
| test_add_with_constants | |
| test_mul_special | |
| test_mul_big | |
| test_xor_special | |
| test_xor_constants | |
| test_xor_more_constants | |
| test_and_constants | |
| test_and_special | |
| test_or_special | |
| test_gt_special | |
| test_ror_special | |
| test_hash_rounds | |
| test_add | |
| test_sub | |
| test_mul | |
| test_divide | |
| test_modulo | |
| test_divide_by_zero_fails | |
| test_divide_special | |
| div_remainder_constraint | |
| test_and | |
| test_xor | |
| test_or | |
| test_not | |
| test_gt | |
| test_lt | |
| test_gte | |
| test_lte | |
| test_equality_operator | |
| test_not_equality_operator | |
| test_logical_not | |
| test_right_shift | |
| test_left_shift | |
| test_ror | |
| test_rol | |
| test_at | |
| stdlib_uint/3. # TypeParam = proof_system::honk::StandardHonkComposer | |
| test_weak_normalize | |
| test_byte_array_conversion | |
| test_input_output_consistency | |
| test_create_from_wires | |
| test_add_special | |
| test_sub_special | |
| test_add_with_constants | |
| test_mul_special | |
| test_mul_big | |
| test_xor_special | |
| test_xor_constants | |
| test_xor_more_constants | |
| test_and_constants | |
| test_and_special | |
| test_or_special | |
| test_gt_special | |
| test_ror_special | |
| test_hash_rounds | |
| test_add | |
| test_sub | |
| test_mul | |
| test_divide | |
| test_modulo | |
| test_divide_by_zero_fails | |
| test_divide_special | |
| div_remainder_constraint | |
| test_and | |
| test_xor | |
| test_or | |
| test_not | |
| test_gt | |
| test_lt | |
| test_gte | |
| test_lte | |
| test_equality_operator | |
| test_not_equality_operator | |
| test_logical_not | |
| test_right_shift | |
| test_left_shift | |
| test_ror | |
| test_rol | |
| test_at | |
| stdlib_uint32. | |
| test_accumulators_plookup_uint32 | |
| Listing tests from ./build/bin/stdlib_recursion_tests | |
| stdlib_transcript. | |
| validate_transcript | |
| VerificationKeyFixture/0. # TypeParam = proof_system::plonk::StandardComposer | |
| vk_data_vs_recursion_compress_native | |
| compress_vs_compress_native | |
| VerificationKeyFixture/1. # TypeParam = proof_system::plonk::TurboComposer | |
| vk_data_vs_recursion_compress_native | |
| compress_vs_compress_native | |
| VerificationKeyFixture/2. # TypeParam = proof_system::plonk::UltraComposer | |
| vk_data_vs_recursion_compress_native | |
| compress_vs_compress_native | |
| VerificationKeyFixture/3. # TypeParam = proof_system::honk::StandardHonkComposer | |
| vk_data_vs_recursion_compress_native | |
| compress_vs_compress_native | |
| stdlib_verifier/0. # TypeParam = proof_system::plonk::StandardComposer | |
| recursive_proof_composition | |
| recursive_proof_composition_ultra_no_tables | |
| double_verification | |
| recursive_proof_composition_with_variable_verification_key_a | |
| recursive_proof_composition_with_variable_verification_key_b | |
| recursive_proof_composition_var_verif_key_fail | |
| recursive_proof_composition_const_verif_key | |
| test_inner_circuit | |
| stdlib_verifier/1. # TypeParam = proof_system::plonk::TurboComposer | |
| recursive_proof_composition | |
| recursive_proof_composition_ultra_no_tables | |
| double_verification | |
| recursive_proof_composition_with_variable_verification_key_a | |
| recursive_proof_composition_with_variable_verification_key_b | |
| recursive_proof_composition_var_verif_key_fail | |
| recursive_proof_composition_const_verif_key | |
| test_inner_circuit | |
| stdlib_verifier/2. # TypeParam = proof_system::plonk::UltraComposer | |
| recursive_proof_composition | |
| recursive_proof_composition_ultra_no_tables | |
| double_verification | |
| recursive_proof_composition_with_variable_verification_key_a | |
| recursive_proof_composition_with_variable_verification_key_b | |
| recursive_proof_composition_var_verif_key_fail | |
| recursive_proof_composition_const_verif_key | |
| test_inner_circuit | |
| stdlib_verifier_turbo/0. # TypeParam = proof_system::plonk::TurboComposer | |
| recursive_proof_composition | |
| double_verification | |
| recursive_proof_composition_with_variable_verification_key_a | |
| recursive_proof_composition_with_variable_verification_key_b | |
| recursive_proof_composition_var_verif_key_fail | |
| recursive_proof_composition_const_verif_key | |
| test_inner_circuit | |
| stdlib_verifier_turbo/1. # TypeParam = proof_system::plonk::StandardComposer | |
| recursive_proof_composition | |
| double_verification | |
| recursive_proof_composition_with_variable_verification_key_a | |
| recursive_proof_composition_with_variable_verification_key_b | |
| recursive_proof_composition_var_verif_key_fail | |
| recursive_proof_composition_const_verif_key | |
| test_inner_circuit | |
| Listing tests from ./build/bin/stdlib_schnorr_tests | |
| stdlib_schnorr. | |
| convert_field_into_wnaf_special | |
| convert_field_into_wnaf | |
| test_scalar_mul_low_high | |
| verify_signature | |
| verify_signature_failure | |
| signature_verification_result | |
| signature_verification_result_failure | |
| Listing tests from ./build/bin/stdlib_sha256_tests | |
| stdlib_sha256. | |
| test_duplicate_proving_key | |
| test_plookup_55_bytes | |
| test_55_bytes | |
| test_NIST_vector_one_packed_byte_array | |
| test_NIST_vector_one | |
| test_NIST_vector_two | |
| test_NIST_vector_three | |
| test_NIST_vector_four | |
| test_NIST_vector_five | |
| test_input_len_multiple | |
| test_input_str_len_multiple | |
| Listing tests from ./build/bin/transcript_tests | |
| transcript. | |
| validate_transcript | |
| univariate_serialization |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # Location of binaries | |
| BIN_DIR="./build/bin/" | |
| # Iterate over all "_tests" binaries | |
| for test_bin in "${BIN_DIR}"*_tests; do | |
| # Check if file exists and is executable | |
| if [[ -f "$test_bin" && -x "$test_bin" ]]; then | |
| echo "Listing tests from $test_bin" | |
| "$test_bin" --gtest_list_tests | |
| fi | |
| done |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment