-
Notifications
You must be signed in to change notification settings - Fork 29
/
package.json
147 lines (147 loc) · 22.6 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
{
"name": "pil-stark",
"version": "0.0.58",
"description": "Build a stark from a PIL",
"main": "index.js",
"scripts": {
"test": "npm run test:circuits && npm run test:helpers && npm run test:stark",
"test:circuits": "mocha test/circuits/**/*.test.js",
"test:circuits:bn128": "mocha test/circuits/bn128/**/*.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:fibonacci": "npm run fibonacci_buildconst && npm run fibonacci_exec && npm run fibonacci_pil_verify && npm run fibonacci_buildstarkinfo && npm run fibonacci_buildconsttree && npm run fibonacci_prove && npm run fibonacci_verify && npm run fibonacci_starkVerifier",
"test:fibonacci:gpu": "npm run fibonacci_buildconst && npm run fibonacci_exec && npm run fibonacci_pil_verify && npm run fibonacci_buildstarkinfo_gpu && npm run fibonacci_buildconsttree_gpu && npm run fibonacci_prove && npm run fibonacci_verify && npm run fibonacci_starkVerifier_gpu",
"test:fibonacci:C12:pil": "npm run fibonacci_C12_setup && npm run fibonacci_C12_exec && npm run fibonacci_C12_pil_verify",
"test:fibonacci:C12:prove": "npm run fibonacci_C12_buildstarkinfo && 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_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_pil_verify && npm run all_buildstarkinfo && npm run all_buildconsttree && npm run all_prove && npm run all_verify && 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_pil_verify && npm run all_buildstarkinfo_gpu && npm run all_buildconsttree_gpu && npm run all_prove && npm run all_verify && npm run all_starkVerifier_gpu",
"test:all:C18:pil": "npm run all_C18_setup && npm run all_C18_exec && npm run all_C18_pil_verify",
"test:all:C18:prove": "npm run all_C18_buildstarkinfo && 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:C12": "npm run verifier_C12_setup && npm run verifier_C12_exec && npm run verifier_C12_pil_verify && npm run verifier_C12_buildstarkinfo && 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_pil_verify && npm run verifier_C18_buildstarkinfo && 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:C12:custom": "npm run verifier_C12_setup && npm run verifier_C12_exec && npm run verifier_C12_pil_verify && npm run verifier_C12_buildstarkinfo_custom && 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: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 -i test/state_machines/sm_fibonacci/fibonacci.input.json -o tmp/fibonacci.commit",
"fibonacci_pil_verify": "NODE_OPTIONS=--max-old-space-size=32000 node node_modules/pilcom/src/main_pilverifier.js tmp/fibonacci.commit -p test/state_machines/sm_fibonacci/fibonacci_main.pil -c tmp/fibonacci.const",
"fibonacci_buildstarkinfo": "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.json -i tmp/fibonacci.starkinfo.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",
"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_main.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 -c tmp/fibonacci.const -t tmp/fibonacci.consttree -p test/state_machines/sm_fibonacci/fibonacci_main.pil -s tmp/fibonacci.starkinfo.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 -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 -v tmp/fibonacci.verkey.json -o tmp/fibonacci.verifier.circom",
"fibonacci_compileverifier": "circom -l circuits.gl --O1 --prime goldilocks --r1cs --sym --wasm --verbose tmp/fibonacci.verifier.circom -o tmp",
"fibonacci_starkVerifier": "mocha test/stark/fibonacci_gl_verifier.circuit.test",
"fibonacci_starkVerifier_gpu": "mocha test/stark/fibonacci_gl_verifier_gpu.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 node_modules/pilcom/src/main_pilverifier.js tmp/fibonacci.c12.commit -p tmp/fibonacci.c12.pil -c tmp/fibonacci.c12.const",
"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",
"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 --arity=4",
"fibonacci_C12_buildstarkinfo_preparePil": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_preparepil.js -p test/state_machines/sm_fibonacci/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 -i tmp/fibonacci.c12.starkinfo.json -p test/state_machines/sm_fibonacci/fibonacci.c12.pil",
"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 -c tmp/fibonacci.c12.const -t tmp/fibonacci.c12.consttree -p tmp/fibonacci.c12.pil -s tmp/fibonacci.c12.starkinfo.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 -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 -p tmp/fibonacci.c12.pil -s tmp/fibonacci.c12.starkinfo.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 --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_all/all.input.json -o tmp/all.commit",
"all_pil_verify": "NODE_OPTIONS=--max-old-space-size=32000 node node_modules/pilcom/src/main_pilverifier.js tmp/all.commit -p test/state_machines/sm_all/all_main.pil -c tmp/all.const",
"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",
"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",
"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 -i tmp/all.starkinfo.json -p test/state_machines/sm_all/all_main.pil",
"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 -c tmp/all.const -t tmp/all.consttree -p test/state_machines/sm_all/all_main.pil -s tmp/all.starkinfo.json -o tmp/all.proof.json -z tmp/all.proof.zkin.json -b tmp/all.public.json",
"all_verify": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_verifier.js -s tmp/all.starkinfo.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 -p test/state_machines/sm_all/all_main.pil -s tmp/all.starkinfo.json -v tmp/all.verkey.json -o tmp/all.verifier.circom",
"all_compileverifier": "circom -l circuits.gl --O1 --prime goldilocks --r1cs --sym --wasm --verbose tmp/all.verifier.circom -o tmp",
"all_starkVerifier": "mocha test/stark/all_gl_verifier.circuit.test",
"all_starkVerifier_gpu": "mocha test/stark/all_gl_verifier_gpu.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 node_modules/pilcom/src/main_pilverifier.js tmp/all.c18.commit -p tmp/all.c18.pil -c tmp/all.c18.const",
"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",
"all_C18_buildstarkinfo_preparePil": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_preparepil.js -p test/state_machines/sm_all/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 -i tmp/all.c18.starkinfo.json -p test/state_machines/sm_all/all.c18.pil",
"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 -c tmp/all.c18.const -t tmp/all.c18.consttree -p tmp/all.c18.pil -s tmp/all.c18.starkinfo.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 -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 -p tmp/all.c18.pil -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",
"all_compileC18verifier": "circom -l circuits.bn128 -l node_modules/circomlib/circuits --O1 --r1cs --sym --wasm --verbose tmp/all.c18.verifier.circom -o tmp",
"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 -t 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",
"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 -c tmp/test.c18.const -t tmp/test.c18.consttree -p tmp/test.c18.pil -s tmp/test.c18.starkinfo.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 -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 -p tmp/test.c18.pil -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",
"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 --arity=4",
"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 -c tmp/test.c12.const -t tmp/test.c12.consttree -p tmp/test.c12.pil -s tmp/test.c12.starkinfo.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 -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 -p tmp/test.c12.pil -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",
"plonktest_compile": "circom --O1 --prime goldilocks --r1cs --sym --wasm --c --verbose test/circuits/plonktest.circom -o tmp",
"plonktest_wc": "snarkjs wc tmp/plonktest_js/plonktest.wasm test/circuits/plonkinput.json tmp/plonktest.wtns"
},
"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",
"fs-extra": "^11.2.0",
"json-bigint": "^1.0.0",
"pilcom": "^0.0.22",
"r1csfile": "^0.0.44",
"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",
"mocha": "^10.0.0",
"temporary": "^1.1.0",
"tmp-promise": "^3.0.3"
}
}