proof/driver
Overview
Section titled “Overview”The proof/driver sub-crate (kona-driver) is part of the proof crate group.
It drives the no_std derivation pipeline, sequencing derive and execute steps so the fault proof program can advance the L2 chain step by step.