Сооснователь Ethereum Виталик Бутерин анонсировал протокол GKR (Goldreich–Kahan–Rothblum), новую систему доказательств с долей участия, предназначенную для значительного ускорения вычислений в средах ZK-EVM и zk-ML.
GKR позволяет проверять крупные вычисления с минимальными накладными расходами в блокчейне, обрабатывая доказательства в логарифмическом времени без необходимости в дорогостоящих промежуточных обязательствах. Это делает его более эффективным по сравнению с традиционными системами, такими как ZK-SNARK или STARK.
Протокол оптимизирован для workloads с повторяющимися операциями, включая хеширование и нейронные сети, что расширяет его применение в блокчейне и искусственном интеллекте. Бутерин отметил, что GKR соответствует видению «Lean Ethereum» — упрощённой и квантово-устойчивой архитектуре сети, и поддерживает прогресс в направлении быстрой финализации, proof-of-stake и масштабируемости на основе zero-knowledge технологий.