---
title: "proof/mpt"
description: "Merkle Patricia Trie utilities for traversal, lookup, and proof verification inside the FPVM."
source: https://basehub.org/crates/proof/mpt/
---
import { LinkCard } from '@astrojs/starlight/components';

## Overview

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

It implements Merkle Patricia Trie traversal, lookup, and proof verification used by the fault proof program to read state.

## Source

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