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 57 commits into
base: feat/goldilocks-spartan
Choose a base branch
from

Conversation

darth-cy
Copy link
Collaborator

  • Merge feat/goldilocks-spartan, fix/no_zk_verifier and kunming/poseidon_test.
  • Add parallelization to multiply_vec_block and compute_eval_table_sparse_disjoint_rounds.
  • Observe performance change.

@darth-cy darth-cy changed the base branch from main to feat/goldilocks-spartan December 16, 2024 22:13
@Jiangkm3 Jiangkm3 force-pushed the feat/rayon_parallelism branch from 93e30d1 to 7a30c3b Compare December 18, 2024 03:38
@Jiangkm3 Jiangkm3 force-pushed the feat/rayon_parallelism branch from 7a30c3b to 5f17d48 Compare December 18, 2024 03:58
Kunming Jiang and others added 29 commits December 23, 2024 22:47
* Reversable: temporarily remove non-compiling parts

* Remove PCS and add Goldilocks

* Recover intermediate proofs

* Recover intermediate proofs

* Remove elliptic group definition

* Remove remnant ristretto255

* Remove comment blocks

* Correct goldilocks implementation

* Make workflow pass

* Remove extra space

* Remove comment blocks

* Correct comment blocks

* Correct arithmetics

* Recover SNARK verify checks

* Recover sumcheck instance verification check

* Comment out non-existent binaries.

* Remove unused binaries

* Graft in ceno-goldilocks

* Modify pow fn

* Add degree2 extension of goldilocks. Convert to ceno-goldilocks

* Migrate to generic instead of base field

* Migrate to generic instead of base field

* Migrate to generic instead of base field

* Remove unnecessary parameter specification

* Add deserialize trait bound

* fmt

* Resolve conflicts/duplicates/dep versioning from merge

* fmt

* fmt

* Correct itertools version

* Restore transcript consistency

* fmt

* Code improvement

* Code improvement

* Code improvement

* Code improvement

* Import ceno-goldilocks main branch

* fmt

* Reuse Goldilocks random

* Add basefield arithmetics

* fmt

* Use degree 2 ext for soundness

* Specify output

* Correct BaseField trait bound

* Improve arithmetic definition

* Reorder arithmetic definition

* Add arithmetic traits

* Feat/Remove ZK from Spartan Backend (#53)

---------

Co-authored-by: Yuncong Zhang <[email protected]>
Co-authored-by: Matthias Goergens <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants