README.md

ZK Stack protocol specs

1. Introduction
2. Overview
3. L1 Contracts
4. zkEVM
   • VM Overview
   • VM Specification
   • Bootloader
   • System Contracts
   • Precompiles
   • Account Abstraction
   • Fee Model
5. L1<->L2 communication
   • Overview - Deposits and Withdrawals
   • L2->L1 messages
   • L1->L2 messages
6. Blocks and batches
7. Data Availability
   • Overview
   • Pubdata
   • Compression
   • Reconstruction
   • Validium and zkPorter
8. Prover
   • Overview - Boojum
   • ZK Terminology
   • Getting Started
   • Circuits
   • Circuit testing
   • Boojum gadgets
   • Boojum function: check_if_satisfied
9. The Hyperchain
   • Overview
   • Shared Bridge
   • Hyperbridges