Skip to content
This repository was archived by the owner on Apr 18, 2025. It is now read-only.

[WIP] update prover crate#1422

Draft
roynalnaruto wants to merge 4 commits into
feat/migrate_compressionfrom
feat/update-prover-migrate-compression
Draft

[WIP] update prover crate#1422
roynalnaruto wants to merge 4 commits into
feat/migrate_compressionfrom
feat/update-prover-migrate-compression

Conversation

@roynalnaruto
Copy link
Copy Markdown

prover crate should use ce-snark-verifier to construct SNARKs for the compression circuit.

@darth-cy darth-cy marked this pull request as draft September 19, 2024 16:56
@deseti
Copy link
Copy Markdown

deseti commented Oct 2, 2024

This looks like a great step towards integrating  ce-snark-verifier  into the prover crate! I'm curious about the specific changes made and how they impact the performance and efficiency of the SNARK generation process.

Could you provide some more details about the changes made in this PR? For example, what are the key modifications to the  prover  crate? Are there any performance benchmarks or comparisons with the previous approach?

I'm also interested in understanding how the integration of  ce-snark-verifier  impacts the overall architecture of the prover.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants