Building machine-checked cryptographic protocol infrastructure. Currently verifying Bitcoin's consensus components in Lean, with LLM-assisted proof engineering.
Read the latest edition: #4 — The Myth of the Valid Transaction
