---
title: "proof/driver"
description: "no_std driver that sequences derivation and execution steps inside the fault proof program."
source: https://basehub.org/crates/proof/driver/
---
import { LinkCard } from '@astrojs/starlight/components';

## Overview

The `proof/driver` sub-crate (`kona-driver`) is part of the [proof crate group](/crates/proof/overview/).

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.

## Source

<LinkCard title="View source on GitHub" href="https://github.com/base/base/tree/main/crates/proof/driver" />