Historical and Multichain Storage Proofs

Marek Kirejczyk,Maciej Kalka,Leonid Logvinov

2024-11-01

Abstract:This paper presents a comprehensive analysis of storage proofs in the Ethereum ecosystem, examining their role in addressing historical and cross-chain state access challenges. We systematically review existing approaches to historical state verification, comparing Merkle Mountain Range (MMR) and Merkle-Patricia trie (MPT) architectures. An analysis involves their respective performance characteristics within zero-knowledge contexts, where performance challenges related to Keccak-256 are explored. The paper also examines the cross-chain verification, particularly focusing on the interactions between Ethereum and Layer 2 networks. Through careful analysis of storage proof patterns across different network configurations, we identify and formalize three architectures for cross-chain verification. By organizing this complex technical landscape, this analysis provides a structured framework for understanding storage proof implementations in the Ethereum ecosystem, offering insights into their practical applications and limitations.

Cryptography and Security

What problem does this paper attempt to address?

This paper attempts to address the challenges of accessing historical and cross - chain states in the Ethereum ecosystem. Specifically, it mainly focuses on the following two issues:

1. **Historical State Access**: How to effectively verify a specific state in the past of the blockchain (such as account balance, nonce, code hash, or storage value). This involves proving that a certain part of the state once existed in a specific block.

2. **Cross - chain State Access**: How to perform state verification between different blockchain networks (especially between Ethereum and its Layer 2 solutions). This includes interactions from L2 to L1, L1 to L2, and L2 to L2.

To solve these problems, the paper proposes the following methods and techniques:

- **Merkle Mountain Range (MMR) and Merkle - Patricia Trie (MPT)**:
- MMR provides an efficient proof - generation mechanism, especially suitable for handling growing data sets.
- MPT offers better flexibility and can manage historical data of arbitrary depth.

- **Performance Challenges in Zero - Knowledge Proofs**:
- The paper explores the performance challenges of the Keccak - 256 hash algorithm in the zero - knowledge proof environment and analyzes alternative zero - knowledge - friendly hash functions.

- **Multi - chain State Proof Architecture**:
- The paper formally defines three cross - chain verification modes: L2 to L1, L1 to L2, and L2 to L2, taking into account the asymmetric security relationships between layers and their different finality characteristics.

Through these technical means, the paper provides a structured framework for understanding the implementation of storage proofs in the Ethereum ecosystem and reveals its advantages and limitations in practical applications.

### Formula Representation

- **Calculation of Merkle Proof**:
\[
\text{Merkle Proof}=\left\{\text{Target Hash}, \text{Sibling Hashes}, \text{Root Hash}\right\}
\]

- **Calculation of the Root Hash of Merkle Mountain Range**:
\[
\text{MMR Root}=H(\text{Peak}_1, \text{Peak}_2,\dots,\text{Peak}_n)
\]
where \(H\) represents the hash function and \(\text{Peak}_i\) is the root hash of each peak.

- **Calculation of the Node Hash of Merkle - Patricia Trie**:
\[
\text{Node Hash}=H(\text{Child Node Hashes})
\]

These formulas show the core calculation process of storage proofs, ensuring data consistency and integrity.