ZKM - Um ZKVM baseado em MIPS @ProjectZKM foi atualizado recentemente com uma nova versão com o codinome Ziren O ZKM é um dos poucos produtos ZKVM com conjunto de instruções MIPS, eles escolheram uma faixa relativamente menos lotada (em comparação com o conjunto de instruções ZK-RISC-V), o MIPS é um conjunto de instruções reduzido estabelecido há muito tempo, a vantagem não é o número e a escalabilidade do conjunto de instruções, mas a fixação e estabilidade da instrução, o maior desafio antes do ZK-EVM é a mudança contínua das instruções EVM, e novas restrições de circuito serão atualizadas após a mudança. Para finanças e criptomoedas, estabilidade e segurança são mais importantes, portanto, a estabilidade do ZK-MIPS é seu principal ponto de valor. @sd_eigen, o CTO deste projeto, fez outro projeto ZKVM Eigen_Network nos primeiros dias, com foco na privacidade na época, e não se sabe se a direção do ajuste ainda foi adquirida. Vamos comparar o MIPs32 com o conjunto de instruções RISC-V: O RV32I é simplificado, com opções de expansão flexíveis (por exemplo, M, A, F, D, C) e codificação de instruções simples, suportando 16/32 bits. Conjunto de instruções principais: O RV32I do RISC-V (47 entradas) é muito menor do que as instruções inteiras principais do MIPS32 (~ 150 entradas), refletindo a filosofia de design minimalista do RISC-V. Com extensões: configurações comuns para RISC-V (como RV32IMAFC ou RV32G) têm cerca de 100-150 instruções, o que ainda é tipicamente menor que os 200+ (incluindo ponto flutuante e estendido) do MIPS32. Complexidade da instrução: O conjunto de instruções MIPS32 é mais complexo, contendo algumas instruções especializadas (por exemplo, slots de atraso de ramificação, instruções de coprocessador), enquanto o RISC-V busca simplicidade, expande a modularidade e reduz a redundância. Diferenças nos conceitos de design MIPS32: Projetado na década de 1980 para atingir processadores RISC de alto desempenho com um conjunto de instruções fixo. A inclusão de slots de atraso de ramificação (recursos de hardware, exigindo gerenciamento de instruções adicionais) adiciona complexidade à implementação. O conjunto de instruções é abundante, mas algumas instruções são específicas para cenários de hardware específicos e podem não ser adequadas para designs leves modernos. O ecossistema é maduro, mas é de código fechado e limitado em expansão. RISC-V: Um ISA moderno de código aberto, projetado na década de 2010, com ênfase na modularidade e flexibilidade. Não há slots de atraso de ramificação e a codificação da instrução é concisa, o que é fácil para implementação de hardware e otimização de software. O conjunto de instruções pode ser personalizado por extensão, desde a computação incorporada de baixo consumo de energia até a computação de alto desempenho. O ecossistema de código aberto tem uma comunidade ativa que oferece suporte a iteração e personalização rápidas. Algumas informações sobre a atualização de Ziren: Ziren = zkMIPS v1.1.0 com GPU + Validador de Rede -30x aceleração de GPU - A prova de rede oferece suporte a provas paralelas - Otimização das principais restrições - Atualizações de cadeia de ferramentas e pré-compilação - Correções de bugs críticos e melhorias de auditoria O processo de atestado principal agora é acelerado por GPU, resultando em velocidades significativas: - Geração de prova de núcleo 30x mais rápida Provas agregadas 15 vezes mais rápidas -A prova de embalagem bn254 também é 30 vezes mais rápida Mais detalhes da atualização: O primeiro projeto a executar o Ziren é uma rede de Camada 2 baseada em Bitcoin, chamada @GOATRollup. GOAT Network é a primeira rede Bitcoin Layer 2 baseada em zkMIPS (Zero-Knowledge MIPS Instruction Set), BitVM3 e um sequenciador descentralizado. Ele implementa um design minimizado pela confiança por meio do Optimistic Challenge Protocol (GOAT-OCP), com o objetivo de abordar as limitações do Bitcoin em escalabilidade, velocidade de transação e custo, mantendo a segurança da Camada 1 do Bitcoin. Características principais: Descentralização: A GOAT Network implementa operações de rede orientadas pela comunidade por meio de operadores de nó sequenciadores descentralizados, permitindo que os participantes externos do nó gerenciem em conjunto a produção de blocos e o sequenciamento de transações e compartilhem a receita. Segurança: O projeto usa o esquema de ponte BitVM3 e a tecnologia zkRollup para garantir a segurança e a privacidade das transações por meio de provas de conhecimento zero (ZKPs). O zkMIPS suporta programas escritos em linguagens de alto nível, como Rust e Golang, para que os desenvolvedores não precisem auditar circuitos de prova de conhecimento zero, mas apenas verificar a lógica de negócios, diminuindo a barreira de desenvolvimento e melhorando a segurança. Escalabilidade: Ao mover algumas transações para serem processadas fora da cadeia, a GOAT Network aumenta significativamente a velocidade da transação e reduz os custos de transação do Bitcoin, enquanto herda a segurança da cadeia principal do Bitcoin. Ele suporta 100% de compatibilidade com EVM, permitindo que os desenvolvedores criem com eficiência aplicativos descentralizados Web3 (DApps). Rendimento sustentável: A GOAT Network está comprometida em fornecer aos detentores de Bitcoin oportunidades de rendimento sustentável, expandindo o uso do Bitcoin além de seu uso como reserva de valor.