如果人類協調有任何機會與AI一起加速，那麼就需要廉價且普遍的加密可驗證性。