Здесь мы рассказываем о прогрессе ведущих разработчиков в сервисе Proof Service ZKonomy, документируя последние значимые релизы, технические прорывы и общие обновления 👇

ZkCloud @thezkcloud получил грант от @ethereumfndn для непрерывной генерации ZKP для блоков основной сети @ethereum на протяжении второго квартала 2025 года. Все доказательства публикуются через @eth_proofs. Цель состоит в том, чтобы продемонстрировать масштабируемую инфраструктуру для доказательства в реальном времени. ZkCloud использует кластер из 24 GPU и модифицированные инструменты с открытым исходным кодом, с планами принять самые быстрые zkVM и сократить задержку для доказательств блоков менее 12 секунд: Кроме того, проект добавил четырех новых валидаторов в свою тестовую сеть: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain и @AhnLab_ABC. Эти группы обладают разнообразными сильными сторонами - от локализованной инфраструктуры и кибербезопасности до исследований и операций валидаторов. Их участие укрепляет децентрализованное доказательство, поскольку ZkCloud приближается к основной сети и увеличивает возможности доказательства в реальном времени в своей сети: Более того, ZkCloud был одним из основных спонсоров саммита Ethproofs от House of ZK во время @BerBlockWeek. Руководитель продукта @NorbertVadas участвовал в трех сессиях на мероприятии: 1) Сначала он выступил с основным докладом, в котором рассказал о архитектурных и технических узких местах масштабирования ZK-доказательства - от оптимизации получения данных RPC до обработки неожиданных вариаций в сложности блоков из-за EVM opcode с непропорциональными затратами на доказательство: 2) Позже Норберт присоединился к @Khovr из Фонда Эфириума, @0xAlecJames из @NexusLabs, @MayaD09111862 из @StarkWareLtd и @alicelingl из @HouseofZK, чтобы обсудить, как стандартизированные бенчмарки zkVM могут вводить в заблуждение, когда оптимизированы для узких метрик, важность оценки производительности с учетом аппаратного обеспечения и необходимость прозрачных, многомерных рамок, которые отражают реальные рабочие нагрузки и создают доверие к проверяемым вычислениям: 3) Наконец, вместе с @carlo_cretino50 из @0xLita, @DacEconomy из @ProjectZKM, @schmiddominik1 из @0xMiden и Элис Лю из House of ZK он исследовал эволюцию совместимости zkVM, подчеркивая потенциал выхода за рамки традиционных мостов, роль децентрализованных поставщиков доказательств и важность общих стандартов для масштабируемых и безопасных блокчейн-приложений:

Ingonyama @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 @fermah_xyz запустил фазу 2 своего тестнета, которая включает интеграцию внешних узлов Prover, улучшение инструментов для разработчиков и выполнение пользовательских бенчмарков. Фаза названа в честь профессора Аміта Сахая, чья работа значительно повлияла на основы ZK-криптографии. Fermah отмечает, что будущие фазы расширят участие за пределы текущей инфраструктурной сети, что сигнализирует о продолжающемся росте и более широком вовлечении сообщества: Кроме того, @vanishree_rao, основатель Fermah, во время звонка @eth_proofs Call #2 поделилась, что Fermah интегрировался с @RiscZero и @openvm_org для локальной генерации доказательств, стремясь поддерживать все zkVM и отправлять самые эффективные из них в Ethproofs. Она также представила предложение для нового определения безопасности - извлекаемость выбранных доказательств - подчеркивая пробелы в текущих стандартах. [Timestamp - 02:04:50]:

Cysic @cysic_xyz представляет ComputeFi, цель которого - децентрализовать вычислительную мощность, что критически важно как для ИИ, так и для технологий ZK. Платформа позволяет пользователям монетизировать оборудование и предоставляет разработчикам доступ к вычислительным ресурсам по доступным и прозрачным ценам. Сокращая зависимость от централизованных провайдеров, Cysic утверждает, что строители могут свободно, безопасно и экономически эффективно внедрять инновации, прокладывая путь для более широкого цифрового участия и приложений, ориентированных на конфиденциальность: Кроме того, проект запустил Фазу III: Зажигание своего тестнета - основываясь на предыдущих этапах, которые представили двойную токен-систему, GPU-провайдеров и мобильных верификаторов. Зажигание - это публичная бета, предлагающая пользователям возможность участвовать в децентрализованных вычислениях и зарабатывать вознаграждения в тестнете. Доступ в настоящее время только по приглашениям, поддержка мобильных устройств появится скоро: Наконец, на недавнем @eth_proofs Call #2 соучредитель Cysic @leofanxiong поделился обновлениями о своих пользовательских ASIC, созданных для ZKP. Чипы поддерживают ключевые области ZK и обеспечивают более 1,3 миллиона хешей Keccak в секунду. Они используют пользовательскую сеть на кристалле для эффективной переупорядочивания данных и сочетают фиксированное аппаратное обеспечение с ЦП для гибкости. Хотя они все еще на FPGA, они превосходят типичную производительность GPU:

Snarkify Во время последнего звонка @eth_proofs, @drouyang, соучредитель и генеральный директор @Snarkify_ZKP, сообщил участникам, что Snarkify разработал самый быстрый H2 GPU провайдер на основной сети @Scroll_ZKP и превысил 750 МГц в скорости эмуляции RISC-V. Команда перенесла полное генерирование трасс на GPU, значительно увеличив пропускную способность. Их продукт, позволяющий проводить доказательства в реальном времени для любого zkVM, будет запущен к концу июня. [Временная метка - 01:12:30]:

Marlin @MarlinProtocol объявил, что разработчики, работающие на @SuiNetwork, получат неограниченный доступ к его рынку вычислений TEE через Nautilus. Они смогут выбирать между выделенными конфиденциальными ВМ или безсерверным выполнением, оплачиваемым в USDC. Инструменты включают поддержку Docker, управление ключами и аттестацию: Более того, Marlin объявил, что его Среды Доверенного Выполнения теперь поддерживают уровень расчетов @cyclenetwork_GO и инфраструктуру ликвидности без мостов, улучшая безопасную обработку данных вне цепи. Это обновление отвечает потребностям институциональной конфиденциальности, обеспечивая при этом высокую пропускную способность расчетов.