O Especial ZKM A @ProjectZKM lançou o zkMIPS 1.0, a primeira versão totalmente pronta para produção de sua máquina virtual baseada em MIPS projetada para computação verificável de alto desempenho: Esta é a atualização mais significativa desde o início do projeto, oferecendo um aumento de desempenho de 6x a 19x em relação à versão 0.3.0, graças a uma revisão técnica completa. Alguns aspectos importantes da atualização incluem: • A arquitetura foi atualizada de MIPS2 para MIPS32r2, permitindo o acesso a um conjunto de instruções mais amplo e desbloqueando otimizações no nível do compilador e tamanhos de programa menores. • O zkMIPS agora é executado no back-end Plonky3 - um sistema STARK moderno que usa o protocolo FRI - e se beneficia da mudança para o campo principal KoalaBear de 31 bits, oferecendo aritmética mais rápida do que a configuração anterior do Goldilocks de 64 bits. • As árvores Merkle foram substituídas por hash multiset para consistência de memória, reduzindo o tamanho da testemunha e suportando verificação paralela. Uma arquitetura de circuito modular baseada em chip minimiza a área de restrição, e operações de caminho quente como Keccak e aritmética de campo foram descarregadas em pré-compilações para reduzir os custos de prova. O sistema já está integrado à ZKM Proof Network e está sendo usado para provar @ethereum blocos da rede principal como parte da iniciativa @eth_proofs do @ethereumfndn. Também está em produção com o @GOATRollup, um Bitcoin L2 construído no BitVM2. Reação Vários meios de comunicação receberam a notícia logo de cara, com @Utoday_en publicando um recurso exclusivo sobre o que diferencia o projeto de outros zkVMs: O artigo oferece elogios gerais à equipe ZKM e sua notável qualidade de engenharia e enfatiza que a escolha do MIPS32r2 em vez do RISC-V oferece vantagens arquitetônicas: programas mais curtos, menos restrições e melhor alinhamento com os circuitos ZK. O lançamento também contou com comentários de Ethproofs, @a16zcrypto e House of ZK's próprios @0x1164: A ZKM anunciou uma discussão pública sobre o lançamento do zkMIPS 1.0, com o CTO do projeto, @sd_eigen, discutindo otimizações, resultados de benchmark, arquitetura do sistema e planos de desenvolvimento futuro. O evento acontecerá no dia 12 de maio às 12h UTC: Insights de engenharia Em um artigo recente, o projeto explicou por que, ao desenvolver sua máquina virtual zkMIPS, a equipe escolheu a arquitetura MIPS32r2 em vez do RISC-V - embora esta última seja a escolha padrão para a maioria das zkVMs modernas. A peça afirma que a decisão não foi sobre ser diferente, mas sobre selecionar a base mais eficiente para computação verificável escalável. Um dos principais motivos foi a maior densidade de instrução do MIPS32r2. Com operações como MOVZ, MOVN e MADDU, a lógica complexa pode ser expressa em menos etapas, reduzindo o comprimento do rastreamento de execução. Em contraste, a mesma lógica no RISC-V geralmente requer mais instruções, aumentando a carga de prova. Outro fator foi a maturidade e estabilidade do ecossistema MIPS. Com décadas de uso e uma especificação fixa, o MIPS é bem testado - usado até mesmo em sistemas críticos como a VM à prova de fraude do Optimism. O RISC-V, embora cresça rapidamente, ainda está evoluindo e fragmentado. O artigo completo pode ser encontrado aqui: