-
Notifications
You must be signed in to change notification settings - Fork 3
/
package.json
198 lines (198 loc) · 34.4 KB
/
package.json
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
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
{
"name": "pil2-stark-js",
"version": "0.0.56",
"description": "Build a stark from a PIL",
"main": "index.js",
"scripts": {
"test": "npm run test:helpers && npm run test:stark && npm run test:circuits && npm run test:fflonk",
"test:circuits": "mocha test/circuits/**/*.test.js",
"test:circuits:bn128": "mocha test/circuits/bn128/**/*.test.js",
"test:circuits:bn128custom": "mocha test/circuits/bn128.custom/**/*.test.js",
"test:circuits:gl": "mocha test/circuits/gl/**/*.test.js",
"test:helpers": "mocha test/*.test.js",
"test:stark": "mocha $(find test/stark -name '*.test.js' ! -name 'all*.test.js' ! -name 'fibonacci*.test.js' ! -name 'test_c12*.test.js' ! -name 'test_c18*.test.js')",
"test:fflonk": "mocha test/fflonk",
"test:fflonk:sc": "NODE_OPTIONS=--max-old-space-size=32000 npm run --prefix smart_contract_tests test",
"test:fflonk:sc:simple": "NODE_OPTIONS=--max-old-space-size=32000 npm run --prefix smart_contract_tests test:simple",
"test:fflonk:sc:fibonacci": "NODE_OPTIONS=--max-old-space-size=32000 npm run --prefix smart_contract_tests test:fibonacci",
"test:fflonk:sc:all": "NODE_OPTIONS=--max-old-space-size=32000 npm run --prefix smart_contract_tests test:all",
"test:fflonk:sc:simple_connection": "NODE_OPTIONS=--max-old-space-size=32000 npm run --prefix smart_contract_tests test:simple_connection",
"test:fflonk:sc:connection": "NODE_OPTIONS=--max-old-space-size=32000 npm run --prefix smart_contract_tests test:connection",
"test:fflonk:sc:simple_permutation": "NODE_OPTIONS=--max-old-space-size=32000 npm run --prefix smart_contract_tests test:simple_permutation",
"test:fflonk:sc:permutation": "NODE_OPTIONS=--max-old-space-size=32000 npm run --prefix smart_contract_tests test:permutation",
"test:fflonk:sc:simple_plookup": "NODE_OPTIONS=--max-old-space-size=32000 npm run --prefix smart_contract_tests test:simple_plookup",
"test:fflonk:sc:plookup": "NODE_OPTIONS=--max-old-space-size=32000 npm run --prefix smart_contract_tests test:plookup",
"test:fibonacci": "npm run fibonacci_buildconst && npm run fibonacci_exec && npm run fibonacci_buildstarkinfo && npm run fibonacci_pil_verify && npm run fibonacci_buildchelpers && npm run fibonacci_buildconsttree && npm run fibonacci_prove && npm run fibonacci_verify && npm run fibonacci_gencircom && run fibonacci_compileverifier && npm run fibonacci_starkVerifier",
"test:fibonacci:gpu": "npm run fibonacci_buildconst && npm run fibonacci_exec && npm run fibonacci_buildstarkinfo_gpu && npm run fibonacci_pil_verify && npm run fibonacci_buildchelpers && npm run fibonacci_buildconsttree_gpu && npm run fibonacci_prove && npm run fibonacci_verify && npm run fibonacci_starkVerifier",
"test:fibonacci:C12:pil": "npm run fibonacci_C12_setup && npm run fibonacci_C12_exec && npm run fibonacci_C12_buildstarkinfo && npm run fibonacci_C12_pil_verify",
"test:fibonacci:C12:pil:im": "npm run fibonacci_C12_setup && npm run fibonacci_C12_exec && npm run fibonacci_C12_buildstarkinfo_preparePil && npm run fibonacci_C12_buildstarkinfo_calculateImPols && npm run fibonacci_C12_buildstarkinfo_genPilCode && npm run fibonacci_C12_pil_verify",
"test:fibonacci:C12:pil:im:opt": "npm run fibonacci_C12_setup && npm run fibonacci_C12_exec && npm run fibonacci_C12_buildstarkinfo_preparePil && npm run fibonacci_C12_buildstarkinfo_calculateImPols_opt && npm run fibonacci_C12_buildstarkinfo_genPilCode && npm run fibonacci_C12_pil_verify",
"test:fibonacci:C12:prove": "npm run fibonacci_C12_buildchelpers && npm run fibonacci_C12_buildconsttree && npm run fibonacci_C12_prove && npm run fibonacci_C12_verify && npm run fibonacci_C12_gencircomBN128 && npm run fibonacci_C12_starkVerifierBN128",
"test:fibonacci:C12:prove:custom": "npm run fibonacci_C12_buildstarkinfo_custom && npm run fibonacci_C12_buildchelpers && npm run fibonacci_C12_buildconsttree && npm run fibonacci_C12_prove && npm run fibonacci_C12_verify && npm run fibonacci_C12_gencircomBN128 && npm run fibonacci_C12_starkVerifierBN128",
"test:all": "npm run all_buildconst && npm run all_exec && npm run all_buildstarkinfo && npm run all_pil_verify && npm run all_buildchelpers && npm run all_buildconsttree && npm run all_prove && npm run all_verify && npm run all_gencircom && npm run all_compileverifier && npm run all_starkVerifier",
"test:all:im": "npm run all_buildconst && npm run all_exec && npm run all_buildstarkinfo_preparePil && npm run all_buildstarkinfo_calculateImPols && npm run all_buildstarkinfo_genPilCode && npm run all_pil_verify && npm run all_buildconsttree && npm run all_prove && npm run all_verify && npm run all_starkVerifier",
"test:all:im:opt": "npm run all_buildconst && npm run all_exec && npm run all_buildstarkinfo_preparePil && npm run all_buildstarkinfo_calculateImPols_opt && npm run all_buildstarkinfo_genPilCode && npm run all_pil_verify && npm run all_buildconsttree && npm run all_prove && npm run all_verify && npm run all_starkVerifier",
"test:all:gpu": "npm run all_buildconst && npm run all_exec && npm run all_buildstarkinfo_gpu && npm run all_pil_verify && npm run all_buildconsttree_gpu && npm run all_prove && npm run all_verify && npm run all_starkVerifier",
"test:all:C18:pil": "npm run all_C18_setup && npm run all_C18_exec && npm run all_C18_buildstarkinfo && npm run all_C18_pil_verify",
"test:all:C18:pil:im": "npm run all_C18_setup && npm run all_C18_exec && npm run all_C18_buildstarkinfo_preparePil && npm run all_C18_buildstarkinfo_calculateImPols && npm run all_C18_buildstarkinfo_genPilCode && npm run all_C18_pil_verify",
"test:all:C18:pil:im:opt": "npm run all_C18_setup && npm run all_C18_exec && npm run all_C18_buildstarkinfo_preparePil && npm run all_C18_buildstarkinfo_calculateImPols_opt && npm run all_C18_buildstarkinfo_genPilCode && npm run all_C18_pil_verify",
"test:all:C18:prove": "npm run all_C18_buildchelpers && npm run all_C18_buildconsttree && npm run all_C18_prove && npm run all_C18_verify && npm run all_C18_gencircomBN128 && npm run all_C18_starkVerifierBN128",
"test:fibonacci:pil2": "npm run fibonacci_pil2_buildconst && npm run fibonacci_pil2_exec && npm run fibonacci_pil2_buildstarkinfo && npm run fibonacci_pil2_pil_verify && npm run fibonacci_pil2_buildchelpers && npm run fibonacci_pil2_buildconsttree && npm run fibonacci_pil2_prove && npm run fibonacci_pil2_verify && npm run fibonacci_pil2_starkVerifier",
"test:C12": "npm run verifier_C12_setup && npm run verifier_C12_exec && npm run verifier_C12_buildstarkinfo && npm run verifier_C12_pil_verify && npm run verifier_C12_buildconsttree && npm run verifier_C12_prove && npm run verifier_C12_verify && npm run verifier_C12_gencircomBN128 && npm run verifier_C12_starkVerifierBN128",
"test:C12:custom": "npm run verifier_C12_setup && npm run verifier_C12_exec && npm run verifier_C12_buildstarkinfo_custom && npm run verifier_C12_pil_verify && npm run verifier_C12_buildconsttree && npm run verifier_C12_prove && npm run verifier_C12_verify && npm run verifier_C12_gencircomBN128 && npm run verifier_C12_starkVerifierBN128",
"test:C18": "npm run verifier_C18_setup && npm run verifier_C18_exec && npm run verifier_C18_buildstarkinfo && npm run verifier_C18_pil_verify && npm run verifier_C18_buildconsttree && npm run verifier_C18_prove && npm run verifier_C18_verify && npm run verifier_C18_gencircomBN128 && npm run verifier_C18_starkVerifierBN128",
"test:buildstarkinfo:zkevm:im:opt": "mkdir -p tmp && npm run zkevm_buildstarkinfo_preparepil && npm run zkevm_buildstarkinfo_calculateimpols_opt && npm run zkevm_buildstarkinfo_genpilcode",
"test:buildstarkinfo:all:im:opt": "mkdir -p tmp && npm run all_buildstarkinfo_preparePil && npm run all_buildstarkinfo_calculateImPols_opt && npm run all_buildstarkinfo_genPilCode",
"test:buildstarkinfo:C12:im:opt": "mkdir -p tmp && cp test/state_machines/sm_fibonacci/fibonacci.c12.pil tmp/fibonacci.c12.pil && npm run fibonacci_C12_buildstarkinfo_preparePil && npm run fibonacci_C12_buildstarkinfo_calculateImPols_opt && npm run fibonacci_C12_buildstarkinfo_genPilCode",
"test:buildstarkinfo:C18:im:opt":"mkdir -p tmp && cp test/state_machines/sm_all/all.c18.pil tmp/all.c18.pil && npm run all_C18_buildstarkinfo_preparePil && npm run all_C18_buildstarkinfo_calculateImPols_opt && npm run all_C12_buildstarkinfo_genPilCode",
"fibonacci_buildconst": "NODE_OPTIONS=--max-old-space-size=32000 node test/state_machines/sm_fibonacci/main_buildconst_fibonacci.js -o tmp/fibonacci.const",
"fibonacci_exec": "NODE_OPTIONS=--max-old-space-size=32000 node test/state_machines/sm_fibonacci/main_exec_fibonacci.js -p tmp/fibonacci.publics.json -i test/state_machines/sm_fibonacci/fibonacci.input.json -o tmp/fibonacci.commit",
"fibonacci_pil_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pilverifier.js -m tmp/fibonacci.commit -i tmp/fibonacci.publics.json -p test/state_machines/sm_fibonacci/fibonacci_main2.pil -c tmp/fibonacci.const -s tmp/fibonacci.starkinfo.json -e tmp/fibonacci.expressionsinfo.json",
"fibonacci_buildstarkinfo": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genstarkinfo.js -p test/state_machines/sm_fibonacci/fibonacci_main2.pil -s test/state_machines/sm_fibonacci/fibonacci.starkstruct.json -i tmp/fibonacci.starkinfo.json -e tmp/fibonacci.expressionsinfo.json -v tmp/fibonacci.verifierinfo.json",
"fibonacci_buildstarkinfo_gpu": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genstarkinfo.js -p test/state_machines/sm_fibonacci/fibonacci_main.pil -s test/state_machines/sm_fibonacci/fibonacci.starkstruct.gpu.json -i tmp/fibonacci.starkinfo.json -e tmp/fibonacci.expressionsinfo.json -v tmp/fibonacci.verifierinfo.json",
"fibonacci_buildchelpers": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildchelpers.js -s tmp/fibonacci.starkinfo.json -e tmp/fibonacci.expressionsinfo.json -c tmp/fibonacci.chelpers/FibonacciSteps.hpp -C Fibonacci -b tmp/fibonacci.chelpers/fibonacci.chelpers.bin -g tmp/fibonacci.chelpers/fibonacci.chelpers_generic.bin",
"fibonacci_buildconsttree": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/fibonacci.const -p test/state_machines/sm_fibonacci/fibonacci_main2.pil -s tmp/fibonacci.starkinfo.json -t tmp/fibonacci.consttree -v tmp/fibonacci.verkey.json",
"fibonacci_buildconsttree_gpu": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/fibonacci.const -p test/state_machines/sm_fibonacci/fibonacci_main.pil -s tmp/fibonacci.starkinfo.json -t tmp/fibonacci.consttree -v tmp/fibonacci.verkey.json",
"fibonacci_prove": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_prover.js -m tmp/fibonacci.commit -i tmp/fibonacci.publics.json -c tmp/fibonacci.const -t tmp/fibonacci.consttree -p test/state_machines/sm_fibonacci/fibonacci_main2.pil -s tmp/fibonacci.starkinfo.json -e tmp/fibonacci.expressionsinfo.json -o tmp/fibonacci.proof.json -z tmp/fibonacci.proof.zkin.json -b tmp/fibonacci.public.json",
"fibonacci_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_verifier.js -s tmp/fibonacci.starkinfo.json -i tmp/fibonacci.verifierinfo.json -o tmp/fibonacci.proof.json -b tmp/fibonacci.public.json -v tmp/fibonacci.verkey.json",
"fibonacci_gencircom": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pil2circom.js -p test/state_machines/sm_fibonacci/fibonacci_main.pil -s tmp/fibonacci.starkinfo.json -i tmp/fibonacci.verifierinfo.json -v tmp/fibonacci.verkey.json -o tmp/fibonacci.verifier.circom",
"fibonacci_compileverifier": "circom -l circuits.gl --O1 --prime goldilocks --inspect --r1cs --sym --wasm --verbose tmp/fibonacci.verifier.circom -o tmp",
"fibonacci_starkVerifier": "mocha test/stark/fibonacci_gl_verifier.circuit.test",
"fibonacci_compileC12verifier": "circom -l circuits.bn128 -l node_modules/circomlib/circuits --O1 --r1cs --sym --wasm --verbose tmp/fibonacci.c12.verifier.circom -o tmp",
"fibonacci_C12_setup": "NODE_OPTIONS=--max-old-space-size=32000 node src/compressor/main_compressor_setup.js -r tmp/fibonacci.verifier.r1cs -p tmp/fibonacci.c12.pil -c tmp/fibonacci.c12.const -e tmp/fibonacci.c12.exec",
"fibonacci_C12_exec": "NODE_OPTIONS=--max-old-space-size=32000 node src/compressor/main_compressor_exec.js -i tmp/fibonacci.proof.zkin.json -w tmp/fibonacci.verifier_js/fibonacci.verifier.wasm -p tmp/fibonacci.c12.pil -e tmp/fibonacci.c12.exec -m tmp/fibonacci.c12.commit",
"fibonacci_C12_pil_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pilverifier.js -m tmp/fibonacci.c12.commit -i tmp/fibonacci.publics.json -p tmp/fibonacci.c12.pil -c tmp/fibonacci.c12.const -s tmp/fibonacci.c12.starkinfo.json -e tmp/fibonacci.c12.expressionsinfo.json",
"fibonacci_C12_buildstarkinfo": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genstarkinfo.js -p tmp/fibonacci.c12.pil -s test/state_machines/sm_fibonacci/fibonacci.c12.starkstruct.json -i tmp/fibonacci.c12.starkinfo.json -e tmp/fibonacci.c12.expressionsinfo.json -v tmp/fibonacci.c12.verifierinfo.json",
"fibonacci_C12_buildstarkinfo_custom": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genstarkinfo.js -p tmp/fibonacci.c12.pil -s test/state_machines/sm_fibonacci/fibonacci.c12.starkstruct.json -i tmp/fibonacci.c12.starkinfo.json -e tmp/fibonacci.c12.expressionsinfo.json -v tmp/fibonacci.c12.verifierinfo.json",
"fibonacci_C12_buildstarkinfo_preparePil": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_preparepil.js -p tmp/fibonacci.c12.pil -s test/state_machines/sm_fibonacci/fibonacci.c12.starkstruct.json -f tmp/fibonacci.c12.infopil.json",
"fibonacci_C12_buildstarkinfo_calculateImPols": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_calculateimpols.js -f tmp/fibonacci.c12.infopil.json -m tmp/fibonacci.c12.impols.json",
"fibonacci_C12_buildstarkinfo_calculateImPols_opt": "python3 src/pil_info/imPolsCalculation/calculateImPols.py tmp/fibonacci.c12.infopil.json tmp/fibonacci.c12.impols.json",
"fibonacci_C12_buildstarkinfo_genPilCode": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genpilcode.js -m tmp/fibonacci.c12.impols.json -f tmp/fibonacci.c12.infopil.json -s tmp/fibonacci.c12.starkinfo.json -e tmp/fibonacci.c12.expressionsinfo.json -v tmp/fibonacci.c12.verifierinfo.json",
"fibonacci_C12_buildchelpers": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildchelpers.js -s tmp/fibonacci.c12.starkinfo.json -e tmp/fibonacci.c12.expressionsinfo.json -c tmp/fibonacci.c12.chelpers/FibonacciC12Steps.hpp -C FibonacciC12 -b tmp/fibonacci.c12.chelpers/fibonacci.c12.chelpers.bin -g tmp/fibonacci.c12.chelpers/fibonacci.c12.chelpers_generic.bin",
"fibonacci_C12_buildconsttree": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/fibonacci.c12.const -p tmp/fibonacci.c12.pil -s tmp/fibonacci.c12.starkinfo.json -t tmp/fibonacci.c12.consttree -v tmp/fibonacci.c12.verkey.json",
"fibonacci_C12_prove": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_prover.js -m tmp/fibonacci.c12.commit -i tmp/fibonacci.publics.json -c tmp/fibonacci.c12.const -t tmp/fibonacci.c12.consttree -p tmp/fibonacci.c12.pil -s tmp/fibonacci.c12.starkinfo.json -e tmp/fibonacci.c12.expressionsinfo.json -o tmp/fibonacci.c12.proof.json -z tmp/fibonacci.c12.proof.zkin.json -b tmp/fibonacci.c12.public.json --proverAddr=0xf39fd6e51aad88f6f4ce6ab8827279cfffb92266",
"fibonacci_C12_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_verifier.js -s tmp/fibonacci.c12.starkinfo.json -i tmp/fibonacci.c12.verifierinfo.json -o tmp/fibonacci.c12.proof.json -b tmp/fibonacci.c12.public.json -v tmp/fibonacci.c12.verkey.json",
"fibonacci_C12_gencircomBN128": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pil2circom.js -s tmp/fibonacci.c12.starkinfo.json -i tmp/fibonacci.c12.verifierinfo.json -v tmp/fibonacci.c12.verkey.json -o tmp/fibonacci.c12.verifier.circom",
"fibonacci_C12_compileverifier": "circom -l circuits.bn128 -l node_modules/circomlib/circuits --O1 --r1cs --sym --wasm -c --verbose tmp/fibonacci.c12.verifier.circom -o tmp",
"fibonacci_C12_starkVerifierBN128": "mocha test/stark/fibonacci_bn128_verifier.circuit.test.js",
"all_buildconst": "NODE_OPTIONS=--max-old-space-size=32000 node test/state_machines/sm_all/main_buildconst_all.js -o tmp/all.const",
"all_exec": "NODE_OPTIONS=--max-old-space-size=32000 node test/state_machines/sm_all/main_exec_all.js -i test/state_machines/sm_fibonacci/fibonacci.input.json -p tmp/all.publics.json -o tmp/all.commit",
"all_pil_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pilverifier.js -m tmp/all.commit -i tmp/all.publics.json -p test/state_machines/sm_all/all_main.pil -c tmp/all.const -s tmp/all.starkinfo.json -e tmp/all.expressionsinfo.json",
"all_buildstarkinfo": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genstarkinfo.js -p test/state_machines/sm_all/all_main.pil -s test/state_machines/sm_all/all.starkstruct.json -i tmp/all.starkinfo.json -e tmp/all.expressionsinfo.json -v tmp/all.verifierinfo.json --maxextendedbits=13",
"all_buildstarkinfo_gpu": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genstarkinfo.js -p test/state_machines/sm_all/all_main.pil -s test/state_machines/sm_all/all.starkstruct.gpu.json -i tmp/all.starkinfo.json -e tmp/all.expressionsinfo.json -v tmp/verifierinfo.json",
"all_buildstarkinfo_preparePil": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_preparepil.js -p test/state_machines/sm_all/all_main.pil -s test/state_machines/sm_all/all.starkstruct.json -f tmp/all.infopil.json",
"all_buildstarkinfo_calculateImPols": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_calculateimpols.js -f tmp/all.infopil.json -m tmp/all.impols.json",
"all_buildstarkinfo_calculateImPols_opt": "python3 -B src/pil_info/imPolsCalculation/calculateImPols.py tmp/all.infopil.json tmp/all.impols.json",
"all_buildstarkinfo_genPilCode": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genpilcode.js -m tmp/all.impols.json -f tmp/all.infopil.json -s tmp/all.starkinfo.json -e tmp/all.expressionsinfo.json -v tmp/all.verifierinfo.json",
"all_buildchelpers": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildchelpers.js -s tmp/all.starkinfo.json -e tmp/all.expressionsinfo.json -c tmp/all.chelpers/AllSteps.hpp -C All -b tmp/all.chelpers/all.chelpers.bin -g tmp/all.chelpers/all.chelpers_generic.bin",
"all_buildconsttree": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/all.const -p test/state_machines/sm_all/all_main.pil -s tmp/all.starkinfo.json -t tmp/all.consttree -v tmp/all.verkey.json",
"all_buildconsttree_gpu": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/all.const -p test/state_machines/sm_all/all_main.pil -s tmp/all.starkinfo.json -t tmp/all.consttree -v tmp/all.verkey.json",
"all_prove": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_prover.js -m tmp/all.commit -i tmp/all.publics.json -c tmp/all.const -t tmp/all.consttree -p test/state_machines/sm_all/all_main.pil -s tmp/all.starkinfo.json -e tmp/all.expressionsinfo.json -o tmp/all.proof.json -z tmp/all.proof.zkin.json -b tmp/all.public.json -v tmp/all.challenges.json",
"all_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_verifier.js -s tmp/all.starkinfo.json -i tmp/all.verifierinfo.json -o tmp/all.proof.json -b tmp/all.public.json -v tmp/all.verkey.json",
"all_gencircom": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pil2circom.js -s tmp/all.starkinfo.json -i tmp/all.verifierinfo.json -v tmp/all.verkey.json -o tmp/all.verifier.circom",
"all_compileverifier": "circom -l circuits.gl --O1 --inspect --prime goldilocks --r1cs --sym --wasm --verbose tmp/all.verifier.circom -o tmp",
"all_starkVerifier": "mocha test/stark/all_gl_verifier.circuit.test",
"all_C18_setup": "NODE_OPTIONS=--max-old-space-size=32000 node src/compressor/main_compressor_setup.js -r tmp/all.verifier.r1cs -p tmp/all.c18.pil -c tmp/all.c18.const -e tmp/all.c18.exec --cols=18",
"all_C18_exec": "NODE_OPTIONS=--max-old-space-size=32000 node src/compressor/main_compressor_exec.js -i tmp/all.proof.zkin.json -w tmp/all.verifier_js/all.verifier.wasm -p tmp/all.c18.pil -e tmp/all.c18.exec -m tmp/all.c18.commit",
"all_C18_pil_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pilverifier.js -m tmp/all.c18.commit -i tmp/all.publics.json -p tmp/all.c18.pil -c tmp/all.c18.const -s tmp/all.c18.starkinfo.json -e tmp/all.c18.expressionsinfo.json",
"all_C18_buildstarkinfo": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genstarkinfo.js -p tmp/all.c18.pil -s test/state_machines/sm_all/all.c18.starkstruct.json -i tmp/all.c18.starkinfo.json -e tmp/all.c18.expressionsinfo.json -v tmp/all.c18.verifierinfo.json",
"all_C18_buildstarkinfo_preparePil": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_preparepil.js -p tmp/all.c18.pil -s test/state_machines/sm_all/all.c18.starkstruct.json -f tmp/all.c18.infopil.json",
"all_C18_buildstarkinfo_calculateImPols": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_calculateimpols.js -f tmp/all.c18.infopil.json -m tmp/all.c18.impols.json",
"all_C18_buildstarkinfo_calculateImPols_opt": "python3 -B src/pil_info/imPolsCalculation/calculateImPols.py tmp/all.c18.infopil.json tmp/all.c18.impols.json",
"all_C18_buildstarkinfo_genPilCode": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genpilcode.js -m tmp/all.c18.impols.json -f tmp/all.c18.infopil.json -s tmp/all.c18.starkinfo.json -e tmp/all.c18.expressionsinfo.json -v tmp/all.c18.verifierinfo.json",
"all_C18_buildchelpers": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildchelpers.js -s tmp/all.c18.starkinfo.json -e tmp/all.c18.expressionsinfo.json -c tmp/all.c18.chelpers/AllC18Steps.hpp -C AllC18 -b tmp/all.c18.chelpers/all.c18.chelpers.bin -g tmp/all.c18.chelpers/all.c18.chelpers_generic.bin",
"all_C18_buildconsttree": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/all.c18.const -p tmp/all.c18.pil -s tmp/all.c18.starkinfo.json -t tmp/all.c18.consttree -v tmp/all.c18.verkey.json",
"all_C18_prove": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_prover.js -m tmp/all.c18.commit -i tmp/all.publics.json -c tmp/all.c18.const -t tmp/all.c18.consttree -p tmp/all.c18.pil -s tmp/all.c18.starkinfo.json -e tmp/all.c18.expressionsinfo.json -o tmp/all.c18.proof.json -z tmp/all.c18.proof.zkin.json -b tmp/all.c18.public.json --proverAddr=0xf39fd6e51aad88f6f4ce6ab8827279cfffb92266",
"all_C18_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_verifier.js -s tmp/all.c18.starkinfo.json -i tmp/all.c18.verifierinfo.json -o tmp/all.c18.proof.json -b tmp/all.c18.public.json -v tmp/all.c18.verkey.json",
"all_C18_gencircomBN128": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pil2circom.js -s tmp/all.c18.starkinfo.json -i tmp/all.c18.verifierinfo.json -v tmp/all.c18.verkey.json -o tmp/all.c18.verifier.circom",
"all_C18_compileverifier": "circom -l circuits.bn128 -l node_modules/circomlib/circuits --O1 --r1cs --sym --wasm --verbose tmp/all.c18.verifier.circom -o tmp",
"all_C18_starkVerifierBN128": "mocha test/stark/all_bn128_verifier.circuit.test.js",
"zkevm_buildstarkinfo_preparepil": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_preparepil.js -p test/state_machines/zkevm/main.pil -s test/state_machines/zkevm/zkevm.starkstruct.json -f tmp/zkevm.infopil.json",
"zkevm_buildstarkinfo_calculateimpols": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_calculateimpols.js -f tmp/zkevm.infopil.json -m tmp/zkevm.impols.json",
"zkevm_buildstarkinfo_calculateimpols_opt": "python3 -B src/pil_info/imPolsCalculation/calculateImPols.py tmp/zkevm.infopil.json tmp/zkevm.impols.json",
"zkevm_buildstarkinfo_genpilcode": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genpilcode.js -m tmp/zkevm.impols.json -f tmp/zkevm.infopil.json -s tmp/zkevm.starkinfo.json -e tmp/zkevm.expressionsinfo.json -v tmp/zkevm.verifierinfo.json",
"fibonacci_pil2_buildconst": "NODE_OPTIONS=--max-old-space-size=32000 node test/state_machines/pil2/sm_fibonacci/main_buildconst_fibonacci.js -o tmp/fibonacci.pil2.const",
"fibonacci_pil2_exec": "NODE_OPTIONS=--max-old-space-size=32000 node test/state_machines/pil2/sm_fibonacci/main_exec_fibonacci.js -p tmp/fibonacci.pil2.publics.json -i test/state_machines/sm_fibonacci/fibonacci.input.json -o tmp/fibonacci.pil2.commit",
"fibonacci_pil2_pil_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pilverifier.js -m tmp/fibonacci.pil2.commit -i tmp/fibonacci.pil2.publics.json -p test/state_machines/pil2/sm_fibonacci/fibonacci.pil -c tmp/fibonacci.pil2.const -s tmp/fibonacci.pil2.starkinfo.json -e tmp/fibonacci.pil2.expressionsinfo.json --pil2",
"fibonacci_pil2_buildstarkinfo": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genstarkinfo.js -p test/state_machines/pil2/sm_fibonacci/fibonacci.pil -s test/state_machines/pil2/sm_fibonacci/fibonacci.starkstruct.json -i tmp/fibonacci.pil2.starkinfo.json -e tmp/fibonacci.pil2.expressionsinfo.json -v tmp/fibonacci.pil2.verifierinfo.json --pil2",
"fibonacci_pil2_buildchelpers": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildchelpers.js -s tmp/fibonacci.pil2.starkinfo.json -e tmp/fibonacci.pil2.expressionsinfo.json -c tmp/fibonacci.pil2.chelpers/FibonacciPil2Steps.hpp -C FibonacciPil2 -b tmp/fibonacci.pil2.chelpers/fibonacci.pil2.chelpers.bin -g tmp/fibonacci.pil2.chelpers/fibonacci.pil2.chelpers_generic.bin",
"fibonacci_pil2_buildconsttree": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/fibonacci.pil2.const -p test/state_machines/pil2/sm_fibonacci/fibonacci.pil -s tmp/fibonacci.pil2.starkinfo.json -t tmp/fibonacci.pil2.consttree -v tmp/fibonacci.pil2.verkey.json",
"fibonacci_pil2_prove": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_prover.js -m tmp/fibonacci.pil2.commit -i tmp/fibonacci.pil2.publics.json -c tmp/fibonacci.pil2.const -t tmp/fibonacci.pil2.consttree -p test/state_machines/pil2/sm_fibonacci/fibonacci.pil -s tmp/fibonacci.pil2.starkinfo.json -e tmp/fibonacci.pil2.expressionsinfo.json -o tmp/fibonacci.pil2.proof.json -z tmp/fibonacci.pil2.proof.zkin.json -b tmp/fibonacci.pil2.public.json",
"fibonacci_pil2_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_verifier.js -s tmp/fibonacci.pil2.starkinfo.json -i tmp/fibonacci.pil2.verifierinfo.json -o tmp/fibonacci.pil2.proof.json -b tmp/fibonacci.pil2.public.json -v tmp/fibonacci.pil2.verkey.json",
"fibonacci_pil2_gencircom": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pil2circom.js -p test/state_machines/pil2/sm_fibonacci/fibonacci.pil -s tmp/fibonacci.pil2.starkinfo.json -i tmp/fibonacci.pil2.verifierinfo.json -v tmp/fibonacci.pil2.verkey.json -o tmp/fibonacci.pil2.verifier.circom",
"fibonacci_pil2_compileverifier": "circom -l circuits.gl --O1 --prime goldilocks --inspect --r1cs --sym --wasm --verbose tmp/fibonacci.pil2.verifier.circom -o tmp",
"fibonacci_pil2_starkVerifier": "mocha test/stark/fibonacci_pil2_gl_verifier.circuit.test",
"fibonacci_pil2_generate_files": "NODE_OPTIONS=--max-old-space-size=32000 node node test/state_machines/pil2/sm_fibv/generate_files.js -s test/state_machines/pil2/sm_fibv/data/fibv.starkstruct.json -p test/state_machines/pil2/sm_fibv/data/fibv.pilout",
"verifier_compile": "circom -l circuits.gl --O1 --prime goldilocks --r1cs --wasm --verbose test/compressor/verifier.circom -o test/compressor",
"verifier_C18_setup": "NODE_OPTIONS=--max-old-space-size=32000 node src/compressor/main_compressor_setup.js -r test/compressor/verifier.r1cs -p tmp/test.c18.pil -c tmp/test.c18.const -e tmp/test.c18.exec --cols=18",
"verifier_C18_exec": "NODE_OPTIONS=--max-old-space-size=32000 node src/compressor/main_compressor_exec.js -i test/compressor/verifier.proof.zkin.json -w test/compressor/verifier_js/verifier.wasm -p tmp/test.c18.pil -e tmp/test.c18.exec -m tmp/test.c18.commit",
"verifier_C18_pil_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/compressor/main_compressor_pil_verify.js -m tmp/test.c18.commit -p tmp/test.c18.pil -c tmp/test.c18.const",
"verifier_C18_buildstarkinfo": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genstarkinfo.js -p tmp/test.c18.pil -s test/state_machines/sm_all/all.c18.starkstruct.json -i tmp/test.c18.starkinfo.json -e tmp/test.c18.expressionsinfo.json -v tmp/test.c18.verifierinfo.json",
"verifier_C18_buildconsttree": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/test.c18.const -p tmp/test.c18.pil -s tmp/test.c18.starkinfo.json -t tmp/test.c18.consttree -v tmp/test.c18.verkey.json",
"verifier_C18_prove": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_prover.js -m tmp/test.c18.commit -i tmp/test.c18.publics.json -c tmp/test.c18.const -t tmp/test.c18.consttree -p tmp/test.c18.pil -s tmp/test.c18.starkinfo.json -e tmp/test.c18.expressionsinfo.json -o tmp/test.c18.proof.json -z tmp/test.c18.proof.zkin.json -b tmp/test.c18.public.json --proverAddr=0xf39fd6e51aad88f6f4ce6ab8827279cfffb92266",
"verifier_C18_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_verifier.js -s tmp/test.c18.starkinfo.json -i tmp/test.c18.verifierinfo.json -o tmp/test.c18.proof.json -b tmp/test.c18.public.json -v tmp/test.c18.verkey.json",
"verifier_C18_gencircomBN128": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pil2circom.js -s tmp/test.c18.starkinfo.json -i tmp/test.c18.verifierinfo.json -v tmp/test.c18.verkey.json -o tmp/test.c18.verifier.circom",
"verifier_C18_starkVerifierBN128": "mocha test/stark/test_c18_bn128_verifier.circuit.test.js",
"verifier_C12_setup": "NODE_OPTIONS=--max-old-space-size=32000 node src/compressor/main_compressor_setup.js -r test/compressor/verifier.r1cs -p tmp/test.c12.pil -c tmp/test.c12.const -e tmp/test.c12.exec --cols=12",
"verifier_C12_exec": "NODE_OPTIONS=--max-old-space-size=32000 node src/compressor/main_compressor_exec.js -i test/compressor/verifier.proof.zkin.json -w test/compressor/verifier_js/verifier.wasm -p tmp/test.c12.pil -e tmp/test.c12.exec -m tmp/test.c12.commit",
"verifier_C12_pil_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/compressor/main_compressor_pil_verify.js -t tmp/test.c12.commit -p tmp/test.c12.pil -c tmp/test.c12.const",
"verifier_C12_buildstarkinfo": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genstarkinfo.js -p tmp/test.c12.pil -s test/state_machines/sm_fibonacci/fibonacci.c12.starkstruct.json -i tmp/test.c12.starkinfo.json -e tmp/test.c12.expressionsinfo.json -v tmp/test.c12.verifierinfo.json",
"verifier_C12_buildstarkinfo_custom": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_genstarkinfo.js -p tmp/test.c12.pil -s test/state_machines/sm_fibonacci/fibonacci.c12.starkstruct.json -i tmp/test.c12.starkinfo.json -e tmp/test.c12.expressionsinfo.json -v tmp/test.c12.verifierinfo.json",
"verifier_C12_buildconsttree": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/test.c12.const -p tmp/test.c12.pil -s tmp/test.c12.starkinfo.json -t tmp/test.c12.consttree -v tmp/test.c12.verkey.json",
"verifier_C12_prove": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_prover.js -m tmp/test.c12.commit -i tmp/test.c18.publics.json -c tmp/test.c12.const -t tmp/test.c12.consttree -p tmp/test.c12.pil -s tmp/test.c12.starkinfo.json -e tmp/test.c12.expressionsinfo.json -o tmp/test.c12.proof.json -z tmp/test.c12.proof.zkin.json -b tmp/test.c12.public.json --proverAddr=0xf39fd6e51aad88f6f4ce6ab8827279cfffb92266",
"verifier_C12_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_verifier.js -s tmp/test.c12.starkinfo.json -i tmp/test.c12.verifierinfo.json -o tmp/test.c12.proof.json -b tmp/test.c12.public.json -v tmp/test.c12.verkey.json",
"verifier_C12_gencircomBN128": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pil2circom.js -s tmp/test.c12.starkinfo.json -i tmp/test.c12.verifierinfo.json -v tmp/test.c12.verkey.json -o tmp/test.c12.verifier.circom",
"verifier_C12_starkVerifierBN128": "mocha test/stark/test_c12_bn128_verifier.circuit.test.js",
"verifier_final_compile": "circom -l circuits.bn128 -l node_modules/circomlib/circuits --O1 --r1cs --sym --wasm --verbose test/final/verifier.circom -o test/final",
"verifier_final_setup": "NODE_OPTIONS=--max-old-space-size=32000 node src/final/main_final_setup.js -r test/final/verifier.r1cs -p tmp/verifier.final.pil -c tmp/verifier.final.const -e tmp/verifier.final.exec",
"verifier_final_exec": "NODE_OPTIONS=--max-old-space-size=32000 node src/final/main_final_exec.js -i test/final/verifier.proof.zkin.json -w test/final/verifier_js/verifier.wasm -p tmp/verifier.final.pil -e tmp/verifier.final.exec -m tmp/verifier.final.commit",
"verifier_final_pil_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_pilverifier.js -m tmp/verifier.final.commit -i tmp/final.publics.json -p tmp/verifier.final.pil -c tmp/verifier.final.const",
"plonktest_gl_compile": "circom --O1 --prime goldilocks --r1cs --sym --wasm --c --verbose test/plonk2pil/plonktest.gl.circom -o tmp/",
"plonktest_gl_wc": "snarkjs wc tmp/plonktest.gl_js/plonktest.gl.wasm test/plonk2pil/plonkinput.json tmp/plonktest.gl.wtns",
"plonktest_bn128_compile": "circom --O1 --r1cs --sym --wasm --c --verbose test/plonk2pil/plonktest.bn128.circom -o tmp/",
"plonktest_bn128_wc": "snarkjs wc tmp/plonktest.bn128_js/plonktest.bn128.wasm test/plonk2pil/plonkinput.json tmp/plonktest.bn128.wtns",
"gen_arguments_files": "mocha test/cfiles/fflonk_gen_arguments_files.js",
"gen_simple_files": "mocha test/cfiles/fflonk_gen_simple_files.js",
"gen_all_files": "mocha test/cfiles/fflonk_gen_all_files.js",
"gen_files": "npm run gen_arguments_files && npm run gen_simple_files && npm run gen_all_files"
},
"keywords": [
"stark",
"pil",
"zksnark",
"prover",
"polygon",
"hermez"
],
"dependencies": {
"@iden3/binfileutils": "^0.0.11",
"circom_runtime": "^0.1.18",
"circomlib": "^2.0.5",
"circomlibjs": "^0.1.6",
"ejs": "^3.1.8",
"fastfile": "^0.0.20",
"fs-extra": "^11.2.0",
"json-bigint": "^1.0.0",
"pilcom": "https://github.com/0xPolygonHermez/pilcom.git#polsArrayGeneric",
"pil2-compiler": "https://github.com/0xPolygonHermez/pil2-compiler.git#develop",
"protobufjs": "^7.2.4",
"r1csfile": "^0.0.44",
"sha3": "^2.1.4",
"shplonkjs": "https://github.com/0xPolygonHermez/shplonkjs.git#main",
"wasmbuilder": "^0.0.12",
"wasmcurves": "^0.1.5",
"workerpool": "^6.2.1"
},
"author": "Polygon Hermez",
"license": "UNLICENSED",
"devDependencies": {
"@iden3/bigarray": "^0.0.2",
"chai": "^4.3.6",
"chai-as-promised": "^7.1.1",
"circom_tester": "^0.0.20",
"logplease": "^1.2.15",
"mocha": "^10.0.0",
"temporary": "^1.1.0",
"tmp-promise": "^3.0.3"
}
}