Классический Proof-of-Work доказывает, что вычисления произошли. Робототехнике также нужен Proof-of-Work, но другой: работа произошла в реальном мире. Таким образом, основной вопрос становится: "Действительно ли работа была выполнена?" Робот может сказать, что он куда-то ездил. Он даже может загрузить журналы. Но журналы легко подделать, если не привязать их к чему-то более сложному для подделки: комбинации данных с датчиков, сигналов местоположения и защиты от подделки (так что данные "подписаны" доверенной средой выполнения). Здесь становится актуальной аппаратная аттестация (TEE): вы доверяете оператору честно сообщать, и вы также переносите доверие на измеряемую, проверяемую среду выполнения, которая может доказать, какой код выполнялся и какие данные он наблюдал, а затем создать криптографический отчет. На практике это не будет одним волшебным доказательством. Это будет выглядеть как накопленные доказательства: GPS + инерциальные датчики + отпечатки камеры/LiDAR + аттестация + перекрестная проверка (и штрафы, когда отчеты противоречат друг другу). Цель состоит в том, чтобы сделать ложь достаточно дорогой.