Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

update aggregate fib sh #67

Merged
merged 34 commits into from
Jun 22, 2023
Merged

update aggregate fib sh #67

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
694b222
add recursive circoms
cyl19970726 Jun 19, 2023
ced412c
add main_genrecursive.js
cyl19970726 Jun 19, 2023
bcf2f24
add recursive stark setup
cyl19970726 Jun 19, 2023
4487d90
add norm stage I
cyl19970726 Jun 19, 2023
b9ee133
updaet readme
cyl19970726 Jun 19, 2023
44679fd
updaet readme
cyl19970726 Jun 19, 2023
9515cb4
Update README.md
cyl19970726 Jun 20, 2023
cfd90ea
update test cli to match the new cli command
cyl19970726 Jun 21, 2023
1d97efb
Merge remote-tracking branch 'origin' into r1
cyl19970726 Jun 21, 2023
6fbfc73
Merge branch 'r1' of https://github.com/cyl19970726/eigen-zkvm into r1
cyl19970726 Jun 21, 2023
8127647
cli:norm_stage: SetFalse->SetTrue
cyl19970726 Jun 21, 2023
c02ed05
update readme
cyl19970726 Jun 21, 2023
2e5f24c
add normalization sh
cyl19970726 Jun 21, 2023
5101aaf
update starksetup
cyl19970726 Jun 21, 2023
c8b016d
update fib_agg sh
cyl19970726 Jun 21, 2023
6c19b97
add bn128 normalization
cyl19970726 Jun 21, 2023
3f1f8fd
fmt & mut starkproof
cyl19970726 Jun 21, 2023
186dcbc
update norm_stage flag of cli to match tsetTue
cyl19970726 Jun 21, 2023
010599f
optimize render
cyl19970726 Jun 21, 2023
61b64aa
fix grammar err
cyl19970726 Jun 21, 2023
d690b1f
mrege form r1
cyl19970726 Jun 21, 2023
ecef661
add input agr
cyl19970726 Jun 22, 2023
eb4241d
fix {{public [rootC]}}
cyl19970726 Jun 22, 2023
52a5ba4
run norm shell
cyl19970726 Jun 22, 2023
532e6b4
update data
cyl19970726 Jun 22, 2023
cef60bb
update readme and update run norm stage shell
cyl19970726 Jun 22, 2023
decba7b
fix ./starky/src/stark_verifier_circom_bn128.rs
cyl19970726 Jun 22, 2023
fe10ba4
update test_aggregation_fibonacci_verifier.sh
cyl19970726 Jun 22, 2023
e49a04e
mergge from main
cyl19970726 Jun 22, 2023
6b8d6f8
remove unused files
cyl19970726 Jun 22, 2023
b4c0b95
update test_aggregation_fibonacci_verifier.sh
cyl19970726 Jun 22, 2023
50d5f9d
add fib inptdata dir
cyl19970726 Jun 22, 2023
457ec43
move run_norm_0* into test/
cyl19970726 Jun 22, 2023
f516f49
remove wtns
cyl19970726 Jun 22, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
add normalization sh
  • Loading branch information
@cyl19970726
cyl19970726 committed Jun 21, 2023
commit 2e5f24c664187945e23875d0a5064c4669fa6bac
53 changes: 53 additions & 0 deletions starkjs/run_norm_00.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
npm run fib

../target/release/eigen-zkit stark_prove -s ../starky/data/starkStruct.json.gl \
-p /tmp/fib.pil.json \
--o /tmp/fib.const \
--m /tmp/fib.cm -c circuits/fib.verifier.circom --i circuits/fib.verifier.zkin.json


../target/release/eigen-zkit compile -p goldilocks -i circuits/fib.verifier.circom -l node_modules/pil-stark/circuits.gl --O2=full -o /tmp/


node src/compressor12/main_compressor12_setup.js \
-r /tmp/fib.verifier.r1cs \
-c /tmp/c12.const \
-p /tmp/c12.pil \
-e /tmp/c12.exec

node src/compressor12/main_compressor12_exec.js \
-w /tmp/fib.verifier_js/fib.verifier.wasm \
-i circuits/fib.verifier.zkin.json \
-p /tmp/c12.pil \
-e /tmp/c12.exec \
-m /tmp/c12.cm

