Виталик Бутерин написал длинное сообщение: GKR протокол может быстро доказать Ethereum, zk-ML ускоряет AI LLM

Виталик Бутерин назвал GKR, который позволяет с помощью небольшого количества GPU мгновенно генерировать доказательства Ethereum L1, открывая новую эру для масштабирования ZK (Предыстория: Могут ли MEV-боты Ethereum быть отмыванием денег? Американский суд впервые рассматривает дело братьев MIT, в котором 25 миллионов долларов арбитража подозреваются в мошенничестве) (Дополнительный контекст: Бутан перенес «государственную цифровую идентификацию» для 800000 граждан в Ethereum, Виталик: Дайте людям уверенность в том, что они контролируют свои данные) Основатель Ethereum Виталик Бутерин 19 числа опубликовал сообщение, в котором отметил, что протокол GKR позволяет доказательства нулевого знания (ZKP) войти в эпоху мгновенной работы: 50 потребительских GPU могут обрабатывать Ethereum L1, обычный ноутбук может проверять 2 миллиона раз в секунду хеш Poseidon. Этот прорыв закладывает новую основу для масштабирования блокчейна и защиты конфиденциальности. Эффективность GKR Проект GKR специально разработан для определенных вычислительных сценариев, его основное преимущество заключается в простоте. Традиционные STARKs требуют обязательств ко всем промежуточным слоям цепи, что требует сотен FFT и хеширования; GKR требует обязательств только на вход и выход, что значительно снижает размер доказательства и время проверки. Бутерин пояснил: “GKR - это криптографический протокол, специально разработанный для этой модели. Его эффективность обусловлена тем, что он избегает обязательств ко всем промежуточным слоям.” В качестве примера, используя хеш Poseidon2, GKR теоретически может снизить затраты для доказателей примерно в пятнадцать раз, в то время как традиционные решения могут увеличивать их до ста раз. Эффективность также может быть улучшена с помощью трюка Грюна, линейной пакетной обработки и частичной оптимизации раундов. Однако Бутерин также предостерег разработчиков, чтобы они обеспечили истинную случайность вызова Fiat–Shamir для поддержания безопасности. Ускорение ZK-EVM и zk-ML Высокоэффективные провайдеры немедленно проявляются в ZK-EVM. Pico Prism от Brevis использует многогрупповые GPU кластеры и завершает 99,6% доказательства блока Ethereum L1 за 12 секунд; Airbender от ZKSync также достигает подсекундной проверки. Эти примеры показывают, что технологии типа GKR обеспечивают мощность для реальной генерации блоков. Те же структурные особенности делают GKR подходящим для “многоуровневых низкоуровневых вычислений + большого количества повторяющихся функций” в zk-ML. Модели могут быть проверены без утечки весов и входных данных, закладывая основу для вычислений AI с учетом конфиденциальности. Мнение Уолл-стрит: эффективность - это конкурентоспособность GKR продвигает доказательства нулевого знания к массовому применению, напоминая оптимизацию производительности TCP/IP в свое время. Для инвесторов высокопроизводительная ZK инфраструктура и новые децентрализованные приложения станут фокусом; более низкие вычислительные затраты также могут привлечь мейнстримные учреждения. Хотя на данный момент провайдеры все еще зависят от большого количества GPU, в будущем, если ASIC будут доступны, экономический барьер можно ожидать снижения. GKR решает вопросы скорости и простоты, а уровень конфиденциальности можно дополнить SNARK или STARK. С развитием высокоскоростной ZK технологии формируется масштабируемая, эффективная и дружественная к конфиденциальности экосистема Web3. Связанные отчеты Завершено обновление Ethereum Fusaka, тестовая сеть Sepolia, следующий шаг - запуск тестовой сети Hoodi, ожидается, что в начале декабря будет запущена основная сеть. Фонд Ethereum создал “Группу исследований по конфиденциальности”, чтобы продвигать шесть основных дорожных карт и полностью запустить конкурентную гонку за конфиденциальность. Судья США был “физически отомщен” и поджег дом! Виталик призывает: используйте голосование zk, чтобы защитить судебных работников <Виталик опубликовал длинное сообщение: криптографический протокол GKR может быстро доказать Ethereum, zk-ML ускоряет AI LLM> Эта статья впервые была опубликована в BlockTempo “Динамика блокчейна - самый влиятельный медиапортал о блокчейне”.