Obfuscation: building the final boss of cryptography (Part I)

How Monero’s proof of work works

We spent $50 to measure Pearl's "AI mining" – 320K GPUs produce zero AI

Missile Restocking

Obfuscation (Part II): Diamond iO

A shallow dive into formal verification