WIP: Scale FLT IxVM execution with native setup, compact records, and incremental refinement - #621

Closed

johnchandlerburnham wants to merge 3 commits into

mainfrom

jcb/anthropic-flt-prove

Commits on Sep 9, 2026

perf(ixvm): move whole-partition setup into Rust
johnchandlerburnham
committed
f932a2d
perf(ixvm): reduce execution memory and refine shards incrementally
johnchandlerburnham
committed
1769b26
fix(bench): time effectful shard proving in IO
johnchandlerburnham
committed
3e7586a