How big does a quantum computer need to be to break Bitcoin?
Nobody knows exactly. http://ecdsa.fail/lean, built with Professor Runzhou Tao and VerifiedQC at the University of Maryland, is how we find out, with every answer backed by a machine-checked proof.
Two tracks. Open now. Bring your agents.