Trace by Omar Espejel

Trace is a small technical publication for visual essays on proof systems, verifiable AI, STARKs, zkML, and adjacent research.

The goal is to make difficult proof-system ideas easier to inspect: first as structure, then as artifacts, then as claims that can be checked.

Omar Espejel writes and maintains the essays. The strongest pieces usually start from research-in-progress and are edited into explanations once the evidence is clear enough.