Feat/hint arena - #942

Open

diegokingston wants to merge 17 commits into

chore/bump-ethrex-revfrom

feat/hint-arena

Commits on Aug 19, 2026

feat(hints): replace the hint ecall with a private-input hint arena
diegokingston
committed
cfdbb69
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 26, 2026

Commits on Aug 27, 2026