Ключевые моменты
- Виталик Бутерин представил GKR для улучшения быстрых систем доказательств.
- Основатель Ethereum подчеркнул, что GKR не является zero-knowledge.
- Бутерин критиковал акцент индустрии искусственного интеллекта на “агентных” моделях.
Сооснователь Ethereum Виталик Бутерин представил протокол GKR, который включает инновации, способствующие созданию очень быстрых систем доказательств. Он описал эти решения как семейство протоколов, лежащих в основе высокой скорости многих действующих систем доказательств. Бутерин сосредоточился на демонстрации реализации GKR для доказательства хэшей Poseidon.
GKR не является zero-knowledge
Бутерин начал свой пост с признания существования ультра-быстрых ZK-provers. Это ZK-EVM prover'ы, которые реализуют Ethereum Layer-1 в реальном времени, используя всего 50 потребительских GPU.
“Люди доказывают 2 миллиона хэшей Poseidon в секунду на потребительских ноутбуках, а zk-ML системы доказывают выводы LLM с возрастающей скоростью,” отметил Бутерин.
Именно здесь вступает в игру протокол GKR. Он служит движущей силой этих prover'ов. Это решение предназначено для обеспечения быстрых доказательств ZK-EVM и zk-ML. Оно также оптимизировано для вычислений с несколькими слоями низкой степени и множеством повторяющихся применений функций, включая хэширование и нейронные сети.
Сооснователь Ethereum Виталик Бутерин представил протокол GKR — семейство протоколов, обеспечивающих очень быстрые системы доказательств. GKR — это основной протокол для быстрых доказательств ZK-EVM и zk-ML, оптимизированный для вычислений с несколькими слоями низкой степени и множеством повторяющихся применений функций…
— Wu Blockchain (@WuBlockchain) 20 октября 2025
Все, что требуется — это коммиты к входным и выходным данным, а не к промежуточным слоям. В долгосрочной перспективе это значительно повышает эффективность. Под “коммитами” Бутерин имел в виду помещение данных в криптографическую структуру данных. Это может быть реализовано либо через KZG, либо через Merkle tree, если структура позволяет пользователю доказывать запросы о конкретных аспектах этих данных.
Пользователям следует быть осторожными и не путать GKR с zero-knowledge протоколом, поскольку он обеспечивает краткость, а не приватность. Однако zero-knowledge все же можно достичь с помощью GKR — для этого достаточно обернуть доказательство в ZK-SNARK или ZK-STARK.
Сооснователь Ethereum критикует агентный ИИ
Среди множества протоколов, которые Бутерин обсуждал в последнее время, — модели искусственного интеллекта (AI). Два месяца назад он критиковал индустрию AI за чрезмерное внимание к “агентным” моделям. По его мнению, слишком много автономных систем, и это не хорошо.
Он отметил, что системы, допускающие больший вклад человека, дают лучшие и более безопасные результаты, что соответствует более ранним комментариям бывшего директора AI в Tesla Андрея Карпати. Очевидно, сооснователь Ethereum больше поддерживает open-weight AI модели, которые, по его словам, обладают сильными возможностями редактирования.
В сентябре он также подчеркнул, что чрезмерная зависимость от AI в управлении несет большую опасность.
next
