Просматривая документацию Newton Protocol Mainnet Beta, я искал то, что большинство комментариев упускают из виду. Обсуждений вокруг доказательств с нулевым разглашением (zero-knowledge proofs), EigenLayer и концепции Scoped Autonomy предостаточно, но один фундаментальный вопрос почти никогда не рассматривают всерьёз: где именно генерируются эти ZK-доказательства и какие предположения о безопасности привязаны к этой среде?
Ответ, спрятанный глубже в описании стека, заключается в том, что Newton объединяет Trusted Execution Environments (TEE) с доказательствами с нулевым разглашением как основу для вычислений вне цепочки. На практике, когда узлы в сети операторов AVS обрабатывают проверки политик и другие вычислительные задачи, они полагаются на TEE, чтобы защитить корректность и конфиденциальность выполнения. И только после этого они создают ZK-доказательство, чтобы убедить внешних верификаторов, что работа была выполнена добросовестно.
Когда я разобрался в архитектуре, стало ясно одно: это любопытный инженерный выбор. Размещение чувствительных вычислений, связанных со стратегией, внутри TEE off-chain, а не принудительное выполнение всего на публичном реестре, элегантно обходят две крупные проблемы — неконтролируемые расходы на gas и раскрытие конфиденциальных данных. Взимание gas за каждый атомарный шаг разрушило бы удобство использования, а некоторые входные данные (снимки активов, оценки контрагентов, условия эскроу) действительно не должны быть видны всему миру. Сочетание выполнения на базе TEE с ZK-аттестациями выглядит как практичное, хорошо обоснованное решение, а не как взлом.
Эта цепочка размышлений вернула меня к вопросу, который я отложил. Доказательства с нулевым разглашением вызывают доверие благодаря математической гарантии: если доказательство верно, то вычисление, которое оно описывает, действительно было выполнено так, как заявлено, независимо от честности любой стороны. Именно эта история и служит опорой для подхода Newton к безопасности.
Но происхождение доказательства — в коде, который выполняется внутри TEE. TEE — представьте Intel SGX — по сути, это безопасная комната, принудительно обеспеченная аппаратно, предоставленная вендором чипа. Она изолирует обработку от хостовой ОС так, чтобы посторонние не могли напрямую прочитать или изменить то, что происходит внутри энклава.
Вот допущение о доверии, которое нельзя игнорировать: безопасность TEE зависит от того, что чип не подвергался физическим вмешательствам, от того, что производитель не встроил бэкдоры, и от постоянного сдерживания аппаратных атак через боковые каналы. Это не какая-то далёкая теоретическая тревога. В период с 2018 по 2020 годы Intel SGX столкнулась с несколькими публично задокументированными уязвимостями — Foreshadow, Plundervolt, SG-Axe — каждая из которых показывала, что при определённых условиях злоумышленник мог извлечь ключевой материал из энклавов или исказить результаты вычислений. Обновления прошивки и патчи микрокода в итоге устранили эти конкретные векторы, но урок сохраняется: «периметр безопасности» TEE находится на уровне железа, и гарантии на уровне оборудования могут ухудшаться.
Конкретный сценарий: представьте, что в TEE, используемой оператором AVS в Newton, обнаруживается уязвимость типа zero-day. Атакующий эксплуатирует её в середине вычисления и незаметно «подмешивает» результат проверки политики так, что вердикт меняется с «reject» на «pass». Затем среда выполняет ZK-доказательство, подтверждающее тот искажённый результат. Проверка в блокчейне проходит успешно — доказательство математически корректно, оно подтверждает лишь то, что загрязнённое выполнение в TEE действительно дало «pass». С точки зрения доказательства вмешательство невидимо.
Стоит остановиться на дизайне стимулов. Основной акцент в питче безопасности Newton сделан на «математических гарантиях» — идее, что доказательства ZK неуязвимы. Это верно, при условии, что TEE не был скомпрометирован. Однако этот тезис редко оказывается на переднем плане в повествовании. Обычный пользователь, который понимает, что «доказательства ZK обеспечивают безопасность», обычно не добавляет молчаливое условие: «до тех пор, пока чип, выпустивший доказательство, доверен». Отсутствие этой оговорки создаёт слепую зону в оценке рисков — один слой риска оказывается не учтён.
Ничто из этого не говорит о том, что развертывание TEE у Newton страдает от активной компрометации; у меня нет таких знаний. Слои протокола привязывают экономические стимулы через restaking в EigenLayer, чтобы подталкивать операторов к честному поведению. Rhinestone и Octane добавляют дополнительную «страховочную» конструкцию, а инженерия ZK от Succinct повышает математическую надёжность. Слои TEE и ZKP — это действительно углублённая многоуровневая защита, а не единственный якорь доверия. Newton эти компоненты выбрала правильно.
Тем не менее я пока не нашёл чёткого публичного ответа на два вопроса. Существует ли обязательное требование к операторам Newton AVS регулярно проходить независимые оценки безопасности их аппаратного TEE? И когда уязвимости неизбежно всплывают, есть ли документированный, прозрачный процесс реагирования на инциденты? Эти два пункта отличают систему, в которой гарантии на уровне железа институционализированы, от системы, где безопасность опирается на фразу «пока ничего плохого не случилось».
Для тех, кто уже глубоко в TEE-исследованиях или способен самостоятельно оценить поверхность аппаратных атак, это не будет новостью. Но если вы обычный участник капитала и думаете, делегировать ли активы в Newton’s Mainnet Beta, есть дополнительный фильтр: публикует ли операторская сеть частоту проведения и результаты аудиторов безопасности TEE? Если да — риск управляется структурно. Если нет — эта часть модели гарантий держится на везении, а не на процессе.
Со стороны токенов я добавил новый сигнал в свой список: выпускала ли команда Newton или независимые исследователи когда-либо отчёт о позиции безопасности сред операторов AVS TEE? Если такой отчёт существует, тема воспринимается всерьёз. Если разговор даже не начинался, то утверждение «доказательства ZK гарантируют безопасность» имеет тихий разрыв в цепочке исполнения. Логика требования NEWT опирается на допущение, что защитный нарратив Newton подтверждается — и действительно ли он замыкает круг — а на уровне TEE это ключевая переменная.
Доказательства ZK в конечном счёте можно считать заслуживающими доверия, потому что вычислительная среда, которая их порождает, не была взломана — и эта среда представляет собой чип, сделанный руками людей. Это нужно учитывать в оценке рисков. Не стоит больше усложнять; в этом и заключается ключевая мысль.
