forked from 0xPolygonHermez/pil-stark
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpackage.json
136 lines (136 loc) · 20.8 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
{
"name": "pil-stark",
"version": "0.0.57",
"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 && npm run fibonacci_C12_buildconsttree_custom && npm run fibonacci_C12_prove_custom && npm run fibonacci_C12_verify_custom && npm run fibonacci_C12_gencircomBN128_custom && 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: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 && npm run verifier_C12_buildconsttree_custom && npm run verifier_C12_prove_custom && npm run verifier_C12_verify_custom && npm run verifier_C12_gencircomBN128_custom && npm run verifier_C12_starkVerifierBN128",
"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 test/state_machines/sm_fibonacci/fibonacci.starkstruct.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 test/state_machines/sm_fibonacci/fibonacci.starkstruct.gpu.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_buildconsttree": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/fibonacci.c12.const -p tmp/fibonacci.c12.pil -s test/state_machines/sm_fibonacci/fibonacci.c12.starkstruct.json -t tmp/fibonacci.c12.consttree -v tmp/fibonacci.c12.verkey.json",
"fibonacci_C12_buildconsttree_custom": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/fibonacci.c12.const -p tmp/fibonacci.c12.pil -s test/state_machines/sm_fibonacci/fibonacci.c12.starkstruct.json -t tmp/fibonacci.c12.consttree -v tmp/fibonacci.c12.verkey.json --arity=4",
"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_prove_custom": "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 --arity=4",
"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_verify_custom": "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 --arity=4",
"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_gencircomBN128_custom": "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 --arity=4",
"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_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 test/state_machines/sm_all/all.starkstruct.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 test/state_machines/sm_all/all.starkstruct.gpu.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_buildconsttree": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/all.c18.const -p tmp/all.c18.pil -s test/state_machines/sm_all/all.c18.starkstruct.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 test/state_machines/sm_all/all.c18.starkstruct.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_buildconsttree": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/test.c12.const -p tmp/test.c12.pil -s test/state_machines/sm_fibonacci/fibonacci.c12.starkstruct.json -t tmp/test.c12.consttree -v tmp/test.c12.verkey.json",
"verifier_C12_buildconsttree_custom": "NODE_OPTIONS=--max-old-space-size=32000 node src/main_buildconsttree.js -c tmp/test.c12.const -p tmp/test.c12.pil -s test/state_machines/sm_fibonacci/fibonacci.c12.starkstruct.json -t tmp/test.c12.consttree -v tmp/test.c12.verkey.json --arity=4",
"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_prove_custom": "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 --arity=4",
"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_verify_custom": "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 --arity=4",
"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_gencircomBN128_custom": "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 --arity=4",
"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"
}
}