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.

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

More efficient & data-parallel spartan #69

Open
wants to merge 109 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
109 commits
Select commit Hold shift + click to select a range
b237249
Reversable: temporarily remove non-compiling parts
darth-cy Oct 30, 2024
5441bba
Remove PCS and add Goldilocks
darth-cy Nov 4, 2024
21a6bf6
Recover intermediate proofs
darth-cy Nov 4, 2024
0557493
Recover intermediate proofs
darth-cy Nov 4, 2024
afb7fe4
Remove elliptic group definition
darth-cy Nov 4, 2024
5795de9
Remove remnant ristretto255
darth-cy Nov 4, 2024
5abe1b5
Remove comment blocks
darth-cy Nov 6, 2024
f418d76
Correct goldilocks implementation
darth-cy Nov 11, 2024
68ec90f
Make workflow pass
darth-cy Nov 11, 2024
b9ff64a
Remove extra space
darth-cy Nov 11, 2024
b88b5e1
Remove comment blocks
darth-cy Nov 13, 2024
5a8ea79
Correct comment blocks
darth-cy Nov 14, 2024
0ccbc53
Correct arithmetics
darth-cy Nov 14, 2024
3ce5832
Recover SNARK verify checks
darth-cy Nov 14, 2024
4a93233
Recover sumcheck instance verification check
darth-cy Nov 14, 2024
de8f6a8
Comment out non-existent binaries.
yczhangsjtu Nov 15, 2024
1eff07c
Remove unused binaries
matthiasgoergens Nov 18, 2024
df847f6
Graft in ceno-goldilocks
darth-cy Nov 18, 2024
799bd3e
Modify pow fn
darth-cy Nov 18, 2024
9c2beec
Merge pull request #19 from scroll-tech/feat/goldilocks-spartan-debug…
yczhangsjtu Nov 18, 2024
6067c24
Merge remote-tracking branch 'origin/feat/goldilocks-spartan' into fe…
darth-cy Nov 18, 2024
09fb7aa
Add degree2 extension of goldilocks. Convert to ceno-goldilocks
darth-cy Nov 18, 2024
46c4093
Migrate to generic instead of base field
darth-cy Nov 19, 2024
6c84689
Migrate to generic instead of base field
darth-cy Nov 19, 2024
9c03c96
Migrate to generic instead of base field
darth-cy Nov 20, 2024
0647c73
Remove unnecessary parameter specification
darth-cy Nov 20, 2024
eec2c75
Add deserialize trait bound
darth-cy Nov 20, 2024
a9a2ad6
fmt
darth-cy Nov 21, 2024
e30a997
Merge branch 'main' into feat/goldilocks-spartan
darth-cy Nov 21, 2024
06e2689
Resolve conflicts/duplicates/dep versioning from merge
darth-cy Nov 22, 2024
af32b96
fmt
darth-cy Nov 22, 2024
2075d75
fmt
darth-cy Nov 22, 2024
a9cde25
Correct itertools version
darth-cy Nov 22, 2024
a191023
Restore transcript consistency
darth-cy Nov 26, 2024
e5c2c6c
fmt
darth-cy Nov 26, 2024
6425c3a
Code improvement
darth-cy Nov 26, 2024
f856b99
Code improvement
darth-cy Nov 26, 2024
19b03e9
Code improvement
darth-cy Nov 26, 2024
1f4108a
Code improvement
darth-cy Nov 26, 2024
d792b15
Merge branch 'main' into feat/goldilocks-spartan
darth-cy Nov 28, 2024
4fbc3d7
Import ceno-goldilocks main branch
darth-cy Nov 28, 2024
8aa5d6f
fmt
darth-cy Nov 28, 2024
223e359
Reuse Goldilocks random
darth-cy Dec 2, 2024
de67fc9
Add basefield arithmetics
darth-cy Dec 2, 2024
967709d
fmt
darth-cy Dec 2, 2024
a7488b3
Use degree 2 ext for soundness
darth-cy Dec 2, 2024
70dd37c
Specify output
darth-cy Dec 2, 2024
8b5db3a
Correct BaseField trait bound
darth-cy Dec 3, 2024
c1a22e2
Improve arithmetic definition
darth-cy Dec 3, 2024
f4a5292
Reorder arithmetic definition
darth-cy Dec 4, 2024
e46e854
Merge branch 'main' into feat/goldilocks-spartan
darth-cy Dec 4, 2024
5f86ada
Add arithmetic traits
darth-cy Dec 4, 2024
d134a9f
Remove zk
darth-cy Dec 4, 2024
d4e022b
Remove blinds
darth-cy Dec 4, 2024
acbc979
remove nizk
kunxian-xia Dec 5, 2024
4b160ca
Adapt proving methods onto SumcheckInstanceProof. Remove ZK proof str…
darth-cy Dec 5, 2024
d1bfaca
Revert "Adapt proving methods onto SumcheckInstanceProof. Remove ZK p…
darth-cy Dec 5, 2024
6b39853
Resolve compilation issues
darth-cy Dec 6, 2024
a8ba63f
Remove additional commitment proofs
Dec 6, 2024
ffa6d7c
Added poseidon tests
Dec 6, 2024
ed996d3
Add basic size calculation
Dec 6, 2024
8d3679c
Update zxc
Dec 9, 2024
781a290
Feat/Remove ZK from Spartan Backend (#53)
darth-cy Dec 10, 2024
5a2a6c4
Added automatic poseidon testing script
Dec 10, 2024
0044de9
Allow multi-file record for witness
Dec 10, 2024
777b501
Allow dynamic constraint size in sparse poly commit
Dec 11, 2024
1eb023e
Group sparse commit by num_vars instead of num_nnz
Dec 11, 2024
7743f9a
Decrease sparse commitment size
Dec 12, 2024
b614b85
Correct r1csproof
darth-cy Dec 12, 2024
edb32b6
fmt
darth-cy Dec 12, 2024
2cfaf7c
Remove debug messages
Dec 13, 2024
e705c42
Merge branch 'kunming/poseidon_test' into feat/consolidated_parallelism
darth-cy Dec 15, 2024
a846222
Add multicore for vec mult
Dec 16, 2024
dbfafe5
Update setup
Dec 16, 2024
f0decf3
Add parallelism
darth-cy Dec 16, 2024
d72bd9a
Merge branch 'kunming/poseidon_test' into feat/rayon_parallelism
darth-cy Dec 16, 2024
5196830
Add parallelism
darth-cy Dec 16, 2024
abe0522
Arithmetic
darth-cy Dec 17, 2024
6edc0b0
Remove array copy for vector multiplication
Dec 17, 2024
93e30d1
Avoid memory copy in z_mat
Dec 18, 2024
5f17d48
Add lookups for x_rev and q_rev
Dec 18, 2024
0da6d07
Drop bit-reverse
Dec 24, 2024
3d8f012
Add parallelism to z_mat_gen
darth-cy Dec 25, 2024
611efe1
Parallelize bound_poly_vars_rq
darth-cy Dec 25, 2024
142134d
Adjust parallelism task level
darth-cy Dec 27, 2024
32a2d7c
Alternative folding scheme for bound_poly_vars_rq
darth-cy Dec 27, 2024
36b8d6c
Revert "Alternative folding scheme for bound_poly_vars_rq"
darth-cy Dec 28, 2024
485beec
Change parallelism scheme for bound_poly_vars_rq
darth-cy Dec 30, 2024
e064fa2
Correct randomness indexing
darth-cy Dec 30, 2024
b7b95cd
Add thread count for server test
darth-cy Dec 30, 2024
c7508d3
Remove debug flag
darth-cy Dec 30, 2024
3209b9f
Fixed multicore for z_bind
Dec 30, 2024
7265ef0
Remove debug message
Dec 30, 2024
2f2ecd7
Update self.num_proofs for bind_rq
Dec 30, 2024
fc385b6
Allow num_inputs to be different per witness_sec
Dec 30, 2024
bfee0c7
Parallel q and w round-by-round binding
Jan 2, 2025
16b8e1c
Better parallel binding on x
Jan 2, 2025
1520dbe
Simple multicore impl for sumcheck
Jan 2, 2025
ec8458a
Faster polyeval
Jan 2, 2025
6aea34c
Experimental improvements on block_witness_gen
Jan 3, 2025
2504e80
Time info for debugging
Jan 3, 2025
ae0b66a
Minor udpates to witness gen
Jan 3, 2025
ec3be5d
Incorporate new documentation
Jan 21, 2025
8d2336a
Update doc
Jan 22, 2025
e9b4147
Resolve merge with main
Jan 24, 2025
a009b53
Merge with main
Jan 24, 2025
bf6cd29
Bug fixes
Jan 24, 2025
2e11640
Update tests
Jan 24, 2025
5e24594
Update CI
Jan 24, 2025
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
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -96,4 +96,4 @@ jobs:
run: |
set -euxo pipefail
./setup.sh
./encode_ceno.sh
./test_poseidon.sh 1000
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
.DS_Store
*.rtk
*.ctk
zok_tests/benchmarks/poseidon_test/poseidon_const.zok

# Generated by Cargo
# will have compiled files and executables
Expand Down
5 changes: 1 addition & 4 deletions circ_blocks/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -51,10 +51,7 @@ from-pest = { version = "0.3", optional = true }
itertools = "0.10"
petgraph = { version = "0.6", optional = true }
spartan = { version = "0.8", default-features = false, optional = true }
spartan_parallel = { path = "../spartan_parallel", default-features = false, features = [
"multicore",
"profile",
] }
spartan_parallel = { path = "../spartan_parallel", default-features = false, features = ["profile"] }
merlin = { version = "3.0.0" }
curve25519-dalek = { version = "4", features = ["serde"], optional = true }
# TODO: kill
Expand Down
5,126 changes: 5,126 additions & 0 deletions circ_blocks/aaa

Large diffs are not rendered by default.

Loading
Loading