Тут ми звітуємо про прогрес провідних будівельників у Proving Service ZKonomy, документуючи останні значні релізи, технічні прориви та загальні оновлення 👇

ZkCloud @thezkcloud отримала грант від @ethereumfndn на безперервну генерацію ZKP для @ethereum блоків основної мережі протягом 2 кварталу 2025 року. Усі докази публікуються у відкритому доступі через @eth_proofs. Мета полягає в тому, щоб продемонструвати масштабовану інфраструктуру для перевірки в режимі реального часу. ZkCloud використовує кластер з 24 графічними процесорами та модифіковані інструменти з відкритим вихідним кодом, плануючи використовувати найшвидші доступні zkVM і зменшити затримку для перевірки блоків менше 12 секунд: Крім того, проєкт додав до своєї тестової мережі чотири нові валідатори: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain та @AhnLab_ABC. Ці групи мають різноманітні сильні сторони – від локалізованої інфраструктури та кібербезпеки до досліджень та роботи валідаторів. Їхня участь зміцнює децентралізовані докази, оскільки ZkCloud наближається до основної мережі та розширює можливості перевірки в режимі реального часу у своїй мережі: Крім того, ZkCloud був одним з основних спонсорів Ethproofs Summit House of ZK під час @BerBlockWeek. Керівник відділу продуктів @NorbertVadas взяв участь у трьох сесіях заходу: 1) По-перше, він виступив з доповіддю, де розповів про архітектурні та технічні вузькі місця доведення масштабування ZK - від оптимізації отримання даних RPC до обробки несподіваної дисперсії складності блоку через коди операцій EVM з непропорційними накладними витратами на доведення: 2) Пізніше Норберт приєднався до @Khovr Ethereum Foundation, @0xAlecJames @NexusLabs, @MayaD09111862 @StarkWareLtd та @alicelingl @HouseofZK, щоб обговорити, як стандартизовані тести zkVM можуть ввести в оману при оптимізації для вузьких показників, важливість оцінки продуктивності з урахуванням апаратного забезпечення та потребу в прозорих, багатовимірних рамках, які відображають реальні робочі навантаження та зміцнюють довіру до перевірених обчислень: 3) Нарешті, разом з @carlo_cretino50 @0xLita, @DacEconomy @ProjectZKM, @schmiddominik1 @0xMiden та Алісою Лю з House of ZK, він дослідив еволюцію сумісності zkVM, підкресливши потенціал виходу за рамки традиційних мостів, роль постачальників децентралізованих доказів та важливість спільних стандартів для масштабованих та безпечних блокчейн-додатків:

Інгоньяма @Ingo_zk випустила прискорену реалізацію ML-KEM, протоколу інкапсуляції ключів на основі решітки, обраного NIST для постквантової криптографії. Код на основі CUDA має відкритий вихідний код за ліцензією MIT і досягає до 30% вищої пропускної здатності порівняно з поточними реалізаціями. ML-KEM підтримує три рівні безпеки, узгоджені з Kyber512, Kyber768 і Kyber1024: Крім того, @BagadSuyash і @yuval_domb Ingonyama, @QuangVDao @CarnegieMellon і @SuccinctJT @a16zcrypto випустили статтю, в якій описані інтеграції двох ключових оптимізацій, які значно прискорюють протокол перевірки сум, фундаментальний компонент SNARK. Методи націлені на поліноміальні входи з малим значенням і форми рівності-многочленів, що дозволяє доводити скорочення часу в Jolt zkVM на 2-4× з ще більшими поліпшеннями при обмеженому обсязі пам'яті. Ці результати безпосередньо усувають вузькі місця в таких системах, як Spartan в Jolt:

Ферма @fermah_xyz запустила Фазу 2 своєї тестової мережі, яка включає інтеграцію зовнішніх вузлів Prover, вдосконалення інструментів розробника та запуск користувацьких тестів. Фаза названа на честь професора Аміта Сахая, чиї роботи значною мірою сформували основи криптографії ZK. Ферма зазначає, що майбутні етапи розширять участь за межі поточної інфраструктурної мережі, сигналізуючи про постійне зростання та ширше залучення громади: Крім того, @vanishree_rao, засновник Fermah, під час @eth_proofs Call #2 поділився, що Fermah інтегрувалася з @RiscZero та @openvm_org для локального генерування доказів, прагнучи підтримувати всі zkVM та надсилати найефективніші з них до Ethproofs. Вона також поділилася пропозицією щодо нового визначення безпеки – обраної можливості вилучення доказів – висвітлюючи прогалини в поточних стандартах. [Позначка часу - 02:04:50]:

Кістозна @cysic_xyz представляє ComputeFi, спрямований на децентралізацію обчислювальної потужності, що має вирішальне значення як для технологій штучного інтелекту, так і для технологій ZK. Платформа дозволяє користувачам монетизувати апаратне забезпечення та надає розробникам доступний прозорий доступ до обчислювальних ресурсів. Зменшуючи залежність від централізованих провайдерів, Cysic каже, що будівельники можуть впроваджувати інновації вільно, безпечно та економічно ефективно, прокладаючи шлях до ширшої цифрової участі та додатків, орієнтованих на конфіденційність: Крім того, проект запустив Фазу III: Ignition своєї тестової мережі - спираючись на більш ранні етапи, які представили систему з двома токенами, докази графічних процесорів і мобільні верифікатори. Ignition — це публічна бета-версія, яка пропонує користувачам можливість брати участь у децентралізованих обчисленнях і отримувати винагороди в тестовій мережі. Наразі доступ доступний лише за запрошенням, а незабаром з'явиться підтримка з мобільних пристроїв: Нарешті, на нещодавньому @eth_proofs Call #2 співзасновник Cysic @leofanxiong поділився оновленнями про свої кастомні ASIC, створені для ZKP. Чіпи підтримують ключові поля ZK і видають понад 1,3 мільйона хешів Keccak/сек. Вони використовують спеціальну мережу на кристалі для ефективного переупорядкування даних і поєднують фіксоване функціональне обладнання з центральними процесорами для гнучкості. Незважаючи на те, що вони все ще використовують FPGA, вони перевершують типову пропускну здатність GPU:

Снаркіфай Під час останнього дзвінка @eth_proofs @drouyang, співзасновник і генеральний директор @Snarkify_ZKP, повідомив учасникам, що Snarkify створив найшвидший графічний процесор H2 на @Scroll_ZKP основній мережі та перевершив 750 МГц за швидкістю емуляції RISC-V. Команда перенесла повну генерацію трасування на графічні процесори, значно підвищивши пропускну здатність. Їхній продукт, що дозволяє перевіряти в режимі реального часу для будь-якої zkVM, буде запущений до кінця червня. [Позначка часу - 01:12:30]:

Марлін @MarlinProtocol оголосила, що розробники, які працюють на @SuiNetwork, матимуть необмежений доступ до свого ринку обчислень TEE через Nautilus. Вони зможуть вибирати між виділеними конфіденційними віртуальними машинами або безсерверним виконанням, що оплачується в USDC. Інструменти включають підтримку Docker, керування ключами та атестацію: Крім того, Marlin оголосила, що її довірені середовища виконання тепер підтримують розрахунковий рівень @cyclenetwork_GO та інфраструктуру безмостової ліквідності, покращуючи безпечну обробку даних поза мережею. Це оновлення відповідає потребам установи в конфіденційності, забезпечуючи при цьому високопродуктивне врегулювання: