feat(sdk): async app prover #2154

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.

Sign up for GitHub

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

Jump to bottom

Draft

jonathanpwang wants to merge 11 commits into chore/backend-1.2.1-rc.4 from feat/async-continuation-prover

+285 −70

Contributor

jonathanpwang commented Oct 7, 2025 •

edited

Loading

Adds AsyncAppProver which executes metered serially and then re-executes while spawning prover tasks for each continuation segment. The prover tasks use a semaphore to limit the max concurrency.

Note this PR includes the fix #2155


          feat(sdk): async app prover

a45ae74

jonathanpwang requested review from nyunyunyunyu and Qumeric

October 7, 2025 07:17

This comment has been minimized.

Sign in to view


          chore: return err on overflow

f44e9a5

This comment has been minimized.

Sign in to view


          chore: loosen tokio versioning

0c2c7af

This comment has been minimized.

Sign in to view


          debug

c998085

This comment has been minimized.

Sign in to view


          fix: handle tco case for 0 num_insns

f3d2da1

This comment has been minimized.

Sign in to view


          chore: switch stark-backend branch

d62b0d9

This comment has been minimized.

Sign in to view


          fix: pure execute last segment

fba35ed

This comment has been minimized.

Sign in to view


          fix: error type

9dc634a

This comment has been minimized.

Sign in to view


          fix: tracing

This comment has been minimized.

Sign in to view


          fix instrument fields

beeabf9

This comment has been minimized.

Sign in to view


          fix: async span handling

9049f9c

github-actions bot commented Oct 10, 2025

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	241	322,610	2,058,654	-	-	-
fibonacci	1,001	1,500,209	2,100,402	-	-	-
regex	2,393	4,137,372	17,759,394	-	-	-
ecrecover	707	122,859	2,263,820	-	-	-
pairing	1,431	1,745,742	25,468,210	-	-	-

Commit: 9049f9c

Benchmark Workflow

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

Labels

None yet