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

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

Jolt (@a16zcrypto) 🔹 Вызов Ethproofs 🔹 @SuccinctJT, исследователь в @a16zcrypto, выступил на недавнем вызове @eth_proofs. Он подчеркнул, как современные zkVM контролируют память провера, разбивая трассы на части и рекурсивно агрегируя доказательства, но это добавляет сложности, риск ошибок и затраты на производительность. Временная метка - 32:30: Джастин продолжил объяснять, как Jolt стремится заменить это подходом потоковой передачи, который ограничивает память провера до нескольких гигабайт, независимо от количества циклов. Два из примерно двадцати необходимых компонентов Sumcheck уже работают в режиме потоковой передачи, а оставшаяся работа ожидается в ближайшее время. 🔹 Исследования 🔹 Джастин также опубликовал статью на основе результатов опроса, сосредоточенного на том, как современный дизайн SNARK достигает быстрой проверки, сосредоточив внимание на протоколе проверки суммы: Статья описывает, почему такие методы, как пакетная оценка, аргументы поиска, виртуальные многочлены и сохранение малых значений, уменьшают работу провера и затраты на обязательства. Используя Jolt в качестве основного примера, она показывает, как использование повторяющейся вычислительной структуры позволяет создавать эффективные zkVM и направляет будущие улучшения производительности. 🔹 Посетите для получения дополнительных отчетов из всей отрасли 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden выпустил свою Testnet v0.12, представив крупные обновления в области приватности, управления ключами, обработки адресов и инструментов для разработчиков: Версия добавляет новый формат адреса с поддержкой шифрования, частный слой передачи заметок с @Nethermind, подпись ECDSA через предкомпилированные функции и улучшения обработки данных в узле. Также включены базовые ограничения для видимости данных транзакций, новый установщик midenup для упрощенного процесса регистрации, выделенная devnet для экспериментов и несколько улучшений на уровне виртуальной машины для совместимости и отладки. 🔹 Публикации 🔹 Проект опубликовал статью, объясняющую, как частные мультиподписи становятся возможными благодаря новой системе под названием Управление Частным Состоянием, разработанной совместно с @OpenZeppelin: В статье описывается, почему традиционные мультиподписи зависят от общего публичного состояния, как модель приватности Miden усложняет координацию и как слои синхронизации, координации и аутентификации PSM поддерживают согласованность частных аккаунтов. В заключение приведены примеры практических случаев использования и отмечается, что ранний прототип уже доступен. 🔹 События 🔹 На @EFDevcon Miden провел и принял участие в нескольких мероприятиях, включая: • Салон Приватности, мероприятие, организованное Miden, которое собрало строителей, исследователей и основателей для коротких, идейно ориентированных выступлений и открытых дискуссий о приватности, децентрализованных системах и развивающихся пересечениях криптовалюты, web3 и традиционных финансов. • Verifying Intelligence 3.0, организованный @HouseofZK, где @huitseeker, ведущий инженер Miden, говорил о роли zkVM в zkML, объясняя различия между доказательством вывода и обучением, ограничениями TEEs и тем, как дизайн Miden поддерживает практические сценарии проверки AI, устойчивые к противодействию. Временная метка - 02:50:12: 🔹 Интеграции 🔹 Проект представил два новых партнерства, которые расширяют его экосистему в области приватности, регистрации и инфраструктуры, включая: • @get_para: Интегрирован кошелек Para и распределенная аутентификация MPC для обеспечения бесшовной, некустодальной регистрации для приложений Miden. Сотрудничество представило вход без пароля, мгновенное создание кошелька и беспрепятственные пользовательские потоки, согласовывая UX-стек Para с моделью соблюдения приватности Miden для поддержки частного DeFi, финтеха, игр и институциональных приложений, построенных на ZK-исполнении: • @gateway_eth: Партнерство с для предоставления инфраструктуры корпоративного уровня для масштабируемой, ориентированной на приватность блокчейн-сети Miden. Партнерство обеспечивает высокую доступность, быстрый доступ к данным и операционную надежность по мере масштабирования Miden, при этом Gateway управляет основными компонентами, такими как нативный мост, провайдеры и обозреватель блоков, чтобы поддержать развертывание архитектуры edge-execution Miden: 🔹 Посетите для получения дополнительных отчетов из всей отрасли 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs запустила альфа-версию своей децентрализованной биржи бессрочных фьючерсов в рамках Testnet III, предлагая упрощенную, некостодиальную платформу CLOB, построенную на проверяемой инфраструктуре: Выпуск сосредоточен на основных торговых функциях, упрощенном процессе регистрации и тестовых фондах вместо реальных активов. Хотя интерфейс минималистичен, базовая книга ордеров спроектирована для низкой задержки и будет расширяться на основе отзывов сообщества и постепенно вводимых криптографических доказательств. 🔹 Статус сети 🔹 Nexus выпустила свой отчет о сети за ноябрь: Основные моменты включают: • Сеть обработала 87,198 миллиона транзакций, из которых 87,038 миллиона были завершены, что демонстрирует высокую надежность и очень небольшую разницу между инициированной и завершенной активностью. • Пропускная способность доказательств скорректирована с 5,810 до 4.16 доказательств в секунду за месяц, что отражает возвращение к более стабильной базовой линии доказательства после резкого скачка в октябре. • Проверенные контракты достигли 2,548 миллиона, что демонстрирует продолжающееся доверие разработчиков к среде доказательства, несмотря на более высокую задержку и умеренную пропускную способность. • Комиссии за транзакции в среднем составили 0.048 NEX, что позволяет держать стоимость проверяемости низкой и оставляет место для быстрого итерационного процесса и частых взаимодействий в цепочке. 🔹 События 🔹 Главный ученый Nexus @JensGroth16 принял участие в беседе у камина на мероприятии @HouseofZK «Проверка интеллекта» во время @EFDevcon, обсуждая, как ZKP эволюционировали от ранних теоретических работ до сегодняшних приложений в проверяемом ИИ: Он подчеркнул внимание Nexus к сочетанию доказуемой корректности с экономической безопасностью и акцентировал необходимость стандартов, образования и более широкого институционального доверия, чтобы гарантировать, что проверяемые системы станут удобными и широко принятыми. 🔹 Посетите для получения дополнительных отчетов из всей отрасли 🔹

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

