Musings
17 June 2026
Vericoding: Formal Verification for AI Code Generation
Generative AI can now carry the burden of formal verification, synthesizing formally verifiable code directly from a specification, a practice that has come to be called vericoding. A background on formal methods and a market map of the field.
16 April 2024
TLS Oracles (zkTLS): Liberating Private Web Data with Cryptography
TLS secures web communications but can't prove data authenticity to a third party. TLS oracles (zkTLS) bridge that gap cryptographically, liberating private web data. An intro to TLS oracles, their use cases, and a map of projects in the field.