If human coordination has any chance of accelerating alongside AI, it's going to require cheap and ubiquitous cryptographic verifiability.