proof/executor
Overview
Section titled “Overview”The proof/executor sub-crate (kona-executor) is part of the proof crate group.
It builds OP Stack blocks statelessly inside the FPVM, executing the EVM against witness data supplied through the preimage oracle.