-
Notifications
You must be signed in to change notification settings - Fork 7
/
all_tests.jl
152 lines (76 loc) · 6.81 KB
/
all_tests.jl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
using Dates
import R1CSConstraintSolver: solveWithTrustedFunctions
solveWithTrustedFunctions("ecne_circomlib_tests/bitify_Num2BitsNeg.r1cs", "Num2BitsNeg")
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulfix_WindowMulFix.r1cs", "WindowMulFix")
solveWithTrustedFunctions("ecne_circomlib_tests/bitify_Num2Bits.r1cs", "Num2Bits")
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_IsZero.r1cs", "IsZero")
solveWithTrustedFunctions("ecne_circomlib_tests/montgomery_Montgomery2Edwards.r1cs", "Montgomery2Edwards")
solveWithTrustedFunctions("ecne_circomlib_tests/eddsaposeidon_EdDSAPoseidonVerifier.r1cs", "EdDSAPoseidonVerifier")
solveWithTrustedFunctions("ecne_circomlib_tests/pedersen_old_Pedersen.r1cs", "old")
solveWithTrustedFunctions("ecne_circomlib_tests/aliascheck_AliasCheck.r1cs", "AliasCheck")
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmul_EscalarMul.r1cs", "EscalarMul")
solveWithTrustedFunctions("ecne_circomlib_tests/bitify_Num2Bits_strict.r1cs", "Num2Bits")
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_LessThan.r1cs", "LessThan")
solveWithTrustedFunctions("ecne_circomlib_tests/poseidon_Sigma.r1cs", "Sigma")
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulany_Multiplexor2.r1cs", "Multiplexor2")
solveWithTrustedFunctions("ecne_circomlib_tests/gates_NOT.r1cs", "NOT")
solveWithTrustedFunctions("ecne_circomlib_tests/switcher_Switcher.r1cs", "Switcher")
solveWithTrustedFunctions("ecne_circomlib_tests/pointbits_Bits2Point_Strict.r1cs", "Bits2Point")
solveWithTrustedFunctions("ecne_circomlib_tests/babyjub_BabyDbl.r1cs", "BabyDbl")
solveWithTrustedFunctions("ecne_circomlib_tests/eddsamimcsponge_EdDSAMiMCSpongeVerifier.r1cs", "EdDSAMiMCSpongeVerifier")
solveWithTrustedFunctions("ecne_circomlib_tests/pointbits_Point2Bits_Strict.r1cs", "Point2Bits")
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulfix_SegmentMulFix.r1cs", "SegmentMulFix")
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_ForceEqualIfEnabled.r1cs", "ForceEqualIfEnabled")
solveWithTrustedFunctions("ecne_circomlib_tests/mux3_MultiMux3.r1cs", "MultiMux3")
solveWithTrustedFunctions("ecne_circomlib_tests/babyjub_BabyAdd.r1cs", "BabyAdd")
solveWithTrustedFunctions("ecne_circomlib_tests/poseidon_Ark.r1cs", "Ark")
solveWithTrustedFunctions("ecne_circomlib_tests/mux3_Mux3.r1cs", "Mux3")
solveWithTrustedFunctions("ecne_circomlib_tests/compconstant_CompConstant.r1cs", "CompConstant")
solveWithTrustedFunctions("ecne_circomlib_tests/poseidon_Mix.r1cs", "Mix")
solveWithTrustedFunctions("ecne_circomlib_tests/gates_NOR.r1cs", "NOR")
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_LessEqThan.r1cs", "LessEqThan")
solveWithTrustedFunctions("ecne_circomlib_tests/montgomery_MontgomeryDouble.r1cs", "MontgomeryDouble")
solveWithTrustedFunctions("ecne_circomlib_tests/gates_OR.r1cs", "OR")
solveWithTrustedFunctions("ecne_circomlib_tests/mux4_Mux4.r1cs", "Mux4")
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulfix_EscalarMulFix.r1cs", "EscalarMulFix")
solveWithTrustedFunctions("ecne_circomlib_tests/pointbits_Point2Bits.r1cs", "Point2Bits")
solveWithTrustedFunctions("ecne_circomlib_tests/eddsamimc_EdDSAMiMCVerifier.r1cs", "EdDSAMiMCVerifier")
solveWithTrustedFunctions("ecne_circomlib_tests/mux4_MultiMux4.r1cs", "MultiMux4")
solveWithTrustedFunctions("ecne_circomlib_tests/mimcsponge_MiMCFeistel.r1cs", "MiMCFeistel")
solveWithTrustedFunctions("ecne_circomlib_tests/mux2_Mux2.r1cs", "Mux2")
solveWithTrustedFunctions("ecne_circomlib_tests/multiplexer_Multiplexer.r1cs", "Multiplexer")
solveWithTrustedFunctions("ecne_circomlib_tests/pedersen_Segment.r1cs", "Segment")
solveWithTrustedFunctions("ecne_circomlib_tests/mux2_MultiMux2.r1cs", "MultiMux2")
solveWithTrustedFunctions("ecne_circomlib_tests/multiplexer_Decoder.r1cs", "Decoder")
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulany_SegmentMulAny.r1cs", "SegmentMulAny")
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_GreaterEqThan.r1cs", "GreaterEqThan")
solveWithTrustedFunctions("ecne_circomlib_tests/poseidon_Poseidon.r1cs", "Poseidon")
solveWithTrustedFunctions("ecne_circomlib_tests/babyjub_BabyPbk.r1cs", "BabyPbk")
solveWithTrustedFunctions("ecne_circomlib_tests/gates_AND.r1cs", "AND")
solveWithTrustedFunctions("ecne_circomlib_tests/mux1_Mux1.r1cs", "Mux1")
solveWithTrustedFunctions("ecne_circomlib_tests/montgomery_MontgomeryAdd.r1cs", "MontgomeryAdd")
solveWithTrustedFunctions("ecne_circomlib_tests/babyjub_BabyCheck.r1cs", "BabyCheck")
solveWithTrustedFunctions("ecne_circomlib_tests/pointbits_Bits2Point.r1cs", "Bits2Point")
solveWithTrustedFunctions("ecne_circomlib_tests/mimc_MiMC7.r1cs", "MiMC7")
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_IsEqual.r1cs", "IsEqual")
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulany_EscalarMulAny.r1cs", "EscalarMulAny")
solveWithTrustedFunctions("ecne_circomlib_tests/isZero_IsZero.r1cs", "IsZero")
solveWithTrustedFunctions("ecne_circomlib_tests/bitify_Bits2Num.r1cs", "Bits2Num")
solveWithTrustedFunctions("ecne_circomlib_tests/binsum_BinSum.r1cs", "BinSum")
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmul_EscalarMulWindow.r1cs", "EscalarMulWindow")
solveWithTrustedFunctions("ecne_circomlib_tests/eddsa_EdDSAVerifier.r1cs", "EdDSAVerifier")
solveWithTrustedFunctions("ecne_circomlib_tests/sign_Sign.r1cs", "Sign")
solveWithTrustedFunctions("ecne_circomlib_tests/gates_NAND.r1cs", "NAND")
solveWithTrustedFunctions("ecne_circomlib_tests/binsub_BinSub.r1cs", "BinSub")
solveWithTrustedFunctions("ecne_circomlib_tests/pedersen_Window4.r1cs", "Window4")
solveWithTrustedFunctions("ecne_circomlib_tests/bitify_Bits2Num_strict.r1cs", "Bits2Num")
solveWithTrustedFunctions("ecne_circomlib_tests/pedersen_Pedersen.r1cs", "Pedersen")
solveWithTrustedFunctions("ecne_circomlib_tests/mimcsponge_MiMCSponge.r1cs", "MiMCSponge")
solveWithTrustedFunctions("ecne_circomlib_tests/montgomery_Edwards2Montgomery.r1cs", "Edwards2Montgomery")
solveWithTrustedFunctions("ecne_circomlib_tests/comparators_GreaterThan.r1cs", "GreaterThan")
solveWithTrustedFunctions("ecne_circomlib_tests/multiplexer_EscalarProduct.r1cs", "EscalarProduct")
solveWithTrustedFunctions("ecne_circomlib_tests/mimc_MultiMiMC7.r1cs", "MultiMiMC7")
solveWithTrustedFunctions("ecne_circomlib_tests/gates_MultiAND.r1cs", "MultiAND")
solveWithTrustedFunctions("ecne_circomlib_tests/mux1_MultiMux1.r1cs", "MultiMux1")
solveWithTrustedFunctions("ecne_circomlib_tests/escalarmulany_BitElementMulAny.r1cs", "BitElementMulAny")
solveWithTrustedFunctions("ecne_circomlib_tests/gates_XOR.r1cs", "XOR")