Дилемма «передачи доверия» для верифицируемого ИИ
Когда я читаю техническую документацию, я вижу одну фразу: при каждом рассуждении/вычислении получаемое «верифицируемое доказательство» в итоге опирается на подпись AWS — а не на математику.
Эта фраза заставила меня остановиться. Когда TEE-узел регистрируется в сети, логика верификации выглядит так: «проверить, что доказательство подписано корневым CA AWS Nitro». Проще говоря, это не «без доверия», а перенос доверия с стороны проекта на AWS.
Еще более тревожит история безопасности самих TEE. Intel SGX появился в 2015 году и был прекращен Intel в 2022-м — за эти 7 лет уязвимостей накопилось столько, что его называли «ситом». L1TF/Foreshadow могли напрямую считывать данные из изолированной области SGX через side-channel (каналы побочных утечек). Plundervolt с помощью управления напряжением мог напрямую нарушать целостность изоляции.
Уровень верификации OPG не более прочный, чем у предшественников. Но сильнее всего держателя беспокоит не сами аппаратные уязвимости, а более фундаментальная логическая проблема: TEE может доказать, что «код выполняется в анклаве и не был изменён», но он не может доказать, что «в этом коде нет багов». Если в программной логике, на которой работает вычислительный узел, есть логические уязвимости, TEE всё равно подпишет его и запишет в блокчейн.
То «верифицируемое доказательство», которое вы получаете, подтверждает лишь то, что «код никто не трогал», а не то, что «код считает правильно». Как только TEE будет взломан, конфиденциальность и целостность всего уровня верификации мгновенно обнулятся.
Вы доверяете не математике, а чипу, который в любой момент может дать сбой.
#OPG $OPG @OpenGradient $BTC
Когда я читаю техническую документацию, я вижу одну фразу: при каждом рассуждении/вычислении получаемое «верифицируемое доказательство» в итоге опирается на подпись AWS — а не на математику.
Эта фраза заставила меня остановиться. Когда TEE-узел регистрируется в сети, логика верификации выглядит так: «проверить, что доказательство подписано корневым CA AWS Nitro». Проще говоря, это не «без доверия», а перенос доверия с стороны проекта на AWS.
Еще более тревожит история безопасности самих TEE. Intel SGX появился в 2015 году и был прекращен Intel в 2022-м — за эти 7 лет уязвимостей накопилось столько, что его называли «ситом». L1TF/Foreshadow могли напрямую считывать данные из изолированной области SGX через side-channel (каналы побочных утечек). Plundervolt с помощью управления напряжением мог напрямую нарушать целостность изоляции.
Уровень верификации OPG не более прочный, чем у предшественников. Но сильнее всего держателя беспокоит не сами аппаратные уязвимости, а более фундаментальная логическая проблема: TEE может доказать, что «код выполняется в анклаве и не был изменён», но он не может доказать, что «в этом коде нет багов». Если в программной логике, на которой работает вычислительный узел, есть логические уязвимости, TEE всё равно подпишет его и запишет в блокчейн.
То «верифицируемое доказательство», которое вы получаете, подтверждает лишь то, что «код никто не трогал», а не то, что «код считает правильно». Как только TEE будет взломан, конфиденциальность и целостность всего уровня верификации мгновенно обнулятся.
Вы доверяете не математике, а чипу, который в любой момент может дать сбой.
#OPG $OPG @OpenGradient $BTC