经典的工作量证明(Proof-of-Work)证明了计算的发生。机器人也需要一种工作量证明,但不同的是:工作发生在现实世界中。 所以核心问题变成了:“这项工作真的发生了吗?” 机器人可以说它去过某个地方。它甚至可以上传日志。但是,日志很容易伪造,除非你将它们锚定到一些更难伪造的东西上:传感器数据、位置信号和防篡改证明的组合(这样数据就由受信执行环境“签名”)。 这就是硬件支持的证明(TEEs)变得相关的地方:你在信任操作员诚实报告,同时你也将信任转向一个可测量、可验证的运行时,它可以证明运行了什么代码以及观察到了什么数据,然后生成一个加密报告。 在实践中,这不会是一个神奇的证明。它看起来像是堆叠的证据:GPS + 惯性传感器 + 摄像头/LiDAR 指纹 + 证明 + 交叉检查(当报告冲突时的惩罚)。目标是让谎言的成本足够高。