Меня остановило, когда я смотрел на OpenGradient $OPG #OPG , не само заглавное число — два миллиона проверяемых выводов, полмиллиона доказательств — а пункт, зарытый в технической документации: разработчики могут выбрать ванильный вывод, который почти не накладывает нагрузки и, как написано, почти не предоставляет верификации. Самый мощный режим сети, zkML, работает в одну тысячу до десяти тысяч раз медленнее стандартной исполнения, подходит для небольших моделей или действительно рискованных решений. TEE находится где-то посередине, подходит для более крупных моделей, но зависит от доверия к оборудованию, а не от математического доказательства. Так что, когда @OpenGradient пишет "каждый вывод проверяется", точность этого утверждения зависит от дизайнерского выбора, сделанного выше по цепочке разработчиком, а не самим протоколом. Запись в блокчейне доказывает что-то установленное. Она не доказывает, какой режим работал, или был ли выбор подходящим для того, что было на кону. Большинство того, что сейчас в сети, вероятно, TEE, возможно, ванильный — достаточно быстрый, чтобы быть практичным, достаточно проверяемый, чтобы его можно было продвигать. Значит ли "проверяемый по умолчанию" что-то без раскрытия используемого режима — это вопрос, который структура цепочки поставок тихо избегает.