Виталик Бутерин представил протокол GKR для ускорения систем доказательства Ethereum

Виталик Бутерин представляет протокол GKR для ускорения систем доказательства Ethereum

Сооснователь Эфириума Виталик Бутерин представил протокол GKR, новую семью криптографических систем доказательств, разработанных дляdramatically ускорения вычислений в ZK-EVM и zk-ML средах.

Созданный для эффективности, GKR обеспечивает генерацию доказательств с беспрецедентной скоростью, фиксируя только входные и выходные данные, что исключает необходимость верификации каждого промежуточного шага вычислений.

Прорыв в производительности доказательства

Подход GKR (Goldwasser–Kalai–Rothblum) оптимизирован для вычислений, которые используют несколько слоев низкой степени и повторяют аналогичные операции, такие как хэширование и вывод нейронных сетей. Это распространенные структуры как в криптографии, так и в ИИ, где масштабные доказательства должны обрабатывать миллионы операций одновременно.

В отличие от традиционных систем доказательств, таких как STARKs, которые требуют обязательств на каждом уровне, упрощенный метод GKR сосредотачивается на конечных точках, значительно сокращая накладные расходы. В результате создание доказательства происходит гораздо быстрее, особенно для ZK-EVM и моделей zk-ML, где вычислительный спрос огромен.

Эффективность без компромиссов

Согласно Бутерину, сила GKR заключается в его простоте. Он просто фиксирует входы и выходы, используя структуру доказательств проверки суммы для верификации шагов между ними. Эта структура делает его идеальным для повторяющихся рабочих нагрузок, таких как хеширование (, например, Poseidon) или нейронные слои, где шаблоны могут быть эффективно доказаны параллельно.

Хотя сам GKR не обеспечивает конфиденциальность с нулевым разглашением, его можно обернуть в системы ZK-SNARK или ZK-STARK для добавления конфиденциальности. Дизайн протокола позволяет достичь высокой эффективности при сохранении полной математической строгости в проверке правильности.

Почему это важно для Ethereum

Бутерин подчеркнул, что GKR представляет собой серьезный шаг вперед в области масштабируемости блокчейна и вычисления доказательств. Избегая избыточных обязательств и сосредотачиваясь на валидации от начала до конца, GKR позволяет быстро и с низкими затратами доказывать огромные объемы работ.

Поскольку Ethereum продолжает развиваться в сторону более быстрых и масштабируемых систем с нулевым раскрытием, GKR может стать основным компонентом, обеспечивающим работу современных фреймворков доказательства вычислений как в крипто, так и в AI-приложениях.