Succinct 🔹 SP1 Hypercube 🔹 @SuccinctLabs сообщила, что последняя версия ее SP1 Hypercube zkVM может доказать 99,7% блоков @ethereum L1 за менее чем 12 секунд на 16 GPU RTX 5090, что расширяет ее предыдущий рубеж реального времени: В релизе добавлены значительные улучшения производительности, формальная проверка всех ограничений RISC-V, устранение зависимостей от гипотезы о близости и новые меры безопасности. Hypercube завершает аудиты и будет выпущен с открытым исходным кодом и через сеть Succinct Prover. 🔹 Исследования 🔹 В недавнем исследовании @ronrothblum, руководителя криптографии в Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) и @kleptographic (@NYU_Courant) авторы представляют TensorSwitch, почти оптимальную схему полиномиальных обязательств на основе хеширования: Она решает две основные проблемы в SNARG на основе хеширования: время доказателя и большие размеры доказательств. Используя тензорные коды и интерактивные оракульные доказательства, TensorSwitch достигает времени обязательств и открытия, линейного по размеру входных данных, сублинейных затрат на хеширование и асимптотически минимальных запросов проверяющего, не полагаясь на доверенную настройку или криптографию на основе групп. 🔹 C2PA 🔹 Succinct присоединился к @C2PA_org, работая вместе с другими участниками, разрабатывающими открытые стандарты для проверки цифрового контента: С увеличением объема медиа, созданного ИИ, проект вводит ZK-проверку для укрепления рабочих процессов происхождения с конфиденциальностью и масштабируемыми аттестациями. Succinct стремится поддерживать единые стандарты метаданных и улучшить совместимость между платформами. Присоединившись к C2PA, проект планирует внести вклад в исследования и помочь в развертывании инструментов аутентичности контента в практических условиях. 🔹 OP Succinct Lite 🔹 @Celo обновил свою тестовую сеть Sepolia до OP Succinct Lite через хардфорк Jello, приближаясь к запуску основной сети: Ранее в этом году Celo перешел на Ethereum L2 для поддержки реальных платежей и стал первой цепочкой, которая приняла OP Succinct Lite с EigenDA v2. 🔹 Посетите для получения дополнительных отчетов из всей отрасли 🔹

ZKM 🔹 Аудит 🔹 ZKM's Ziren проходит аудит от @VeridiseInc с использованием платформы верификации Picus: Veridise адаптировала ограничения Plonky3 Ziren и провела анализы через @AuditHubDev. Первоначальные результаты подтвердили детерминированное поведение для сложения и вычитания в чипе AddSub. Команды планируют расширить верификацию на полные схемы и интегрировать проверки в рабочий процесс разработки ZKM. 🔹 Публикации 🔹 @ProjectZKM опубликовал статью, объясняющую, как протокол GKR проверяет вычисления арифметических схем, рекурсивно проверяя согласованность между слоями схемы с использованием многомерного протокола Sumcheck: Статья объясняет структуру слоистой схемы, роль многомерных расширений, как Sumcheck сводит верификацию к оценкам в точках и как рекурсия заканчивается на входном слое. Она показывает, почему GKR эффективен для больших схем и является основополагающим в современных ZK системах. 🔹 События 🔹 ZKM выпустил статью о своем времени на @EFDevcon, с основными моментами: • ZKONNECT от @brevis_zk и House of ZK: технический директор ZKM @sd_eigen присоединился к панели реального времени EVM Proved in 10 Seconds, обсуждая системы доказательства с ускорением GPU. • Verifying Intelligence от House of ZK и Brevis: Стивен выступил на тему конфиденциальности на основе ZK в рабочих процессах AI и обсудил аудит Ziren с @VeridiseInc. Соучредитель @DacEconomy присоединился к панели AI и Work по верификации человеческих вкладов. • @EtherArgentina Hackathon: 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. 🔹 Посетите для получения дополнительных отчетов из всей отрасли 🔹