execution proof#217

Open

XuyangSong wants to merge 21 commits into

xuyang/execution_proof

Commits on Apr 1, 2026

Commits on Apr 2, 2026

execution proof benchmark
XuyangSong
committed

Commits on Apr 3, 2026

update execution proof benchmark
XuyangSong
committed

Commits on Apr 7, 2026

add prove entrypoint to execution-proof binary for pprof profiling
XuyangSong
committed
replace Vec<Transaction> with Vec<TxInfo> in ExecutionProofWitness
XuyangSong
committed

Commits on Apr 12, 2026

refactor: rename Info suffixes to Input in execution proof types
XuyangSong
committed
efactor: restructure ExecutionProofInstance app-data by action and transaction
XuyangSong
committed
perf: reduce allocations in execution proof guest circuit
XuyangSong
committed

Commits on Apr 14, 2026