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

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

ЗКМ 🔹 Технологія 🔹 @ProjectZKM представили Ziren - прискорену з графічним процесором zkVM з розподіленим доведенням, раніше відому як zkMIPS: Побудований на zk-ефективній архітектурі MIPS32r2, Ziren вже забезпечує роботу реальних додатків, таких як @GOATRollup, і значно скорочує час генерації доказів у порівнянні з попередніми версіями. 🔹 Дослідження🔹 ZKM опублікував кілька нових статей, в яких висвітлюється останні досягнення у своєму стеку доказів ZK: 🔹 У першій статті були представлені оновлення, які прийшли з ребрендингом Ziren - прискорення графічного процесора, розподілене тестування та різні оптимізації обмежень: 🔹 Другий пояснив Ziren System Framework, що охоплює повний конвеєр від високорівневого коду до доказів у мережі. У ньому детально описано, як траси виконання на основі MIPS перетворюються в STARK, рекурсивно агрегуються з PLONK і доопрацьовуються в Groth16 для ефективної перевірки: 🔹 Третя стаття завершила трилогію серії ISA від ZKM, зосередившись на тому, чому ZKM обрала MIPS32r2, а не RISC-V. У ньому наголошується на стабільності ланцюга та довговічності доказу, пояснюючи, як MIPS пропонує фіксований, незмінний ISA, гарантуючи, що докази залишаються дійсними протягом багатьох років без переробок: 🔹 В останній статті ZKM представив Jagged Polynomial Commitments - метод обробки неправильних матриць у zkVM. Використовуючи перетворення від розрідженого до щільного та протоколи перевірки сум, він забезпечує масштабовані, ефективні зобов'язання в динамічних структурах доказу: 🔹 ЗМІ 🔹 Нарешті, @DacEconomy (головний науковий співробітник ZKM) і @sd_eigen (основний учасник GOAT Network) приєдналися до @alicelingl, щоб обговорити, як zkVM ZKM забезпечує роботу Bitcoin L2 від GOAT Network: Вони дослідили інфраструктуру Entangled Rollup, генерацію доказів у реальному часі та агрегованих доказів, а також заміну довіри валідатора математичною впевненістю, підкресливши архітектуру та модель безпеки, що стоять за підходом GOAT до масштабованості Bitcoin.

RISC Нуль/Безмежний 🔹 Технологія 🔹 @boundless_xyz by @RiscZero запустила бета-версію основної мережі на @base, переводячи ZKP у реальне використання: Було представлено 'The Signal' - клієнт ZK з відкритим вихідним кодом, який стискає @ethereum остаточність в єдиний доказ, що дозволяє здійснювати крос-чейн верифікацію. Відокремлюючи виконання від консенсусу, Boundless дозволяє масштабувати обчислення без шкоди для безпеки. Доведення є інклюзивним, з реальними стимулами та підтримкою додатків у реальному часі, які вже працюють на Base. 🔹 Партнерства 🔹 Signal від Boundless тепер підтримують @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject та @union_build. Разом ці мережі дозволяють @ethereum finality на основі ZK стати універсальним, перевіреним примітивом для крос-чейн додатків - без оракулів, мостів або припущень про довіру:

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

Літа @0xLita представили Valida 0.10.0, серйозне оновлення стека zkVM: У релізі додано продовження для часткового доказу виконання, клієнтський API WASM для доказів zk на основі браузера, а також покращену підтримку ланцюжка інструментів Rust/LLVM. Він також включає образи Docker для x86 і ARM, ранню підтримку Secp256k1 і memcpy, а також Reva, виконавця @ethereum блоків.

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