An inquiry into suffering, conditioning, and the ending of escape
A personal exploration of identity, societal conditioning, and the realization that true change begins with direct observation and the end of all escapes.
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.
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.