../target/release/eigen-zkit stark_prove -s ../starky/data/c12.starkStruct.bn128.json \
-p /tmp/c12.pil.json \
--o /tmp/c12.const \
--m /tmp/c12.cm -c circuits/fibonacci.verifier_0.circom --i ../test/aggregation/fibonacci/000/input.json --norm_stage

# ../target/release/eigen-zkit stark_prove -s ../starky/data/c12.starkStruct.json \
# -p /tmp/c12.pil.json \
# --o /tmp/c12.const \
# --m /tmp/c12.cm -c circuits/c12a.verifier.circom --i circuits/c12a.verifier.zkin.json --norm_stage

# ../target/release/eigen-zkit compile -p goldilocks -i circuits/c12a.verifier.circom -l node_modules/pil-stark/circuits.gl --O2=full -o /tmp/

# node src/compressor12/main_compressor12_setup.js \
# -r /tmp/c12a.verifier.r1cs \
# -c /tmp/c12a.verifier.const \
# -p /tmp/c12a.verifier.pil \
# -e /tmp/c12a.verifier.exec

# node src/compressor12/main_compressor12_exec.js \
# -w /tmp/c12a.verifier_js/c12a.verifier.wasm \
# -i circuits/c12a.verifier.zkin.json \
# -p /tmp/c12a.verifier.pil \
# -e /tmp/c12a.verifier.exec \
# -m /tmp/c12a.verifier.cm

# ../target/release/eigen-zkit stark_prove -s ../starky/data/recursive.starkstruct.json \
# -p /tmp/c12a.verifier.pil.json \
# --o /tmp/c12a.verifier.const \
# --m /tmp/c12a.verifier.cm -c circuits/fibonacci.verifier1.circom --i ../test/aggregation/fibonacci/000/input.json
54 changes: 54 additions & 0 deletions starkjs/run_norm_01.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,54 @@
npm run fib

../target/release/eigen-zkit stark_prove -s ../starky/data/starkStruct.json.gl \
-p /tmp/fib.pil.json \
--o /tmp/fib.const \
--m /tmp/fib.cm -c circuits/fib.verifier.circom --i circuits/fib.verifier.zkin.json


../target/release/eigen-zkit compile -p goldilocks -i circuits/fib.verifier.circom -l node_modules/pil-stark/circuits.gl --O2=full -o /tmp/


node src/compressor12/main_compressor12_setup.js \
-r /tmp/fib.verifier.r1cs \
-c /tmp/c12.const \
-p /tmp/c12.pil \
-e /tmp/c12.exec

node src/compressor12/main_compressor12_exec.js \
-w /tmp/fib.verifier_js/fib.verifier.wasm \
-i circuits/fib.verifier.zkin.json \
-p /tmp/c12.pil \
-e /tmp/c12.exec \
-m /tmp/c12.cm

../target/release/eigen-zkit stark_prove -s ../starky/data/c12.starkStruct.bn128.json \
-p /tmp/c12.pil.json \
--o /tmp/c12.const \
--m /tmp/c12.cm -c circuits/fibonacci.circom --i ../test/aggregation/fibonacci/001/input.json --norm_stage


# ../target/release/eigen-zkit stark_prove -s ../starky/data/c12.starkStruct.json \
# -p /tmp/c12.pil.json \
# --o /tmp/c12.const \
# --m /tmp/c12.cm -c circuits/c12a.verifier.circom --i circuits/c12a.verifier.zkin.json --norm_stage

# ../target/release/eigen-zkit compile -p goldilocks -i circuits/c12a.verifier.circom -l node_modules/pil-stark/circuits.gl --O2=full -o /tmp/

# node src/compressor12/main_compressor12_setup.js \
# -r /tmp/c12a.verifier.r1cs \
# -c /tmp/c12a.verifier.const \
# -p /tmp/c12a.verifier.pil \
# -e /tmp/c12a.verifier.exec

# node src/compressor12/main_compressor12_exec.js \
# -w /tmp/c12a.verifier_js/c12a.verifier.wasm \
# -i circuits/c12a.verifier.zkin.json \
# -p /tmp/c12a.verifier.pil \
# -e /tmp/c12a.verifier.exec \
# -m /tmp/c12a.verifier.cm

# ../target/release/eigen-zkit stark_prove -s ../starky/data/recursive.starkstruct.json \
# -p /tmp/c12a.verifier.pil.json \
# --o /tmp/c12a.verifier.const \
# --m /tmp/c12a.verifier.cm -c circuits/fibonacci.circom --i ../test/aggregation/fibonacci/001/input.json