The Complete LC-3 Execution Lifecycle: From Assembly to Execution Traces

A first-principles walkthrough of a Rust-based LC-3 VM — from two-pass assembler to execution cycles, and laying the theoretical groundwork for zkVM traces.

A deep-dive into a Rust-based LC-3 VM. Trace a concrete assembly program through a two-pass assembler, binary loader, and CPU cycles to modern zkVM traces.

FibonacciSq STARK — Complete Explainer

A complete walkthrough of a FibonacciSq STARK — from execution trace and constraint polynomials to FRI commitment, decommitment, and verification.

A deep-dive into a FibonacciSq STARK. Trace a computation through finite field arithmetic, polynomial constraints, FRI layers, and Fiat-Shamir to a fully verified proof.