{future}(ZEREBROUSDT)
У меня все время возникал вопрос, почему самый мощный вариант доказательства не является автоматически лучшим.
Архитектура ZKML от OpenGradient может создать математическое доказательство того, что конкретная модель выдала конкретный результат для заданного входа. Полные ноды могут проверить это доказательство без повторного запуска модели или изучения приватных входных данных и параметров модели.
Это серьезная гарантия. #OPG
Но это более сильное доказательство требует затрат: оно может потребовать в 1,000 до 10,000 раз больше работы, чем нормальное выполнение. Это делает ZKML более подходящим для небольших, высокостратегических ML моделей, чем для крупных генеративных систем, которые OpenGradient в настоящее время защищает через проверку на основе TEE.
Есть также важное различие в статусе: выводы на основе ZKML в настоящее время задокументированы через альфа-среду OpenGradient, а не через основной путь тестовой сети, готовой к производству.
Что выделялось, так это не ограничение.
Это было решение, которое следует за ним.
OpenGradient позволяет разработчикам выбирать между ZKML, TEE и Ванильной проверкой — и даже смешивать методы для разных вызовов модели. Разработчики, следовательно, должны оценить, какие результаты заслуживают математической точности, а какие могут полагаться на более легкие предположения.
Выбор самого сильного доказательства повсюду может сделать приложение непрактичным. Чересчур избирательный выбор может оставить самый важный шаг защищенным самым слабым методом.
Система предлагает спектр, а не притворяется, что одна модель доверия подходит для всего.
Мне нравится эта честность.
Часть, которую я не могу решить, заключается в том, улучшает ли эта гибкость безопасность через точность или ослабляет её, превращая силу проверки в еще один выбор разработчика.
Может ли ZKML создать уверенность именно там, где это важно, или сделать уверенность настолько редкой, что приложения резервируют её для неверных решений?
Как разработчикам OpenGradient следует использовать ZKML?
@OpenGradient $OPG $SYN $GUA