Останні новини zkVM Тут ми звітуємо про прогрес провідних розробників екосистеми zkVM, документуючи останні значущі релізи, технічні прориви та загальні оновлення. У ролях: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm та @ProjectZKM. 🔹 Відвідайте для отримання додаткових повідомлень з різних галузей 🔹

Бревіс 🔹 Білий документ 🔹 ProverNet @brevis_zk опублікував свій білий документ ProverNet, у якому описано децентралізований ринок, де додатки запитують підтверджувальну потужність ZK, а спеціалізовані експерти конкурують за її постачання: Система використовує правдивий онлайн-механізм подвійного аукціону, щоб поєднувати різноманітні навантаження з відповідними ресурсами, одночасно забезпечуючи якість послуг через економічні стимули. ProverNet впроваджує токен BREV для платежів, стейкінгу та управління, а незабаром заплановано запуск бета-мейннету з спрощеним аукціоном. 🔹 ЗМІ 🔹 У нещодавньому випуску @HouseofZK Radio, @no89thkey, співзасновник Brevis розповів, як команда перейшла від своїх DeFi-витоків до створення перевірених обчислювань і майже в реальному часі: Він розповів про Pico zkVM, розподілений провер Pico Prism, який використовується для @Ethereum доведення блоків, а також про те, як модульна архітектура копроцесора Brevis підтримує лояльність до блокчейну, оптимізовані винагороди та інтеграцію мостів CEX/DEX. Повний подкаст: 🔹 Події 🔹 Бревіс провів і приєднався до кількох ключових сесій у @EFDevcon, пропонуючи практичні погляди на перевірені обчислення та перехід до позаланцейних, доказових моделей виконання: • Бревіс керував ZKONNECT, а House of ZK був співведучим, зосереджуючись на тому, як zkVM, ZK Coprocessors, zkML та zkTLS переходять від концепцій до виробництва. Програма підкреслила практичні впровадження перевірених обчислювальних даних, крос-чейн-доступу до даних та AI-інференції, а також кілька ключових доповідей і дискусій, які описували, як команди застосовують інфраструктуру ZK до реальних застосунків. • Майкл виголосив основну доповідь на Verifying Intelligence 3.0, організованому House of ZK і співведучим Brevis: Він пояснив, чому більшість блокчейн-обчислень мігрують поза ланцюгом і перевіряються через ZKP, представляючи Brevis як нескінченний обчислювальний шар, який виконує важку логіку поза ланцюгом і повертає лаконічні, перевірені результати. Доповідь була розглянута про Pico zkVM, доведення Ethereum у реальному часі, модульну архітектуру Brevis та поточні інтеграції, що забезпечують інтелектуальні DeFi, атестації, що зберігають конфіденційність, та системи безперервних стимулів. 🔹 Партнерства 🔹 Нарешті, Бревіс і @vana представили спільну модель використання приватних даних у ШІ шляхом поєднання автентифікованих вхідних даних із локальними обчисленнями, які не виявляють сирої інформації: Brevis zkTLS доводить джерело даних, тоді як Pico zkVM обробляє їх на пристрої користувача. Vana керує згодою та винагородами, надаючи розробникам перевірені метрики та дозволяючи користувачам зберігати повний контроль над своїми даними. 🔹 Відвідайте для отримання додаткових повідомлень з різних галузей 🔹

Jolt (@a16zcrypto) 🔹 Ет-докази закликають 🔹 @SuccinctJT, дослідник у @a16zcrypto, виступив на нещодавньому @eth_proofs дзвінку. Він підкреслив, як сучасні zkVM керують пам'яттю для перевірки, розбиваючи трасування на частини та рекурсивно агрегуючи докази, але це додає складності, ризику помилок і витрат на продуктивність. Часова мітка — 32:30: Джастін пояснив, як Jolt прагне замінити це на стрімінговий підхід, який обмежує пам'ять провера до кількох гігабайт, незалежно від кількості циклів. Два з приблизно двадцяти обов'язкових компонентів Sumcheck вже транслюються, а решта робіт очікується незабаром. 🔹 Дослідження 🔹 Джастін також опублікував статтю, засновану на результатах опитування, зосереджену на тому, як сучасний дизайн SNARK досягає швидкого доведення, зосереджуючись на протоколі сумної перевірки: У статті викладено, чому такі методи, як пакетна оцінка, аргументи пошуку, віртуальні поліноми та збереження малих значень, зменшують витрати на роботу проверів і зобов'язання. Використовуючи Jolt як основний кейс, він показує, як використання повторюваної обчислювальної структури забезпечує ефективні zkVM і спрямовує майбутні покращення продуктивності. 🔹 Відвідайте для отримання додаткових повідомлень з різних галузей 🔹

