To solve the bottleneck problem, we need a global bazaar for proofs, where anyone contributes, everyone verifies, and the open web is secure.