如果你只记住关于链上证明的一件事： 那就是任何人都可以在不信任机器所有者的情况下验证所执行的计算。