Соучредитель Ethereum, Виталик Бутерин, представил протокол GKR (Goldwasser–Kalai–Rothblum), инновацию, которая обещает значительно улучшить эффективность криптографических доказательств и верификации расчетов в блокчейне.

Опубликованный в его личном блоге и поделенный через его официальный аккаунт в X, анонс объясняет, как этот метод может оптимизировать способ, которым Ethereum и другие сети обрабатывают сложные вычисления, не compromising безопасность и прозрачность.

Математический прорыв, применяемый к эффективности блокчейна

Протокол GKR основан на криптографической модели, первоначально введенной исследователями Шафи Голдвассер, Яэлем Калаем и Гаем Ротблюмом. Его цель не заключается в конфиденциальности - как у систем нулевого знания (ZK) -, а в проверяемой эффективности: продемонстрировать действительность обширных вычислений без необходимости повторять каждую операцию.

Простыми словами, GKR позволяет проверять большие объемы операций, от транзакций до выводов моделей ИИ, с помощью техник проверки суммы и полиномиальных преобразований. Этот подход представляет собой мощный инструмент для достижения быстрых и масштабируемых проверок как внутри, так и вне цепи.

GKR делает новый шаг к более быстрому и масштабируемому Ethereum

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

Протокол интегрируется с такими технологиями, как ZK-SNARKs и STARKs, действуя как предварительный слой верификации, который уменьшает размер и сложность доказательств. Это может привести к снижению комиссий за газ и повышению масштабируемости для решений Layer 2 на Ethereum.

Бутерин рассматривает этот прогресс в рамках своего видения <<более=“” легкого=“” и=“” модульного=“”>> Ethereum, где тяжелые вычисления выполняются вне цепи, а в цепи регистрируются только проверенные результаты.

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

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

В эпоху проверяемых вычислений

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

Предложение Бутерина подтверждает четкую тенденцию: следующая эволюция блокчейна будет касаться не только децентрализации, но и эффективности и интеллектуальной проверки.</ethereum>