A brief introduction to the Storage State Machine powering zkProver.
📄️ Sparse Merkle Tree
This document covers preliminary concepts needed to understand the way storage is designed for the zkProver.
📄️ A Simple SMT
A description of how the zkProver's SMTs are constructed
📄️ SMT Concepts
A description of more concepts and challenges about the zkProver's SMTs
📄️ SMT Operations
A description of basic operations on the zkProver's Sparse Merkle Trees (SMTs).
📄️ Creating Keys And Paths
An explanation of how the keys and paths are constructed in the Storage State Machine of zkProver.
A description of Storage State Machine's mechanism.
📄️ Executor and PIL
The Storage Executor is like a slave-worker to the master, the Storage Assembly code.