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

[Do not merge] Feat + Benchmark: Parallelism Poseidon Test #62

Open
wants to merge 49 commits into
base: feat/goldilocks-spartan
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
49 commits
Select commit Hold shift + click to select a range
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
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
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
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