Merge pull request #70 from NilFoundation/67-new-commitment-scheme-in…

…terface 67 new commitment scheme interface
NilFoundation · Sep 22, 2023 · c59f8dc · c59f8dc
2 parents 1cda9a3 + 8b9c1df
commit c59f8dc
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 5 deletions.
diff --git a/.github/workflows/run_tests.yml b/.github/workflows/run_tests.yml
@@ -2,7 +2,7 @@ name: Run tests
 
 on:
   # Let's run it on any commit
-  [push]
+  [pull_request]
   # Triggers the workflow on pull request events but only for the master branch
   #pull_request:
   #  branches: [ master ]
@@ -27,6 +27,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           repository: ${{ env.SUITE_REPO }}
+
           submodules: recursive
 
       - name: Cmake and build

diff --git a/libs/algebra b/libs/algebra
diff --git a/libs/marshalling/zk b/libs/marshalling/zk
diff --git a/libs/math b/libs/math
diff --git a/libs/zk b/libs/zk
+23 −0		include/nil/crypto3/algebra/curves/detail/bls12/g1.hpp
+23 −1		include/nil/crypto3/algebra/curves/detail/curve25519/g1.hpp
+12 −4		include/nil/crypto3/algebra/curves/detail/curve25519/params.hpp
+1 −1		include/nil/crypto3/algebra/curves/detail/marshalling.hpp
+18 −0		include/nil/crypto3/algebra/curves/detail/pallas/g1.hpp
+18 −0		include/nil/crypto3/algebra/curves/detail/vesta/g1.hpp
+6 −8		include/nil/crypto3/algebra/fields/bls12/base_field.hpp
+7 −7		include/nil/crypto3/algebra/fields/bls12/scalar_field.hpp
+12 −8		include/nil/crypto3/algebra/fields/curve25519/base_field.hpp
+12 −7		include/nil/crypto3/algebra/fields/curve25519/scalar_field.hpp
+2 −0		include/nil/crypto3/algebra/fields/field.hpp
+3 −4		include/nil/crypto3/algebra/fields/pallas/base_field.hpp
+6 −0		include/nil/crypto3/algebra/fields/pallas/scalar_field.hpp
+2 −2		include/nil/crypto3/algebra/fields/vesta/base_field.hpp
+6 −0		include/nil/crypto3/algebra/fields/vesta/scalar_field.hpp
+77 −0		include/nil/crypto3/algebra/totient.hpp
+3 −0		.github/workflows/run_tests.yml
+175 −0		include/nil/crypto3/marshalling/zk/types/commitments/eval_storage.hpp
+327 −249		include/nil/crypto3/marshalling/zk/types/commitments/fri.hpp
+70 −59		include/nil/crypto3/marshalling/zk/types/commitments/lpc.hpp
+39 −46		include/nil/crypto3/marshalling/zk/types/placeholder/common_data.hpp
+46 −89		include/nil/crypto3/marshalling/zk/types/placeholder/proof.hpp
+138 −0		include/nil/crypto3/marshalling/zk/types/plonk/assignment_table.hpp
+10 −108		include/nil/crypto3/marshalling/zk/types/plonk/constraint.hpp
+21 −14		include/nil/crypto3/marshalling/zk/types/plonk/constraint_system.hpp
+8 −8		include/nil/crypto3/marshalling/zk/types/plonk/copy_constraint.hpp
+17 −18		include/nil/crypto3/marshalling/zk/types/plonk/gate.hpp
+113 −0		include/nil/crypto3/marshalling/zk/types/plonk/lookup_constraint.hpp
+139 −0		include/nil/crypto3/marshalling/zk/types/plonk/lookup_gate.hpp
+152 −0		include/nil/crypto3/marshalling/zk/types/plonk/lookup_table.hpp
+4 −3		include/nil/crypto3/marshalling/zk/types/plonk/variable.hpp
+32 −31		test/CMakeLists.txt
+24 −20		test/accumulation_vector.cpp
+854 −132		test/detail/circuits.hpp
+52 −51		test/eddsa.cpp
+199 −196		test/fri_commitment.cpp
+201 −690		test/lpc_commitment.cpp
+20 −20		test/merkle_proof.cpp
+495 −83		test/placeholder_common_data.cpp
+572 −115		test/placeholder_proof.cpp
+591 −0		test/plonk_assignment_table.cpp
+445 −127		test/plonk_constraint_system.cpp
+273 −231		test/plonk_gates.cpp
+28 −28		test/r1cs_gg_ppzksnark.cpp
+21 −19		test/r1cs_gg_ppzksnark_primary_input.cpp
+15 −15		test/r1cs_gg_ppzksnark_proof.cpp
+109 −108		test/r1cs_gg_ppzksnark_verification_key.cpp
+14 −14		test/sparse_vector.cpp
+17 −6		include/nil/crypto3/math/polynomial/basic_operations.hpp
+25 −3		include/nil/crypto3/math/polynomial/polynomial.hpp
+7 −1		test/polynomial.cpp
+6 −2		.github/workflows/run_tests.yml
+12 −12		include/nil/crypto3/zk/algorithms/prove.hpp
+4 −4		include/nil/crypto3/zk/algorithms/verify.hpp
+244 −0		include/nil/crypto3/zk/commitments/batched_commitment.hpp
+98 −89		include/nil/crypto3/zk/commitments/detail/polynomial/basic_batched_fri_compile_time_size.hpp
+97 −87		include/nil/crypto3/zk/commitments/detail/polynomial/basic_batched_fri_runtime_size.hpp
+293 −231		include/nil/crypto3/zk/commitments/detail/polynomial/basic_fri.hpp
+33 −22		include/nil/crypto3/zk/commitments/detail/polynomial/element_knowledge_commitment.hpp
+3 −3		include/nil/crypto3/zk/commitments/detail/polynomial/element_proof_of_knowledge.hpp
+98 −0		include/nil/crypto3/zk/commitments/detail/polynomial/eval_storage.hpp
+7 −7		include/nil/crypto3/zk/commitments/detail/polynomial/fold_polynomial.hpp
+10 −9		include/nil/crypto3/zk/commitments/detail/polynomial/powers_of_tau/accumulator.hpp
+1 −1		include/nil/crypto3/zk/commitments/detail/polynomial/powers_of_tau/public_key.hpp
+9 −9		include/nil/crypto3/zk/commitments/detail/polynomial/powers_of_tau/result.hpp
+87 −0		include/nil/crypto3/zk/commitments/detail/polynomial/proof_of_work.hpp
+12 −12		include/nil/crypto3/zk/commitments/detail/polynomial/r1cs_gg_ppzksnark_mpc/crs_operations.hpp
+1 −1		include/nil/crypto3/zk/commitments/detail/polynomial/r1cs_gg_ppzksnark_mpc/public_key.hpp
+43 −35		include/nil/crypto3/zk/commitments/polynomial/fri.hpp
+141 −124		include/nil/crypto3/zk/commitments/polynomial/kimchi_pedersen.hpp
+730 −44		include/nil/crypto3/zk/commitments/polynomial/kzg.hpp
+364 −135		include/nil/crypto3/zk/commitments/polynomial/lpc.hpp
+2 −1		include/nil/crypto3/zk/commitments/polynomial/pedersen.hpp
+14 −11		include/nil/crypto3/zk/commitments/polynomial/powers_of_tau.hpp
+2 −2		include/nil/crypto3/zk/commitments/polynomial/proof_of_knowledge.hpp
+16 −16		include/nil/crypto3/zk/commitments/polynomial/r1cs_gg_ppzksnark_mpc.hpp
+32 −3		include/nil/crypto3/zk/math/expression.hpp
+9 −3		include/nil/crypto3/zk/math/integer_permutation.hpp
+46 −36		include/nil/crypto3/zk/snark/arithmetization/arithmetic_programs/ssp.hpp
+3 −4		include/nil/crypto3/zk/snark/arithmetization/circuit_satisfaction_problems/bacs.hpp
+2 −1		include/nil/crypto3/zk/snark/arithmetization/constraint_satisfaction_problems/r1cs.hpp
+2 −3		include/nil/crypto3/zk/snark/arithmetization/constraint_satisfaction_problems/uscs.hpp
+37 −0		include/nil/crypto3/zk/snark/arithmetization/plonk/assignment.hpp
+10 −11		include/nil/crypto3/zk/snark/arithmetization/plonk/constraint.hpp
+25 −4		include/nil/crypto3/zk/snark/arithmetization/plonk/constraint_system.hpp
+4 −0		include/nil/crypto3/zk/snark/arithmetization/plonk/gate.hpp
+8 −2		include/nil/crypto3/zk/snark/arithmetization/plonk/lookup_constraint.hpp
+67 −0		include/nil/crypto3/zk/snark/arithmetization/plonk/lookup_gate.hpp
+70 −0		include/nil/crypto3/zk/snark/arithmetization/plonk/lookup_table.hpp
+28 −29		include/nil/crypto3/zk/snark/arithmetization/plonk/variable.hpp
+40 −39		include/nil/crypto3/zk/snark/reductions/r1cs_to_sap.hpp
+1 −0		include/nil/crypto3/zk/snark/reductions/uscs_to_ssp.hpp
+15 −15		include/nil/crypto3/zk/snark/routing/as_waksman.hpp
+13 −13		include/nil/crypto3/zk/snark/routing/benes.hpp
+1 −2		include/nil/crypto3/zk/snark/systems/plonk/placeholder/detail/placeholder_policy.hpp
+1 −1		include/nil/crypto3/zk/snark/systems/plonk/placeholder/detail/placeholder_scoped_profiler.hpp
+103 −95		include/nil/crypto3/zk/snark/systems/plonk/placeholder/gates_argument.hpp
+403 −228		include/nil/crypto3/zk/snark/systems/plonk/placeholder/lookup_argument.hpp
+40 −2		include/nil/crypto3/zk/snark/systems/plonk/placeholder/params.hpp
+47 −46		include/nil/crypto3/zk/snark/systems/plonk/placeholder/permutation_argument.hpp
+166 −141		include/nil/crypto3/zk/snark/systems/plonk/placeholder/preprocessor.hpp
+52 −126		include/nil/crypto3/zk/snark/systems/plonk/placeholder/profiling.hpp
+15 −20		include/nil/crypto3/zk/snark/systems/plonk/placeholder/proof.hpp
+112 −251		include/nil/crypto3/zk/snark/systems/plonk/placeholder/prover.hpp
+157 −183		include/nil/crypto3/zk/snark/systems/plonk/placeholder/verifier.hpp
+1 −1		include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/generator.hpp
+1 −1		include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/prover.hpp
+296 −286		include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/marshalling.hpp
+3 −3		include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp
+12 −10		test/CMakeLists.txt
+3 −4		test/commitment/fri.cpp
+453 −14		test/commitment/kzg.cpp
+167 −163		test/commitment/lpc.cpp
+219 −32		test/commitment/lpc_performance.cpp
+165 −165		test/commitment/pedersen.cpp
+0 −1		test/commitment/type_traits.cpp
+2 −2		test/routing_algorithms/test_routing_algorithms.cpp
+1 −1		test/systems/pcd/r1cs_pcd/r1cs_mp_ppzkpcd/tally_cp.hpp
+0 −3		test/systems/pcd/r1cs_pcd/r1cs_sp_ppzkpcd/tally_cp.hpp
+838 −106		test/systems/plonk/placeholder/circuits.hpp
+77 −0		test/systems/plonk/placeholder/data/many_hashes/assignment.tbl
+1 −0		test/systems/plonk/placeholder/data/many_hashes/circuit.crct
+77 −0		test/systems/plonk/placeholder/data/merkle_tree_poseidon/assignment.tbl
+1 −0		test/systems/plonk/placeholder/data/merkle_tree_poseidon/circuit.crct
+540 −0		test/systems/plonk/placeholder/performance.cpp
+779 −274		test/systems/plonk/placeholder/placeholder.cpp
+4 −4		test/systems/ppzksnark/r1cs_gg_ppzksnark/run_r1cs_gg_ppzksnark_marshalling.hpp
+4 −4		test/systems/ppzksnark/r1cs_gg_ppzksnark/run_r1cs_gg_ppzksnark_tvm_marshalling.hpp
+2 −2		test/transcript/transcript.cpp