Виталик Бутерин, один из сооснователей Ethereum, подробно рассказал о внедрении протоколов Goldwasser-Kahan-Rothblum (GKR) в экосистему Ethereum. В своей новой статье он акцентирует внимание на том, как эти протоколы могут значительно оптимизировать процесс генерации доказательств с нулевым уровнем раскрытия (ZKP), повышая эффективность и масштабируемость сети.
Об этом сообщает Бизнес • Медиа
Что такое протокол GKR и его принцип работы
Концепция GKR была разработана в 2008 году Шафи Голдвассер, Яэль Тауман Калаи и Гаем Ротблумом. Ее суть заключается в делегировании сложных вычислений серверу с возможностью верификации результата без необходимости в полном пересчете каждого этапа. GKR разбивает сложное вычисление на несколько последовательных слоев, каждый из которых описывается многочленом. Проверка достоверности осуществляется путем анализа отдельных точек, что позволяет гарантировать правильность всей вычислительной процедуры, поскольку все слои связаны между собой.
Бутерин отмечает, что применение GKR позволяет значительно ускорить создание доказательств с нулевым уровнем раскрытия, что положительно скажется на производительности блокчейна.
Преимущества использования GKR в Ethereum
В статье Бутерин подчеркивает, что интеграция протокола GKR лежит в основе ряда современных систем быстрых ZK-доказов. Такое решение позволяет разделить сложные вычисления на слои и проверять их целостность с помощью коротких математических доказательств, существенно снижая нагрузку на сеть. Ключевым компонентом GKR является математический метод sumcheck, который обеспечивает проверку суммы значений сложного многочлена без отдельного вычисления каждого из них.
Бутерин привел примеры применения GKR, в частности для функции Poseidon2, которая использует массовое хеширование, и в нейронных сетях. По его словам, использование этой концепции может увеличить эффективность генерации доказательств в 15 раз, хотя этот процесс остается более сложным по сравнению с обычным хешированием.
«Внедрение GKR позволяет ускорить создание доказательств для тысяч транзакций одновременно, снизить стоимость газа для пользователей и применить ZK-доказательства в сложных сценариях — от DeFi до проверки вычислений ИИ».
Бутерин подчеркивает, что GKR не является новым криптографическим методом, а скорее надстройкой, которая повышает эффективность существующих решений, таких как zk-SNARK и zk-STARK. На текущем этапе он рекомендует использовать этот подход для оптимизации систем, требующих доказательств на каждом промежуточном шаге.
Ранее Виталик Бутерин анонсировал leanVM — виртуальную машину, специально оптимизированную для ZK-доказательств, которую он рассматривает как следующий этап масштабирования Ethereum.