Здесь мы сообщаем о прогрессе ведущих разработчиков в экосистеме zkVM, документируя недавние значительные релизы, технические прорывы и общие обновления. С участием: @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc и @openvm_org 👇

Succinct 🔹 Технологии 🔹 @SuccinctLabs представила SP1-CC, ZK сопроцессор для @ethereum, который позволяет разработчикам читать историческое состояние блокчейна, выполнять сложные вычисления вне цепи и проверять результаты в цепи с помощью единственного доказательства: SP1-CC устраняет ограничения по газу и ограничения EVM, не изменяя код L1, что открывает новые возможности в управлении, DeFi, аирдропах и раскрытии информации о безопасности. Команды, такие как @eigenlayer, уже используют его для снижения затрат и увеличения гибкости. 🔹 Партнёрства 🔹 Проект недавно объявил о ряде новых партнёрств, включая: 🔹 @Snarkify_ZKP: Присоединился к сети Succinct Prover в качестве ранней команды провайдеров, предоставив индивидуальный движок доказательства SP1-SRT, оптимизированный для генерации ZKP в реальном времени на GPU и FPGA, что помогает снизить задержку и стоимость по всей сети: 🔹 @a41_allforone: Интегрирован в сеть в качестве многоузлового провайдера с планировщиком, который координирует сотни GPU, а также с оптимизированным для Python бэкендом, позволяющим высокопроизводительное доказательство для приложений, таких как игры, ИИ и роллапы: 🔹 @cysic_xyz: Добавлен в сеть в качестве аппаратного провайдера, работающего на крупных кластерах GPU и готовящегося к запуску индивидуального ASIC для нагрузок zkVM, внося глубокую экспертизу от ZPRIZE и инфраструктуры ZK производственного уровня: 🔹 @worldcoin: Сотрудничали для доказательства всех транзакций в World Chain с использованием OP Succinct, проводя 7-дневный эксперимент в основной сети с параллельной проверкой доказательств и демонстрируя быстрые, экономически эффективные доказательства действительности для одной из крупнейших цепей OP Stack: 🔹 @Mantle_Official: Поддержали переход Mantle Network на OP Succinct в тестовой сети, согласуясь с их дорожной картой по улучшению безопасности и децентрализации с помощью ZK-управляемых доказательств ошибок и модульной инфраструктуры: 🔹 @zan_team: Присоединился в качестве многоузлового провайдера, поддерживаемого @AntChainOpenLab, внося аппаратную инфраструктуру с ускорением и оптимизацию SP1 на FPGA, что улучшает скорость доказательства в 20 раз по сравнению с CPU, помогая снизить затраты сети и проложить путь для ZK ASIC: 🔹 СМИ 🔹 Наконец, соучредитель Succinct @pumatheuma присоединился к @alicelingl в недавнем 'Succinct Special', где они обсудили последние разработки Succinct и все, что связано с ZK:

ZKM 🔹 Технологии 🔹 @ProjectZKM представил Ziren - GPU-ускоренный zkVM с распределенным доказательством, ранее известный как zkMIPS: Созданный на основе эффективной архитектуры MIPS32r2, Ziren уже поддерживает реальные приложения, такие как @GOATRollup, и значительно сокращает время генерации доказательств по сравнению с предыдущими версиями. 🔹 Исследования 🔹 ZKM опубликовал несколько новых статей, подчеркивающих последние достижения в своем стеке ZK-доказательств: 🔹 Первая статья представила обновления, которые пришли с ребрендингом Ziren - GPU-ускорение, распределенное доказательство и различные оптимизации ограничений: 🔹 Вторая объяснила Ziren System Framework, охватывающую полный процесс от высокоуровневого кода до ончейн-доказательств. В ней подробно описывается, как трассировки выполнения на основе MIPS преобразуются в STARK, рекурсивно агрегируются с PLONK и завершаются в Groth16 для эффективной верификации: 🔹 Третья статья завершила трилогию серии ISA от ZKM, сосредоточившись на том, почему ZKM выбрал MIPS32r2 вместо RISC-V. Она подчеркивает стабильность схемы и долговечность доказательств, объясняя, как MIPS предлагает фиксированную, неизменную ISA, обеспечивая действительность доказательств на протяжении многих лет без доработки: 🔹 В самой последней статье ZKM представил Неровные Полиномиальные Обязательства - метод обработки нерегулярных матриц в zkVM. Используя преобразования из разреженных в плотные и протоколы проверки суммы, он позволяет масштабируемые, эффективные обязательства в динамических структурах доказательств: 🔹 СМИ 🔹 Наконец, @DacEconomy (главный ученый ZKM) и @sd_eigen (основной участник GOAT Network) присоединились к @alicelingl, чтобы обсудить, как zkVM от ZKM поддерживает Bitcoin L2 сети GOAT: Они исследовали инфраструктуру Entangled Rollup, генерацию доказательств в реальном времени и в агрегированном виде, а также замену доверия валидаторов математической уверенностью - подчеркивая архитектуру и модель безопасности, стоящие за подходом GOAT к масштабируемости Bitcoin.

RISC Zero/Boundless 🔹 Технологии 🔹 @boundless_xyz от @RiscZero запустил свою бета-версию Mainnet на @base, внедряя ZKP в реальный мир: 'Сигнал' был представлен - это открытый ZK-клиент, который сжимает финализацию @ethereum в одно доказательство, позволяя кросс-цепочечную верификацию. Отделяя выполнение от консенсуса, Boundless позволяет масштабируемым вычислениям не жертвовать безопасностью. Доказательство не требует разрешения, с реальными стимулами и поддержкой живых приложений, уже работающих на Base. 🔹 Партнёрства 🔹 Сигнал от Boundless теперь поддерживается @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject и @union_build. Вместе эти сети позволяют ZK-основанной финализации @ethereum стать универсальным, проверяемым примитивом для кросс-цепочечных приложений - без оракулов, мостов или предположений о доверии:

На последнем звонке Ethproofs @succinct_li из @brevis_zk поделился обновлениями о внутреннем zkVM Brevis, Pico: (Время 11:06) Программа на базе GPU Brevis, Pico v1.0, обеспечивает до 20× повышения скорости по сравнению с их версией на CPU и превосходит ведущих конкурентов примерно на 25-27%. Команда планирует выпустить Pico v2.0 к концу августа, нацеливаясь на доказательство в реальном времени. Они также намерены сделать код GPU с открытым исходным кодом после завершения поддержки многопроцессорных и многомашинных систем в ближайшие месяцы.

Lita @0xLita представила Valida 0.10.0, крупное обновление своего стека zkVM: В релизе добавлены продолжения для частичных доказательств выполнения, клиентский WASM API для браузерных zk-доказательств и улучшенная поддержка инструментов Rust/LLVM. Также включены образы Docker для x86 и ARM, ранняя поддержка Secp256k1 и memcpy, а также Reva, исполнитель блоков @ethereum.

OpenVM @openvm_org выпустил версию 1.3.0, представляющую обновленные библиотеки для гостей, которые четко разделяют низкоуровневые привязки и высокоуровневые API: Обновление включает новую библиотеку на Rust для проверки доказательств STARK, улучшения CLI с поддержкой опций Cargo и патчи для криптографических библиотек, таких как k256 и p256. Изменений в схемах не произошло. Разработчиков призывают перейти на новые библиотеки.