O Especial ZKM @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 aspetos importantes da atualização incluem: • A arquitetura viu uma atualização de MIPS2 para MIPS32r2, permitindo o acesso a um conjunto de instruções mais amplo e desbloqueando otimizações de nível de compilador e tamanhos de programa menores. • zkMIPS agora é executado no backend Plonky3 - um sistema STARK moderno usando 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 de Cachinhos Dourados de 64 bits. • As árvores Merkle foram substituídas por hashing multiset para consistência de memória, reduzindo o tamanho das testemunhas e suportando a 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 ao vivo @ethereum blocos mainnet como parte da iniciativa @eth_proofs da @ethereumfndn. Também está em produção com @GOATRollup, um Bitcoin L2 construído em BitVM2. Reação Vários meios de comunicação captaram 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 para a equipe ZKM e sua notável qualidade de engenharia, e enfatiza que escolher MIPS32r2 em vez de RISC-V oferece vantagens arquitetônicas: programas mais curtos, menos restrições e melhor alinhamento com circuitos ZK. O lançamento também contou com comentários da própria @0x1164 da Ethproofs, @a16zcrypto e House of ZK: A ZKM anunciou uma discussão pública sobre a versão zkMIPS 1.0, com o CTO do projeto, @sd_eigen, discutindo otimizações, resultados de benchmark, arquitetura do sistema e planos de desenvolvimento futuros. O evento terá lugar 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 este último seja a escolha padrão para a maioria dos zkVMs modernos. A peça afirma que a decisão não foi sobre ser diferente, mas sobre selecionar a base mais eficiente para computação escalável e verificável. Uma das principais razões 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 traço de execução. Em contraste, a mesma lógica no RISC-V muitas vezes 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 - até mesmo usado em sistemas críticos, como a VM à prova de fraude da Optimism. O RISC-V, embora tenha crescido rapidamente, ainda está em evolução e fragmentado. O artigo completo pode ser consultado aqui: