Виталик Бутерин представляет ультра-быстрый ZK-EVM GKR протокол - Coinspeaker

Ключевые заметки

• Виталик Бутерин представил GKR для улучшения быстрых систем доказательства.
• Основатель Ethereum подчеркнул, что GKR не является нулевым знанием.
• Бутерин раскритиковал внимание индустрии ИИ к «агентным» моделям.

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

GKR не является нулевым знанием

Бутерин начал свой пост с признания существования ультра-быстрых ZK-проверов. Это ZK-EVM проверы, которые проявляют Ethereum Layer-1 в реальном времени и делают это всего с 50 потребительскими GPU.

«Люди подтверждают 2 миллиона хешей Позейдона в секунду на потребительских ноутбуках, а системы zk-ML подтверждают выводы LLM с нарастающей скоростью», отметил Бутерин.

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

Все, что требуется, это обязательства по входам и выходам, без промежуточных слоев. В долгосрочной перспективе это значительно повышает эффективность. Под «обязательствами» Бутерин имел в виду помещение данных в криптографическую структуру данных. Это можно достичь либо через KZG, либо через дерево Меркла, если это позволяет пользователю подтверждать запросы о конкретных аспектах этих данных.

Связанная статья: Виталик Бутерин поддерживает Base L2 от Coinbase: 'Делаем все правильно' Пользователи должны быть осторожны, чтобы не спутать GKR с протоколом нулевых знаний, так как он обрабатывает сжатие, а не конфиденциальность. Однако нулевые знания все же могут быть достигнуты с помощью GKR, так как все, что нужно сделать, это обернуть доказательство в ZK-SNARK или ZK-STARK.

Соучредитель Ethereum раскритиковал агентный ИИ

Среди многих протоколов, которые Бутерин обсуждает в последнее время, находятся модели Искусственного Интеллекта (AI). Два месяца назад он критиковал индустрию ИИ за чрезмерное внимание к “агентным” моделям. По его мнению, существует слишком много автономных систем, и это нехорошо.

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

В сентябре он также подчеркнул, что существует большая опасность, связанная с чрезмерной зависимостью от ИИ в управлении.

nextDisclaimer: Coinspeaker стремится предоставлять беспристрастные и прозрачные отчеты. Эта статья направлена на то, чтобы предоставить точную и своевременную информацию, но ее не следует воспринимать как финансовый или инвестиционный совет. Поскольку рыночные условия могут быстро изменяться, мы рекомендуем вам самостоятельно проверять информацию и консультироваться с профессионалом, прежде чем принимать какие-либо решения на основе этого контента.