Essays by Omar Espejel on proof systems, verifiable AI, and related research.https://blog.espejel.lol/https://blog.espejel.lol/essays/why-stark-execution-structure-fits-transformer-workloads/https://blog.espejel.lol/essays/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.Wed, 15 Apr 2026 00:00:00 GMT