Feat/ef io interface#579

Merged

MauroToscano merged 10 commits into

mainfrom

feature/ef-io-interface

May 18, 2026

Commits on May 7, 2026

Commits on May 8, 2026

Raise public output cap to 1 MB, guard load_bytes overflow, drop no_mangle from host stubs
jotabulacios
committed

Commits on May 12, 2026

Commits on May 13, 2026

Use usize::try_from
jotabulacios
committed

Commits on May 18, 2026

Guard private input length cast and cross-check public_output before returning VmProof
jotabulacios
committed
Merge branch 'main' into feature/ef-io-interface
jotabulacios
authored