Міден 🔹 Testnet v0.12 🔹 @0xMiden випустив Testnet v0.12, ввівши значні оновлення у сфері конфіденційності, управління ключами, обробки адрес та інструментів для розробників: Версія додає новий формат адреси з підтримкою шифрування, приватний шар передачі нотаток з @Nethermind, підписання ECDSA через попередню компіляцію та покращення обробки даних у вузлі. Він також включає базові захисні механізми для видимості транзакційних даних, новий midenup інсталятор для оптимізованого онбордингу, виділену мережу розробки для експериментів і кілька покращень на рівні віртуальних машин для композиційності та налагодження. 🔹 Публікації 🔹 Проєкт опублікував статтю, в якій пояснює, як приватні мультипідписи стають можливими завдяки новій системі під назвою Private State Management, розробленій спільно з @OpenZeppelin: У статті пояснюється, чому традиційні мультипідписи покладаються на спільний публічний стан, як модель конфіденційності Miden ускладнює координацію, а також як рівні синхронізації, координації та автентифікації PSM підтримують узгодження приватних акаунтів. Він завершується прикладами практичних випадків використання та зазначає, що ранній Proof-of-Concept вже доступний. 🔹 Події 🔹 У @EFDevcon році Міден був ведучим і брав участь у кількох заходах, зокрема: • The Privacy Salon — захід, організований Miden, який зібрав будівельників, дослідників і засновників для коротких, ідейно орієнтованих лекцій і відкритих дискусій про конфіденційність, децентралізовані системи та еволюцію перетину крипто, web3 і традиційних фінансів. • Verifying Intelligence 3.0, організований @HouseofZK, де @huitseeker, інженерний керівник Miden, розповідав про роль zkVM у zkML, пояснюючи відмінності між доведення висновків і навчанням, обмеження TEE, а також те, як дизайн Miden підтримує практичні, стійкі до суперників сценарії верифікації ШІ. Часова мітка - 02:50:12: 🔹 Інтеграцій 🔹 Проєкт запровадив два нових партнерства, які розширюють екосистему у сфері конфіденційності, адаптації та інфраструктури, зокрема: • @get_para: Інтегрований вбудований гаманець Para та розподілена MPC-автентифікація для забезпечення безшовного, некастодіального підключення для Miden-додатків. Співпраця впровадила безпарольний вхід, миттєве створення гаманця та безперешкодні потоки користувачів, узгоджуючи UX-стек Para з сумісною моделлю конфіденційності Meden для підтримки приватних DeFi, фінтех, ігрових та інституційних додатків, побудованих на виконанні ZK: • @gateway_eth: Партнерство для забезпечення інфраструктури корпоративного рівня для масштабованої, орієнтованої на конфіденційність блокчейн-мережі Miden. Партнерство забезпечує високу доступність, швидкий доступ до даних і операційну надійність у міру масштабування Miden, при цьому Gateway запускає основні компоненти, такі як рідний міст, перевірки та блочний провідник, для підтримки впровадження архітектури edge-виконання Miden: 🔹 Відвідайте для отримання додаткових повідомлень з різних галузей 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs запустив Alpha-версію своєї децентралізованої перпетуальної ф'ючерсної біржі в рамках Testnet III, пропонуючи спрощену, некастодіальну платформу CLOB, побудовану на перевіреній інфраструктурі: Реліз зосереджений на основних торгових функціях, оптимізованому адаптації та тестових фондах замість реальних активів. Хоча інтерфейс мінімальний, базова книга замовлень розроблена з урахуванням низької затримки і розширюється за рахунок зворотного зв'язку, керованого спільнотою, та поступово впроваджених криптографічних доказів. 🔹 Стан 🔹 мережі Nexus оприлюднив свій листопадовий звіт мережі: Основні моменти включають: • Мережа обробила 87,198 мільйона транзакцій, з яких було завершено 87,038 мільйона, що свідчить про високу надійність і дуже малий розрив між ініціативною та завершеною діяльністю. • Пропускна здатність доказів скоригована з 5 810 до 4,16 проб на секунду протягом місяця, що відображає повернення до більш стабільної бази доказів після стрімкого стрибка в жовтні. • Підтверджені контракти досягли 2,548 мільйона, що свідчить про постійну довіру розробників до середовища випробування, незважаючи на вищу затримку та модеровану пропускну здатність. • Транзакційні комісії в середньому становили 0,048 NEX, що дозволяло зберігати низьку вартість перевірки та залишати простір для швидких ітерацій і частих взаємодій у блокчейні. 🔹 Події 🔹 Головний науковець Nexus @JensGroth16 приєднався до бесіди біля каміна на заході @HouseofZK Verifying Intelligence у @EFDevcon році, обговорюючи, як ZKP еволюціонували від ранніх теоретичних досліджень до сучасних застосувань у перевіреному ШІ: Він окреслив акцент Nexus на поєднанні доведеної коректності з економічною безпекою та наголосив на необхідності стандартів, освіти та ширшої інституційної довіри, щоб забезпечити використання та широке впровадження перевіряних систем. 🔹 Відвідайте для отримання додаткових повідомлень з різних галузей 🔹

