Специальный выпуск ZKM @ProjectZKM выпустил zkMIPS 1.0 — первую полностью готовую к производственному использованию версию виртуальной машины на основе MIPS, предназначенной для высокопроизводительных проверяемых вычислений: Это самое значительное обновление с момента начала проекта, обеспечивающее увеличение производительности в 6–19 раз по сравнению с версией 0.3.0 благодаря полной технической переработке. Ключевые аспекты обновления включают: • Архитектура была обновлена с MIPS2 до MIPS32r2, что позволило получить доступ к более широкому набору инструкций, а также использовать оптимизации на уровне компилятора и уменьшить размер программ. • zkMIPS теперь работает на основе Plonky3 — современной системы STARK, использующей протокол FRI, и выигрывает от перехода на 31-битное простое поле KoalaBear, обеспечивающее более быструю арифметику по сравнению с предыдущей 64-битной настройкой Goldilocks. • Деревья Меркла были заменены на мультисет-хэширование для обеспечения согласованности памяти, что уменьшает размер свидетельств и поддерживает параллельную проверку. Модульная архитектура схем на основе чипов минимизирует область ограничений, а операции на горячем пути, такие как Keccak и полевая арифметика, были вынесены в предварительные компиляции для снижения затрат на доказательства. Система уже интегрирована в ZKM Proof Network и используется для живого доказательства блоков основной сети @ethereum в рамках инициативы @ethereumfndn @eth_proofs. Она также используется в производстве с @GOATRollup, Bitcoin L2, построенным на BitVM2. Реакция Множество СМИ сразу подхватили новость, включая @Utoday_en, который опубликовал эксклюзивный материал о том, что отличает проект от других zkVM: Статья в целом хвалит команду ZKM и её заметное инженерное качество, а также подчеркивает, что выбор MIPS32r2 вместо RISC-V предоставляет архитектурные преимущества: более короткие программы, меньше ограничений и лучшая совместимость с ZK-схемами. Запуск также вызвал комментарии от Ethproofs, @a16zcrypto и @0x1164 из House of ZK: ZKM объявил о публичном обсуждении выпуска zkMIPS 1.0, где технический директор проекта, @sd_eigen, расскажет об оптимизациях, результатах тестов, архитектуре системы и планах на будущее. Мероприятие состоится 12 мая в 12:00 UTC: Инженерные инсайты В недавней статье проект объяснил, почему при разработке своей виртуальной машины zkMIPS команда выбрала архитектуру MIPS32r2 вместо RISC-V, хотя последняя является стандартным выбором для большинства современных zkVM. В статье говорится, что решение не было связано с желанием быть другим, а основывалось на выборе наиболее эффективной основы для масштабируемых проверяемых вычислений. Одной из главных причин была более высокая плотность инструкций MIPS32r2. С операциями, такими как MOVZ, MOVN и MADDU, сложная логика может быть выражена в меньшем количестве шагов, что сокращает длину трассировки выполнения. В то время как на RISC-V для той же логики часто требуется больше инструкций, увеличивая нагрузку на доказательства. Другим фактором была зрелость и стабильность экосистемы MIPS. С десятилетиями использования и фиксированной спецификацией, MIPS хорошо протестирован — он даже используется в критических системах, таких как виртуальная машина для доказательств мошенничества Optimism. RISC-V, хотя и быстро развивается, всё ещё находится в стадии эволюции и фрагментации. Полная статья доступна здесь: