blog.espejel.lol

Omar Espejel

Notes and essays on proof systems, verifiable AI, and research in progress.

I write about proof systems, verifiable AI, and research I am trying to make clear.

Essays RSS GitHub

Essays

2026-04-15

Why STARK Execution Structure Fits Transformer Workloads

A guided visual essay for paper 1: why repeated decode, carried state, and explicit boundaries make transformer workloads structurally legible to trace-based proof systems.