We’re making it dirt cheap to verify software of any size.

Powerful adversaries and code complexity will only scale faster, and patching bugs as we find them won’t keep up with something smarter than us. Verification breaks the asymmetry: untrusted agents prove to you that their work does what you asked. A proof covers the entire behavior space ahead of time, checking it is cheap, and oversight stops scaling with code volume or adversary strength.

The bottleneck is cost, so our focus is scaling the frontier of cost and capability. We move that curve by picking directions where cost falls fastest at scale, and targets that are critical software in their own right, until verification is a default property of important software. Read more →