feat(prover): add composable prover interface - #3437

Open

adr1anh wants to merge 28 commits into

nextfrom

adr1anh/prover-api

Commits on Aug 3, 2026

feat(prover): add composable prover interface
adr1anh
committed
a4e9c7c
refactor(verifier): simplify proof verification
adr1anh
committed
69cd025
refactor(prover): finalize composable proof lifecycle
adr1anh
committed
e914e93
refactor(prover): streamline public proving API
adr1anh
committed
e27dbd8
feat(core): add mergeable precompile witnesses
adr1anh
committed
8d303a7
feat(core): represent deferred execution proofs
adr1anh
committed
bbcde26
refactor(prover): support deferred and full proving
adr1anh
committed
b02e6a1
feat(verifier): verify deferred execution proofs
adr1anh
committed
4b1b636
refactor(vm): migrate deferred proof workflows
adr1anh
committed
ade1d07
docs: simplify prover API documentation
adr1anh
committed
703e47e
refactor(proof): clarify deferred verification semantics
adr1anh
committed
181ee48
refactor(processor): privatize trace replay
adr1anh
committed
084745d
refactor(processor): aggregate execution witnesses
adr1anh
committed
f9cb1ed
refactor(processor): rename materialized VM trace
adr1anh
committed
8a3c205
refactor(processor): rename execution-for-proving API
adr1anh
committed
c2a9889
refactor(prover): converge witness and trace proving
adr1anh
committed
c546565
chore(processor): format replay refactor
adr1anh
committed
2b238ad
refactor(vm): migrate composable proof lifecycle
adr1anh
committed
303955d
chore(core): remove redundant proof clone
adr1anh
committed
3f01949
chore: untrack prover API planning docs
adr1anh
committed
12a83bf
docs: finalize prover API review
adr1anh
committed
23e252d
fix(prover): reconcile canonical execution claims
adr1anh
committed
a17cbf3
docs: clean up rebased prover API history
adr1anh
committed
cf74ad4
fix(vm): stabilize rebased proving checks
adr1anh
committed
ac6b5e4
fix(verifier): preserve deferred recursive fixtures
adr1anh
committed
a09439b

Commits on Aug 4, 2026

fix(prover): address API review feedback
adr1anh
committed
7e9dccf
fix(core): bound aggregate precompile resources
adr1anh
committed
74a5bed
Merge remote-tracking branch 'origin/next' into adr1anh/prover-api
adr1anh
committed
9a73f2b

Navigation Menu

Uh oh!

feat(prover): add composable prover interface - #3437

feat(prover): add composable prover interface#3437
adr1anh wants to merge 28 commits into
nextfrom
adr1anh/prover-api

Commits on Aug 3, 2026

feat(prover): add composable prover interface

refactor(verifier): simplify proof verification

refactor(prover): finalize composable proof lifecycle

refactor(prover): streamline public proving API

feat(core): add mergeable precompile witnesses

feat(core): represent deferred execution proofs

refactor(prover): support deferred and full proving

feat(verifier): verify deferred execution proofs

refactor(vm): migrate deferred proof workflows

docs: simplify prover API documentation

refactor(proof): clarify deferred verification semantics

refactor(processor): privatize trace replay

refactor(processor): aggregate execution witnesses

refactor(processor): rename materialized VM trace

refactor(processor): rename execution-for-proving API

refactor(prover): converge witness and trace proving

chore(processor): format replay refactor

refactor(vm): migrate composable proof lifecycle

chore(core): remove redundant proof clone

chore: untrack prover API planning docs

docs: finalize prover API review

fix(prover): reconcile canonical execution claims

docs: clean up rebased prover API history

fix(vm): stabilize rebased proving checks

fix(verifier): preserve deferred recursive fixtures

Commits on Aug 4, 2026

fix(prover): address API review feedback

fix(core): bound aggregate precompile resources

Merge remote-tracking branch 'origin/next' into adr1anh/prover-api