經典的工作量證明(Proof-of-Work)證明了計算的發生。機器人也需要一種工作量證明,但不同的是:工作發生在現實世界中。 所以核心問題變成了:“這項工作真的發生了嗎?” 機器人可以說它去了某個地方。它甚至可以上傳日誌。但日誌很容易造假,除非你將它們固定在一些更難偽造的東西上:一組傳感器數據、位置信號和防篡改的證明(這樣數據就會被可信執行環境“簽名”)。 這就是硬體支持的證明(TEEs)變得相關的地方:你在信任操作員誠實報告的同時,也將信任轉向一個可測量、可驗證的運行時,該運行時可以證明運行了什麼代碼以及觀察到了什麼數據,然後生成一份加密報告。 在實踐中,這不會是一個神奇的證明。它看起來像是堆疊的證據:GPS + 慣性傳感器 + 相機/激光雷達指紋 + 證明 + 交叉檢查(當報告衝突時的懲罰)。目標是讓謊言變得足夠昂貴。