Feat/hint arena - #942

Open

diegokingston wants to merge 30 commits into

mainfrom

feat/hint-arena

Commits on Aug 3, 2026

Commits on Aug 4, 2026

Merge branch 'main' into chore/bump-ethrex-rev
jotabulacios
authored
a9ec7ce

Commits on Aug 10, 2026

Merge remote-tracking branch 'origin/main' into chore/bump-ethrex-rev-finish
diegokingston
committed
25d5e4b
docs(ethrex): point the fixture docs at the rev-suffixed asset
diegokingston
committed
55b400c

Commits on Aug 19, 2026

feat(hints): replace the hint ecall with a private-input hint arena
diegokingston
committed
cfdbb69
Merge origin/main into chore/bump-ethrex-rev
diegokingston
committed
50b4ce2
Merge branch 'chore/bump-ethrex-rev-finish' into feat/hint-arena
diegokingston
committed
ee8ee23
fix(guests): bump ecrecover_hints' ethrex-crypto pin to 4f658c2b
diegokingston
committed
7e519fd
perf(hints): auto-record the hint arena in prove/count entry points
diegokingston
committed
cd1d611
chore(hints): satisfy the lint gate (fmt + clippy)
diegokingston
committed
5781ff5

Commits on Aug 25, 2026

Merge branch 'main' into chore/bump-ethrex-rev
jotabulacios
authored
7d76e2f

Commits on Aug 27, 2026

Commits on Sep 2, 2026

Drop the two-pass hint API the guest never used
jotabulacios
committed
7f1e4d9