Tomás Araújo

I'm a protocol engineer. The problems that hold my attention are the ones where a system's design has to be exactly right — state transitions, execution guarantees, consistency under concurrent access — because there's no partial credit once independent parties depend on the same result.

Blockchain execution environments are where that problem is sharpest, which is most of what I build and write about here: the EVM as a state machine, how caching changes what an oracle can honestly claim, how an intent gets resolved into one specific execution path. I tend to trust what I can verify against the real system over what should be true in theory.

This site is that work directly — the systems below, the research, and the experiments in the Lab — not a summary of it.