proof/std-fpvm
Overview
Section titled “Overview”The proof/std-fpvm sub-crate (kona-std-fpvm) is part of the proof crate group.
It exposes platform-specific APIs for Fault Proof VM kernels and ships a buddy allocator that proof programs use as their global allocator.