Basics

01 System Architecture 02 Prover Engine 03 AIR Constraints 04 Execution Trace 05 Verifier Logic 06 LogUp Buses 07 Cryptographic Chiplets 08 Preflight 09 Proof Generation 10 ZK Programs 11 Benchmarks and Testing