Skip to content

chore: add sdk app prove without verify#2164

Merged
jonathanpwang merged 2 commits into
mainfrom
lunkai/no-verify
Oct 13, 2025
Merged

chore: add sdk app prove without verify#2164
jonathanpwang merged 2 commits into
mainfrom
lunkai/no-verify

Conversation

@luffykai

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions

This comment has been minimized.

Comment thread crates/sdk/src/prover/app.rs Outdated
@github-actions

Copy link
Copy Markdown
group app.proof_time_ms app.cycles app.cells_used leaf.proof_time_ms leaf.cycles leaf.cells_used
verify_fibair (+5 [+2.2%]) 235 322,610 2,058,654 - - -
fibonacci (-32 [-3.1%]) 1,002 1,500,209 2,100,402 - - -
regex (+49 [+2.1%]) 2,383 4,137,502 (-64178 [-0.4%]) 17,695,216 - - -
ecrecover (+19 [+2.7%]) 731 122,859 2,262,718 - - -
pairing (-57 [-3.9%]) 1,404 1,745,742 25,468,210 - - -

Commit: ac53eda

Benchmark Workflow

@jonathanpwang jonathanpwang merged commit 426091b into main Oct 13, 2025
17 checks passed
@jonathanpwang jonathanpwang deleted the lunkai/no-verify branch October 13, 2025 23:03
Maillew pushed a commit that referenced this pull request Oct 22, 2025
Co-authored-by: Jonathan Wang <31040440+jonathanpwang@users.noreply.github.com>
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