如果人类协调有任何机会与AI一起加速发展，那么就需要廉价且普遍的加密可验证性。