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
wants to merge 4 commits into
base: feat/migrate_compression
Choose a base branch
from

Conversation

roynalnaruto
Copy link

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

wip

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
…te-compression

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
…te-compression
@darth-cy darth-cy marked this pull request as draft September 19, 2024 16:56

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
…te-compression
@deseti
Copy link

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.

None yet

3 participants