Бутерин представляет систему доказательств GKR для повышения масштабируемости Ethereum
Сооснователь Ethereum Виталик Бутерин представил протокол GKR - систему доказательств нового поколения, призванную сделать вычисления с нулевым разглашением (ZK) быстрее и эффективнее. Опубликованный 20 октября в его блоге vitalik.eth.limo учебник рассказывает о том, как метод Голдвассера-Калаи-Ротблюма (GKR) может значительно улучшить способ верификации крупномасштабных вычислений в Ethereum.
Эта статья была переведена с оригинала. Читайте оригинальную версию от нашего корреспондента здесь.
Фреймворк GKR использует рекурсивную агрегацию доказательств, позволяя разработчикам проверять огромные партии операций с минимальными накладными расходами на цепочке, сообщает Crypto News.
Обрабатывая доказательства за логарифмическое время и устраняя необходимость в дорогостоящих промежуточных обязательствах, GKR предлагает более эффективную альтернативу традиционным системам ZK-SNARK и ZK-STARK.
Бутерин поблагодарил Льва Суханова, Чжэньфэя Чжана и Закари Уильямсона за их отзывы о работе, отметив, что эффективность и масштабируемость протокола делают его "естественным для доказательства больших партий хэшей и вычислений в стиле нейронных сетей".
Более быстрые, дешевые и масштабируемые криптографические доказательства
Протокол GKR позволяет доказателям пропускать промежуточные обязательства — основное узкое место в существующих системах доказательств ZK. Такая конструкция значительно снижает вычислительные затраты и потребление газа, прокладывая путь к созданию и проверке доказательств в реальном времени как в блокчейне, так и в контексте вычислений ИИ.
Хотя GKR сам по себе не является нулевым разглашением, он может быть обернут слоями SNARK или STARK для обеспечения конфиденциальности, сочетая лаконичность доказательства с конфиденциальностью. Такая гибкость делает его идеальным для решений по масштабированию второго уровня Ethereum, роллапов и кроссчейнов.
Протокол также обеспечивает более рациональную структуру для пакетной проверки, когда тысячи транзакций или вычислений могут быть проверены одновременно без ущерба для эффективности цепочки. Разработчики ожидают, что GKR может сократить время верификации на порядок по сравнению с текущими методами, особенно при агрегировании рулонов и верификации AI-моделей.
Важная веха в "бережливой" и устойчивой к квантованию дорожной карте Ethereum
Выпуск GKR представляет собой еще один шаг в долгосрочной стратегии Бутерина по созданию "бережливого Ethereum" - упрощенной, эффективной и квантоустойчивой архитектуры блокчейна. Протокол дополняет текущую эволюцию Ethereum в направлении более быстрого завершения, масштабируемости на основе ZK и облегченных клиентов, которые снижают требования к хранению данных на узлах.
В последних сообщениях Бутерина в блоге рассматривались схожие направления, включая управление на основе ZK, механизмы взаимодействия второго уровня и клиенты с частичным отсутствием состояния. В совокупности эти усовершенствования призваны сделать Ethereum более модульным, безопасным и устойчивым, поскольку сеть переходит на следующий этап масштабируемости.
С внедрением GKR криптографическая основа Ethereum станет легче и быстрее, что позволит разработчикам создавать высокопроизводительные ролловеры, частные приложения DeFi и верифицируемые системы вычислений ИИ — ключевые столпы в реализации концепции Бутерина о действительно масштабируемом, верифицируемом и децентрализованном интернете.
Недавно мы писали, что путь Ethereum в краткосрочной перспективе будет сильно зависеть от институциональных потоков и потоков крупных держателей, поскольку накопление или отток средств может изменить цену сильнее, чем обычная розничная торговля.
Последние новости Ethereum
- Forex
- Crypto