Risc Zero та Boundless 🔹 Ет-докази закликають 🔹 У нещодавньому @eth_proofs Call #6 @BruestleJeremy, генеральний директор і співзасновник @RiscZero, поділився, як команда успішно запустила справжнє ядро Linux у zkVM після додавання підтримки режиму Risc-V S, повного MMU та віртуалізованої пам'яті. Часова мітка — 20:30: Демонстрація показала кілька запущених процесів і майже детерміноване середовище, придатне для ширших стеків програмного забезпечення. Riss Zero планує випустити це у наступному релізі схеми, оскільки прогрес над prover триватиме. 🔹 Події 🔹 @boundless_xyz брав участь у кількох заходах під час Devconnect у Буенос-Айресі, зокрема: • Сесія читання білої книги, організована @HouseofZK у партнерстві з @WPReadingClub і @invisiblgarden, де Boundless, @citrea_xyz, @MinaProtocol та @o1_labs брали участь у круглих столах щодо останніх наукових розробок і нових ідей у екосистемах Web3 та ZK. • Панель Verifying Intelligence 3.0, де @reka_eth, директор з маркетингу Boundless, долучився до дискусії про доведення людського внеску в епоху, сформовану штучним інтелектом і робототехнікою, разом зі спікерами @humpty0x @OntologyNetwork, @zKsisyfos @StarkWareLtd, @DacEconomy @ProjectZKM та @Viggy_117 @eigencloud. Часова мітка — 00:57:54: 🔹 Відвідайте для отримання додаткових повідомлень з різних галузей 🔹

