Введение
Виталик Бутерин поделился новым исследованием, которое может изменить подход Ethereum к проверке доказательств и масштабированию в ближайшие годы. Он представил протокол GKR — прорывную систему доказательства, предназначенную для ускорения и повышения эффективности вычислений с нулевым разглашением.
Протокол GKR
Опубликованный 20 октября на его личном блоге vitalik.eth.limo, новый учебник Бутерина подробно описывает протокол Голдвассер–Калай–Ротблюм. Этот метод рекурсивной агрегации доказательств имеет потенциал полностью изменить то, как Ethereum (ETH) обрабатывает масштабирование и верификацию.
Эффективность и преимущества
Рамки GKR проверяют большие вычисления с минимальными затратами на блокчейне, упрощая сложные криптографические доказательства. Бутерин описывает, как GKR обрабатывает доказательства за логарифмическое время, не требуя дорогостоящих промежуточных обязательств, что делает его гораздо более эффективным, чем традиционные системы ZK-SNARK или STARK.
«Это естественно подходит для доказательства больших партий хешей и вычислений в стиле нейронных сетей,» — написал он, подчеркивая его пригодность как для блокчейна, так и для ИИ-нагрузок.
Снижение затрат и вычислительной нагрузки
Благодаря дизайну протокола, доказатели могут пропускать обязательства на промежуточных этапах, что снижает стоимость и вычислительную нагрузку. Хотя GKR сам по себе не является нулевым разглашением, его можно обернуть в слои ZK-SNARK или STARK для обеспечения конфиденциальности, сочетая краткость с конфиденциальностью.
Концепция «Lean Ethereum»
GKR соответствует более широкой концепции Бутерина о «Lean Ethereum» — упрощенном и устойчивом к квантовым атакам дизайне сети. Он напрямую поддерживает переход Ethereum к более быстрой финализации, агрегации доказательств для роллапов и масштабированию на основе нулевого разглашения.
Заключение
Этот релиз следует за несколькими связанными инициативами от Бутерина, такими как предложения по продвинутым инструментам интероперабельности между сетями второго уровня, частичным статeless-клиентам для минимизации хранения узлов и управлению, обеспеченному ZK. Вместе они направлены на то, чтобы сделать Ethereum более эффективным, приватным и доступным. Криптографическая основа Ethereum может стать легче и быстрее, когда разработчики начнут экспериментировать с системами на основе GKR, что поможет реализовать долгосрочную цель Бутерина по масштабируемым, проверенным вычислениям.
