Skip to content

Conversation

@hero78119
Copy link
Collaborator

@hero78119 hero78119 commented Dec 2, 2025

build on top of #1161

  • Add a new sdk to manage app prover, leaf prover, internal prover
  • refactor compress_to_root_proof to take reference of leaf_prover, internal_prover
  • simplify zkvm prover api accordingly, e.g. hide E2EProgramCtx within zkvm prover.

Example usage in ceno-reth scroll-tech/ceno-reth-benchmark#5

@hero78119 hero78119 marked this pull request as draft December 2, 2025 06:21
@hero78119 hero78119 marked this pull request as ready for review December 2, 2025 09:49
@hero78119 hero78119 enabled auto-merge December 3, 2025 05:18
@hero78119 hero78119 added this pull request to the merge queue Dec 3, 2025
Merged via the queue into master with commit 6089f78 Dec 3, 2025
4 checks passed
@hero78119 hero78119 deleted the feat/sdk branch December 3, 2025 06:30
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.

3 participants