Коротким 🔹 Гіперкуб 🔹 SP1 @SuccinctLabs повідомили, що остання версія свого SP1 Hypercube zkVM може довести 99,7% блоків @ethereum L1 менш ніж за 12 секунд на 16 відеокартах RTX 5090, що продовжує свій попередній рубіж у реальному часі: Реліз додає суттєві покращення продуктивності, формальну перевірку всіх обмежень RISC-V, усунення залежностей гіпотез, пов'язаних із розривом наближення, та нові заходи безпеки. Hypercube завершує аудити і буде випущений у відкритому коді та через Succinct Prover Network. 🔹 Дослідження 🔹 У нещодавньому дослідженні @ronrothblum, керівника відділу криптографії в Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) та @kleptographic (@NYU_Courant), автори представляють TensorSwitch — майже оптимальну схему поліноміальних зобов'язань на основі хешу: Вона вирішує дві основні обмеження SNARG на основі хешів: час перевірки та великі розміри доказів. Використовуючи тензорні коди та інтерактивні оракульні докази, TensorSwitch досягає лінійного рівня зобов'язань і часу відкриття за розміром вхідних даних, сублінійними витратами на хешування та асимптотично мінімальними запитами до верифікатора, без залежності від довіреного налаштування чи групової криптографії 🔹 C2PA 🔹 Succinct приєднався до @C2PA_org, працюючи разом з іншими учасниками, розробляючи відкриті стандарти для верифікації цифрового контенту: Зі збільшенням кількості медіа, створених ШІ, проєкт впроваджує верифікацію ZK для посилення робочих процесів походження за допомогою конфіденційності та масштабованих атестацій. Succinct має на меті підтримку уніфікованих стандартів метаданих та покращення сумісності між платформами. Приєднавшись до C2PA, проєкт планує сприяти дослідженням і допомагати впроваджувати інструменти автентичності контенту на практиці. 🔹 OP Лаконічне Lite 🔹 @Celo оновив свій тестнет у Sepolia до OP Succinct Lite через хардфорк Jello, наближаючись до запуску основної мережі: Раніше цього року Celo перейшла на Ethereum L2 для підтримки реальних платежів і стала першою мережею, яка впровадила OP Succinct Lite з EigenDA v2. 🔹 Відвідайте для отримання додаткових повідомлень з різних галузей 🔹

ZKM 🔹 Аудит 🔹 Ziren від ZKM проходить аудит @VeridiseInc за допомогою платформи верифікації Picus: Veridise адаптував обмеження Plonky3 від Ziren і провів аналізи через @AuditHubDev. Початкові результати підтвердили детерміновану поведінку при додаванні та відніменні в чипі AddSub. Команди планують розширити верифікацію на повні схеми та інтегрувати перевірки у робочий процес розробки ZKM. 🔹 Публікації 🔹 @ProjectZKM опублікував статтю, в якій пояснює, як протокол GKR перевіряє арифметичні обчислення схем шляхом рекурсивної перевірки узгодженості між шарами схем за допомогою багатовимірного протоколу Sumcheck: У статті пояснюється багатошарова структура схем, роль багатолінійних розширень, те, як Sumcheck зводить верифікацію до точкових оцінок і як рекурсія закінчується на вхідному рівні. Це показує, чому GKR є ефективним для великих схем і є фундаментальним у сучасних системах ZK. 🔹 Події 🔹 ZKM опублікували статтю про свій час у @EFDevcon, з найяскравішими моментами: • ZKONNECT від @brevis_zk та House of ZK: ZKM CTO @sd_eigen приєднався до панелі перевірки в реальному часі EVM Proven in 10 Seconds, обговорюючи GPU прискорені системи доказування. • Verifying Intelligence від House of ZK і Brevis: Стівен говорив про приватність на основі ZK у робочих процесах ШІ та розглянув аудит Ziren разом із @VeridiseInc. Співзасновник @DacEconomy приєднався до панелі AI та роботи з верифікації внеску людини. • @EtherArgentina Хакатон: ZKM спонсорував захід, Стівен був суддею, а також керівником освітньої @alicelingl командами наставників. • Native BTCFi Summit від @babylonlabs_io та @build_on_bob: обговорення @Bitcoin узгоджених фінансів і масштабування BTC. • StarkConnect від @Starknet: Стівен брав участь у сесії про масштабування Bitcoin разом зі Starknet, @AlpenLabs та @atomiqlabs. • ZK Real World Summit: панель з ланцюгів збереження приватності з @MantaNetwork, @ZKVProtocol та @nillion. • Cultural Vivo від @invisiblgarden: ZKM повернулася як спонсор, підтримуючи хаб для ZK та AI-розробників. 🔹 Відвідайте для отримання додаткових повідомлень з різних галузей 🔹