Building machine-checked cryptographic protocol infrastructure. Currently verifying Bitcoin's consensus components in Lean, with LLM-assisted proof engineering.
Read the latest edition: #3 — Taking "Don't Trust. Verify." Seriously
