Obfuscation (Part II): Diamond iO

How Monero’s proof of work works

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

Missile Restocking

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

A shallow dive into formal verification