Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Standalone native verifier #319

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Initial refactoring implemented #318

2688eb5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Standalone native verifier #319

Initial refactoring implemented #318
2688eb5
Select commit
Loading
Failed to load commit list.
GitHub Actions / Test Results succeeded Apr 22, 2024 in 0s

All 79 tests pass in 58s

  30 files    30 suites   58s ⏱️
  79 tests   79 ✔️ 0 💤 0
168 runs  168 ✔️ 0 💤 0

Results for commit 2688eb5.

Annotations

Check notice on line 0 in .github

See this annotation in the file changed.

@github-actions github-actions / Test Results

79 tests found

There are 79 tests, see "Raw output" for the full list of tests.
Raw output
batched_kzg_test_suite ‑ batched_kzg_basic_test
batched_kzg_test_suite ‑ batched_kzg_bigger_basic_test
batched_kzg_test_suite ‑ batched_kzg_placeholder_repr
crypto3_zk_commitment_fold_polynomial_test ‑ Build Success
crypto3_zk_commitment_fri_test ‑ Build Success
crypto3_zk_commitment_kzg_test ‑ Build Success
crypto3_zk_commitment_lpc_test ‑ Build Success
crypto3_zk_commitment_powers_of_tau_test ‑ Build Success
crypto3_zk_commitment_proof_of_knowledge_test ‑ Build Success
crypto3_zk_commitment_proof_of_work_test ‑ Build Success
crypto3_zk_commitment_r1cs_gg_ppzksnark_mpc_test ‑ Build Success
crypto3_zk_math_expression_test ‑ Build Success
crypto3_zk_systems_plonk_placeholder_placeholder_test ‑ Build Success
crypto3_zk_systems_plonk_plonk_constraint_test ‑ Build Success
crypto3_zk_transcript_transcript_test ‑ Build Success
expression_tests_suite ‑ expression_evaluation_test
expression_tests_suite ‑ expression_for_each_variable_visitor_test
expression_tests_suite ‑ expression_max_degree_visitor_test
expression_tests_suite ‑ expression_to_non_linear_combination_test
fold_polynomial_test_suite ‑ fold_polynomial_dfs_test
fold_polynomial_test_suite ‑ fold_polynomial_test
fri_test_suite ‑ fri_basic_test
kzg_test_suite ‑ kzg_basic_test
kzg_test_suite ‑ kzg_basic_test_mnt4
kzg_test_suite ‑ kzg_basic_test_mnt6
kzg_test_suite ‑ kzg_false_test
kzg_test_suite ‑ kzg_random_test
kzg_test_suite ‑ kzg_test_mnt6_accumulated
lpc_math_polynomial_suite ‑ lpc_basic_skipping_layers_test
lpc_math_polynomial_suite ‑ lpc_basic_test
lpc_math_polynomial_suite ‑ lpc_dfs_basic_test
lpc_params_test_suite ‑ lpc_batches_num_3_test
lpc_params_test_suite ‑ lpc_different_hash_types_test
mpc_generator_test_suite ‑ mpc_generator_compare_keypairs_without_delta_contribution_test
mpc_generator_test_suite ‑ mpc_generator_proof_verification_with_delta_contribution_test
mpc_generator_test_suite ‑ mpc_generator_proof_verification_without_delta_contribution_test
placeholder_circuit1 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__keccak_1600<512ul>__nil__crypto3__hashes__keccak_1600<512ul>__3ul__1ul__0ul__2ul__13ul__false__0ul>>
placeholder_circuit1 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__poseidon<nil__crypto3__hashes__detail__mina_poseidon_policy<nil__crypto3__algebra__fields__pallas_base_field>>__nil__crypto3__hashes__poseidon<nil__crypto3__hashes__detail__mina_poseidon_policy<nil__crypto3__algebra__fields__pallas_base_field>>__3ul__1ul__0ul__2ul__13ul__false__0ul>>
placeholder_circuit1_goldilocks ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__goldilocks64_base_field__nil__crypto3__hashes__keccak_1600<512ul>__nil__crypto3__hashes__keccak_1600<512ul>__3ul__1ul__0ul__2ul__13ul__false__0ul>>
placeholder_circuit2 ‑ permutation_argument_test
placeholder_circuit2 ‑ permutation_polynomials_test
placeholder_circuit2 ‑ placeholder_gate_argument_test
placeholder_circuit2 ‑ placeholder_split_polynomial_test
placeholder_circuit2 ‑ prover_test
placeholder_circuit2_kzg ‑ prover_test<placeholder_kzg_test_fixture<nil__crypto3__algebra__curves__bls12<381ul>__nil__crypto3__hashes__keccak_1600<256ul>__nil__crypto3__hashes__keccak_1600<256ul>__3ul__1ul__0ul__2ul__5ul__1ul__false>>
placeholder_circuit2_kzg ‑ prover_test<placeholder_kzg_test_fixture<nil__crypto3__algebra__curves__mnt4<298ul>__nil__crypto3__hashes__keccak_1600<256ul>__nil__crypto3__hashes__keccak_1600<256ul>__3ul__1ul__0ul__2ul__5ul__1ul__false>>
placeholder_circuit2_kzg ‑ prover_test<placeholder_kzg_test_fixture<nil__crypto3__algebra__curves__mnt6<298ul>__nil__crypto3__hashes__keccak_1600<256ul>__nil__crypto3__hashes__keccak_1600<256ul>__3ul__1ul__0ul__2ul__5ul__1ul__false>>
placeholder_circuit2_kzg_v2 ‑ prover_test<placeholder_kzg_test_fixture<nil__crypto3__algebra__curves__mnt4<298ul>__nil__crypto3__hashes__keccak_1600<256ul>__nil__crypto3__hashes__keccak_1600<256ul>__3ul__1ul__0ul__2ul__5ul__1ul__false>>
placeholder_circuit2_kzg_v2 ‑ prover_test<placeholder_kzg_test_fixture_v2<nil__crypto3__algebra__curves__bls12<381ul>__nil__crypto3__hashes__keccak_1600<256ul>__nil__crypto3__hashes__keccak_1600<256ul>__3ul__1ul__0ul__2ul__5ul__1ul__false>>
placeholder_circuit2_kzg_v2 ‑ prover_test<placeholder_kzg_test_fixture_v2<nil__crypto3__algebra__curves__mnt6<298ul>__nil__crypto3__hashes__keccak_1600<256ul>__nil__crypto3__hashes__keccak_1600<256ul>__3ul__1ul__0ul__2ul__5ul__1ul__false>>
placeholder_circuit3 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__keccak_1600<512ul>__nil__crypto3__hashes__keccak_1600<512ul>__3ul__0ul__3ul__2ul__4ul__false__0ul>>
placeholder_circuit3 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__poseidon<nil__crypto3__hashes__detail__mina_poseidon_policy<nil__crypto3__algebra__fields__pallas_base_field>>__nil__crypto3__hashes__poseidon<nil__crypto3__hashes__detail__mina_poseidon_policy<nil__crypto3__algebra__fields__pallas_base_field>>__3ul__0ul__3ul__2ul__4ul__false__0ul>>
placeholder_circuit3_lookup_test ‑ lookup_test
placeholder_circuit4 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__keccak_1600<512ul>__nil__crypto3__hashes__keccak_1600<512ul>__3ul__0ul__3ul__3ul__5ul__false__0ul>>
placeholder_circuit4 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__poseidon<nil__crypto3__hashes__detail__mina_poseidon_policy<nil__crypto3__algebra__fields__pallas_base_field>>__nil__crypto3__hashes__poseidon<nil__crypto3__hashes__detail__mina_poseidon_policy<nil__crypto3__algebra__fields__pallas_base_field>>__3ul__0ul__3ul__3ul__5ul__false__0ul>>
placeholder_circuit4_lookup_test ‑ lookup_test
placeholder_circuit5 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__keccak_1600<512ul>__nil__crypto3__hashes__keccak_1600<512ul>__30ul__1ul__0ul__1ul__30ul__false__10ul>>
placeholder_circuit5 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__poseidon<nil__crypto3__hashes__detail__mina_poseidon_policy<nil__crypto3__algebra__fields__pallas_base_field>>__nil__crypto3__hashes__poseidon<nil__crypto3__hashes__detail__mina_poseidon_policy<nil__crypto3__algebra__fields__pallas_base_field>>__30ul__1ul__0ul__1ul__30ul__false__10ul>>
placeholder_circuit6 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__keccak_1600<512ul>__nil__crypto3__hashes__keccak_1600<512ul>__2ul__0ul__3ul__3ul__6ul__true__0ul>>
placeholder_circuit6 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__poseidon<nil__crypto3__hashes__detail__mina_poseidon_policy<nil__crypto3__algebra__fields__pallas_base_field>>__nil__crypto3__hashes__poseidon<nil__crypto3__hashes__detail__mina_poseidon_policy<nil__crypto3__algebra__fields__pallas_base_field>>__2ul__0ul__3ul__3ul__6ul__true__0ul>>
placeholder_circuit7 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__keccak_1600<512ul>__nil__crypto3__hashes__keccak_1600<512ul>__2ul__0ul__7ul__6ul__14ul__true__10ul>>
placeholder_circuit7 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__keccak_1600<512ul>__nil__crypto3__hashes__keccak_1600<512ul>__2ul__0ul__7ul__6ul__14ul__true__30ul>>
placeholder_circuit7 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__keccak_1600<512ul>__nil__crypto3__hashes__keccak_1600<512ul>__2ul__0ul__7ul__6ul__14ul__true__50ul>>
placeholder_circuit7 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__keccak_1600<512ul>__nil__crypto3__hashes__keccak_1600<512ul>__2ul__0ul__7ul__6ul__14ul__true__8ul>>
placeholder_circuit7 ‑ prover_test<placeholder_test_fixture<nil__crypto3__algebra__fields__pallas_base_field__nil__crypto3__hashes__poseidon<nil__crypto3__hashes__detail__mina_poseidon_policy<nil__crypto3__algebra__fields__pallas_base_field>>__nil__crypto3__hashes__poseidon<nil__crypto3__hashes__detail__mina_poseidon_policy<nil__crypto3__algebra__fields__pallas_base_field>>__2ul__0ul__7ul__6ul__14ul__true__8ul>>
placeholder_class ‑ placeholder_class_test<placeholder_class_test_initializer<nil__crypto3__algebra__curves__bls12<381ul>__nil__crypto3__hashes__keccak_1600<256ul>>>
placeholder_class ‑ placeholder_class_test<placeholder_class_test_initializer<nil__crypto3__algebra__curves__mnt4<298ul>__nil__crypto3__hashes__keccak_1600<256ul>>>
placeholder_class ‑ placeholder_class_test<placeholder_class_test_initializer<nil__crypto3__algebra__curves__mnt6<298ul>__nil__crypto3__hashes__keccak_1600<256ul>>>
plonk_constraint_test_suite ‑ plonk_constraint_basic_test
plonk_constraint_test_suite ‑ plonk_copy_constraint_constructor_test
powers_of_tau_test_suite ‑ keypair_generation_basic_test
powers_of_tau_test_suite ‑ powers_of_tau_basic_test
powers_of_tau_test_suite ‑ powers_of_tau_result_basic_test
proof_of_knowledge_test_suite ‑ pok_basic_test
proof_of_knowledge_test_suite ‑ pow_basic_test
proof_of_knowledge_test_suite ‑ pow_poseidon_basic_test
zk_poseidon_transcript_test_suite ‑ zk_poseidon_transcript_init_test
zk_poseidon_transcript_test_suite ‑ zk_poseidon_transcript_no_init_test
zk_transcript_test_suite ‑ zk_transcript_manual_test