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

Refactor pre-processing SNARK #220

Merged
merged 7 commits into from
Jan 1, 2024

Conversation

huitseeker
Copy link
Member

Please refer to the individual commit descriptions: they should each be straightforward.

The last commit performs the pre-processing step of #197 and moves all SumcheckEngine-related items to a sumcheck sub-module.

- Simplified the `padded` function in `ppsnark.rs`
- test case for the `padded` function
- Updated clippy configuration by removing and adding specific lints for stricter code checks.
- Refactor `R1CSShapeSparkRepr` in `ppsnark.rs`
- Restructure the main loop for simultaneous population of `row`, `col`, and `val_X` vectors.
- Introduced a new module `src/spartan/sumcheck/engine.rs`,
- Changed the visibility status of the `sumcheck` module, making it visible within the `spartan` module.
- Refactored the file structure as `src/spartan/sumcheck.rs` was renamed to `src/spartan/sumcheck/mod.rs` and a new submodule `engine` was added within the `spartan` crate.
- Refactored the import structures in `ppsnark` and `sumcheck::engine`, moving several items to `sumcheck::engine`.
Copy link
Contributor

@adr1anh adr1anh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Changes look good to me!

@huitseeker huitseeker added this pull request to the merge queue Jan 1, 2024
Merged via the queue into argumentcomputer:dev with commit c11e890 Jan 1, 2024
7 checks passed
@huitseeker huitseeker deleted the reorg_snarks branch January 1, 2024 13:55
huitseeker pushed a commit to huitseeker/arecibo that referenced this pull request Jan 2, 2024
* Refine comments

* Eliminate redundant computation

* 3bc248d26a48aa4fd51cc500bf2384f63f84c769
Revert "Refine comments"

This reverts commit 3bc248d26a48aa4fd51cc500bf2384f63f84c769.

* Revert "Eliminate redundant computation"

This reverts commit b8e4208992079b559d47d1096187a584f25409bb.

* Fix comments typos

* Eliminate redundant computation
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