1- add_custom_target (circuit_examples )
2- add_custom_target (assign_examples )
3- add_custom_target (prove_examples )
1+ add_custom_target (cpp_circuit_examples )
2+ add_custom_target (assign_cpp_examples )
3+ add_custom_target (prove_cpp_examples )
44
55function (add_example example_target)
66 set (prefix ARG)
@@ -42,7 +42,7 @@ function(add_example example_target)
4242 crypto3::zk
4343
4444 ${Boost_LIBRARIES} )
45- add_dependencies (circuit_examples "${example_target} " )
45+ add_dependencies (cpp_circuit_examples "${example_target} " )
4646
4747 if (CIRCUIT_ASSEMBLY_OUTPUT)
4848 set (binary_name ${example_target} .ll)
@@ -55,33 +55,33 @@ function(add_example example_target)
5555 DEPENDS ${example_target} ${ARG_INPUT} $<TARGET_FILE:assigner>
5656 COMMAND_EXPAND_LISTS
5757 VERBATIM )
58- add_dependencies (assign_examples ${example_target} _assign)
58+ add_dependencies (assign_cpp_examples ${example_target} _assign)
5959
6060 add_custom_target (${example_target} _prove
6161 COMMAND $<TARGET_FILE:transpiler> -m gen-test -proof -i ${INPUTS_DIR} /${ARG_INPUT} -c circuit_${example_target} .crct -t assignment_${example_target} .tbl -o .
6262 DEPENDS ${example_target} ${ARG_INPUT} $<TARGET_FILE:transpiler>
6363 COMMAND_EXPAND_LISTS
6464 VERBATIM )
65- add_dependencies (prove_examples ${example_target} _prove)
65+ add_dependencies (prove_cpp_examples ${example_target} _prove)
6666endfunction ()
6767
68- add_example(arithmetics_example SOURCES arithmetics.cpp INPUT arithmetics.inp)
69- add_example(integer_arithmetics_example SOURCES integer_arithmetics.cpp INPUT integer_arithmetics.inp)
70- add_example(poseidon_example SOURCES poseidon.cpp INPUT poseidon.inp)
71- add_example(merkle_tree_poseidon_example SOURCES merkle_tree_poseidon.cpp INPUT merkle_tree_poseidon.inp)
72- add_example(merkle_tree_sha2_256_example SOURCES merkle_tree_sha2_256.cpp INPUT merkle_tree_sha2_256.inp)
73- add_example(sha256_example SOURCES sha2_256.cpp INPUT sha2_256.inp)
74- add_example(balance_example SOURCES balance.cpp INPUT balance.inp)
75- add_example(memory_example SOURCES memory.cpp INPUT memory.inp)
76- add_example(polynomial_example SOURCES polynomial.cpp INPUT polynomial.inp)
77- add_example(pallas_curve_addition_example
68+ add_example(arithmetics_cpp_example SOURCES arithmetics.cpp INPUT arithmetics.inp)
69+ add_example(integer_arithmetics_cpp_example SOURCES integer_arithmetics.cpp INPUT integer_arithmetics.inp)
70+ add_example(poseidon_cpp_example SOURCES poseidon.cpp INPUT poseidon.inp)
71+ add_example(merkle_tree_poseidon_cpp_example SOURCES merkle_tree_poseidon.cpp INPUT merkle_tree_poseidon.inp)
72+ add_example(merkle_tree_sha2_256_cpp_example SOURCES merkle_tree_sha2_256.cpp INPUT merkle_tree_sha2_256.inp)
73+ add_example(sha256_cpp_example SOURCES sha2_256.cpp INPUT sha2_256.inp)
74+ add_example(balance_cpp_example SOURCES balance.cpp INPUT balance.inp)
75+ add_example(memory_cpp_example SOURCES memory.cpp INPUT memory.inp)
76+ add_example(polynomial_cpp_example SOURCES polynomial.cpp INPUT polynomial.inp)
77+ add_example(pallas_curve_addition_cpp_example
7878 SOURCES pallas_curve_examples/pallas_curve_add.cpp
7979 INPUT pallas_curve_examples/pallas_curve_add.inp)
80- #add_example(pallas_curve_multiplication_example
80+ #add_example(pallas_curve_multiplication_cpp_example
8181# SOURCES pallas_curve_examples/pallas_curve_mul.cpp
8282# INPUT pallas_curve_examples/pallas_curve_mul.inp)
83- #add_example(pallas_curve_mul_add_example
83+ #add_example(pallas_curve_mul_add_cpp_example
8484# SOURCES pallas_curve_examples/pallas_curve_mul_add.cpp
8585# INPUT pallas_curve_examples/pallas_curve_mul_add.inp)
86- add_example(ed25519_curve_add SOURCES ed25519_curve_add.cpp INPUT ed25519_curve_add.inp)
87- add_example(strlen_example SOURCES strlen.cpp INPUT strlen.inp)
86+ add_example(ed25519_curve_add_cpp SOURCES ed25519_curve_add.cpp INPUT ed25519_curve_add.inp)
87+ add_example(strlen_cpp_example SOURCES strlen.cpp INPUT strlen.inp)
0 commit comments