ZKM - Uma zkvm baseada em mips @ProjectZKM recentemente atualizou para uma nova versão, codinome Ziren ZKM é um dos poucos produtos zkvm do conjunto de instruções mips, eles escolheram uma pista relativamente menos concorrida (comparado ao conjunto de instruções zk-risc-v), mips é um conjunto de instruções de longa data e reduzido, suas vantagens não estão no número de instruções e na escalabilidade, mas sim na fixidez e estabilidade das instruções. O maior desafio do zk-evm anteriormente era a constante mudança das instruções evm, que gerava novas restrições de circuito e atualizações. Para o setor financeiro e cripto, a estabilidade e segurança são mais importantes, portanto, a estabilidade do zk-mips é um ponto central de seu valor. O CTO deste projeto, @sd_eigen, fez anteriormente outro projeto zkvm chamado Eigen_Network, que inicialmente focava em privacidade, mas depois mudou de direção e foi adquirido, o que não se sabe. Abaixo, uma comparação entre os conjuntos de instruções mips32 e riscv: RV32I é minimalista, com extensões (como M, A, F, D, C) que podem ser escolhidas de forma flexível, a codificação das instruções é simples, suportando 16/32 bits. Conjunto de instruções central: O RV32I do RISC-V (47 instruções) é muito menor que o conjunto de instruções inteiras do MIPS32 (~150 instruções), refletindo a filosofia de design minimalista do RISC-V. Com extensões: As configurações comuns do RISC-V (como RV32IMAFC ou RV32G) têm cerca de 100-150 instruções, ainda geralmente menos que as 200+ do MIPS32 (incluindo ponto flutuante e extensões). Complexidade das instruções: O conjunto de instruções MIPS32 é mais complexo, contendo algumas instruções específicas (como slots de atraso de ramificação, instruções de coprocessador), enquanto o RISC-V busca simplicidade, com extensões modularizadas e redução de redundâncias. Diferenças na filosofia de design MIPS32: Projetado na década de 1980, com o objetivo de processadores RISC de alto desempenho, o conjunto de instruções é relativamente fixo. Inclui slots de atraso de ramificação (característica de hardware, requer gerenciamento de instruções adicionais), aumentando a complexidade de implementação. O conjunto de instruções é rico, mas algumas instruções são direcionadas a cenários de hardware específicos, podendo não ser adequadas para designs modernos e leves. Ecossistema maduro, mas fechado, com extensões limitadas. RISC-V: ISA moderna e de código aberto, projetada na década de 2010, enfatizando modularidade e flexibilidade. Não possui slots de atraso de ramificação, a codificação das instruções é simples, facilitando a implementação de hardware e a otimização de software. Permite personalizar o conjunto de instruções através de extensões, adequado para desde sistemas embarcados de baixo consumo até computação de alto desempenho. Ecossistema de código aberto, comunidade ativa, suportando iterações rápidas e personalizações. Algumas informações sobre a atualização do Ziren: Ziren = zkMIPS v1.1.0 com GPU + validador de rede - Aceleração de GPU 30 vezes - O provedor de rede suporta provas paralelas - Otimização de restrições principais - Atualização da cadeia de ferramentas e pré-compilação - Correções de erros críticas e melhorias de auditoria O processo de prova central agora foi acelerado por GPU, resultando em um aumento significativo de velocidade: - A velocidade de geração de provas centrais aumentou 30 vezes - A velocidade de agregação de provas aumentou 15 vezes - A prova de embalagem bn254 também teve um aumento de 30 vezes na velocidade Mais detalhes sobre as atualizações: Atualmente, o primeiro projeto a rodar o Ziren é chamado @GOATRollup, que é uma rede Layer 2 (segunda camada) baseada em Bitcoin. A GOAT Network é a primeira rede Layer 2 de Bitcoin baseada em zkMIPS (conjunto de instruções MIPS de conhecimento zero), BitVM3 e um sequenciador descentralizado. Ela implementa um design de minimização de confiança através do protocolo de desafio otimista (GOAT-OCP), com o objetivo de resolver as limitações do Bitcoin em escalabilidade, velocidade de transação e custos, mantendo a segurança da Layer 1 do Bitcoin. Características principais Descentralização: A GOAT Network realiza operações de rede impulsionadas pela comunidade através de nós de sequenciadores descentralizados, permitindo que participantes externos gerenciem coletivamente a produção de blocos e a ordenação de transações, compartilhando os lucros. Segurança: O projeto utiliza a solução de ponte BitVM3 e a tecnologia zkRollup, garantindo a segurança e privacidade das transações através de provas de conhecimento zero (ZKP). O zkMIPS suporta programas escritos em linguagens de alto nível como Rust e Golang, permitindo que os desenvolvedores não precisem auditar circuitos de prova de conhecimento zero, apenas validando a lógica de negócios, reduzindo a barreira de entrada para o desenvolvimento e aumentando a segurança. Escalabilidade: Ao mover parte das transações para processamento off-chain, a GOAT Network melhora significativamente a velocidade das transações do Bitcoin e reduz os custos, enquanto herda a segurança da cadeia principal do Bitcoin. Ela suporta 100% de compatibilidade com EVM, permitindo que os desenvolvedores construam de forma eficiente aplicações descentralizadas (DApps) Web3. Renda sustentável: A GOAT Network se dedica a oferecer oportunidades de renda sustentável para os detentores de Bitcoin, expandindo o uso do Bitcoin além de ser apenas um armazenamento de valor.