A ZKM lançou oficialmente uma nova geração de zkVM acelerada por GPU sob o nome Ziren: para construir uma infraestrutura ZK de nível de produção para desenvolvedores convencionais

A ZKM lançou oficialmente uma versão de nova geração de seu zkVM, Ziren (anteriormente zkMIPS), que abre um novo capítulo na capacidade de implantação e escalabilidade de sistemas de prova de conhecimento zero (ZK) em cenários de aplicativos do mundo real por meio de aceleração de GPU, arquitetura de prova distribuída e sistema de restrição profundamente otimizado. O Ziren visa permitir que engenheiros de sistemas, desenvolvedores de aplicativos e designers de protocolo criem aplicativos ZK de alto desempenho em linguagens convencionais, trazendo realmente o ZK do laboratório para as principais práticas de desenvolvimento.

Do zkMIPS ao Ziren: saltos de desempenho e uma experiência de desenvolvimento aprimorada

Ziren é uma atualização completa do zkMIPS v1.1.0 e introduzido pela primeira vez:

• Aceleração de GPU de 30× para reduzir drasticamente a latência de prova;

• Arquitetura de prova de rede distribuída, suportando computação paralela e implantação escalável;

• O sistema de restrição de instrução é atualizado, a modularização de instrução é otimizada, o uso da coluna é otimizado e a redundância é eliminada;

• O conjunto de ferramentas e a experiência de desenvolvimento foram atualizados e o suporte para C/C++ foi adicionado com base no suporte ao Rust, e o Golang será lançado em breve;

• Principais correções de segurança e aprimoramentos de pré-compilação para obter compatibilidade nativa com o ecossistema Ethereum.

"O Ziren é o primeiro zkVM de uso geral verdadeiramente escalável e amigável ao desenvolvedor, construído sobre a base certa." Ming Guo, cofundador e cientista-chefe da ZKM, "Está provado ser um líder em desempenho em CPUs, e agora estamos levando-o para o próximo nível com aceleração de GPU. Se você está procurando uma pilha de prova ZK ideal, Ziren é a resposta. "

Além da atualização técnica abrangente, o próprio nome Ziren também tem um significado. Como uma continuação do zkMIPS, "Ziren" é inspirado em uma variante do mito "Siren" e representa uma mudança da ilusão para a realidade – a promessa de que a tecnologia não é mais apenas uma atração, mas uma usabilidade real. O Ziren pretende ser uma infraestrutura zk verdadeiramente eficiente, confiável e implantável nas mãos dos desenvolvedores convencionais.

Aceleração de GPU e paralelismo de prova distribuída: o salto do desempenho para o utilitário

O processo de atestado principal do Ziren foi totalmente GPU-ized, resultando em melhorias significativas de desempenho:

• Provas de núcleo 30 vezes mais rápidas

• Provas agregadas 15 vezes mais rápidas

• Provas de conversão BN254 30x mais rápidas

Combinado com uma arquitetura de prova em rede, o Ziren pode distribuir tarefas de prova em vários nós para execução paralela, o que não apenas melhora significativamente a taxa de transferência, mas também aprimora a usabilidade descentralizada do sistema. Essa arquitetura é ideal para blockchains modulares, rollups e sistemas de verificação entre cadeias.

Otimização do sistema de restrições

Ziren refatorou sistematicamente o sistema de restrição:

• Divida as restrições de nível de instrução em "chips" modulares (cobrindo CPU, salto/ramificação, memória, etc.)

• Reduza o número de colunas otimizando a estrutura de dados

• Remover lógica de restrição redundante ou não utilizada

• Simplifique os processos de processamento de ALU, MADDU/MSUBU e filiais para melhorar a eficiência da execução

Essas otimizações reduzem significativamente a complexidade da prova, melhoram a velocidade de geração e melhoram a estabilidade do sistema. Do ponto de vista do zkVM, o MIPS gera rastreamentos de execução mais curtos do que o RISCV e tem melhor eficiência de instrução, o que é propício para melhorar a eficiência da prova. Com o lançamento do Ziren, as vantagens de escolher o MIPS tornaram-se gradualmente aparentes.

Uma melhor experiência de desenvolvimento com uma experiência de compilação para implantação mais suave

A Ziren lançou uma nova versão do conjunto de ferramentas (20250522), que traz uma série de melhorias na experiência do desenvolvedor:

• Integre patches LLVM para otimizar o processo de compilação

• Suporte a biblioteca estática C/C++ e correções de instruções teq

• O conjunto de ferramentas Rust é mais robusto e remove hacks fora do padrão

• O suporte ao Golang está disponível em breve

Além disso, o Ziren oferece suporte à verificação de assinatura nativa do Ethereum, e o módulo pré-compilado agora oferece suporte a assinaturas completas de curvas elípticas ECDSA, o que torna a integração on-chain mais suave e expande os cenários de aplicativos que ele pode suportar.

Correções de estabilidade e segurança

A Ziren fortaleceu totalmente o processo de verificação e execução de circuitos, incluindo:

• Corrigida uma vulnerabilidade crítica de número aleatório de FRI em Plonky3

• Corrigida uma vulnerabilidade de validação de vk_root no validador Rust

• Otimizar a consistência entre a lógica de execução da instrução e o sistema de restrições

• Gerenciamento de comportamento aprimorado da lógica de processamento de fragmentos e contadores de programa

Gráfico de comparação Ziren vs zkMIPS 1.0

Todas essas atualizações trabalham juntas para melhorar a segurança e a consistência do Ziren, tornando-o mais adequado para os requisitos de atestado ZK em ambientes de nível de produção.

Avance para a prova em tempo real: ethproofs.org Testemunhe os resultados da otimização

No ethproofs.org, Ziren demonstrou resultados de desempenho em tempo real, e a prova em tempo real está chegando:

Ao substituir a máquina virtual de Revm para Reth e extrair o estado da conta em paralelo, o tempo de preparação do estado do bloco foi reduzido de 5 minutos para menos de 30 segundos com debug_traceBlock. Isso reduz muito a latência do processo de prova de prova em cada estágio, tornando o desempenho do Ziren mais próximo do nível em tempo real, estabelecendo uma base sólida para a implementação de aplicativos ZK de alta frequência.

Lançado na GOAT Network: o mecanismo principal para construir o zkRollup nativo do Bitcoin

O Ziren agora está ativo no projeto zkRollup nativo do Bitcoin, GOAT Network, permitindo a programabilidade no estilo Ethereum sem a necessidade de pontes ou partes confiáveis, preservando a segurança da rede principal do Bitcoin. A GOAT Network é uma das práticas importantes nas rotas BitVM2 e BitVM3.

"Quando decidimos escalar o Bitcoin, precisávamos de um sistema confiável de cima para baixo - não apenas uma pilha de desempenho de superfície, mas estabilidade e eficiência em nível de circuito." Kevin Liu, cofundador e CEO da ZKM e um dos principais colaboradores da GOAT Network, disse: "O Ziren é um produto dessa necessidade, uma camada de infraestrutura na qual confiamos em todas as provas".

Crie seu aplicativo ZK, começando com o Ziren

Ziren condensa os anos de polimento aprofundado da ZKM de engenharia de sistemas subjacentes e pesquisa de conhecimento zero, não apenas para reuniões, mas também para zkVM com melhor estrutura, melhor experiência e aplicação mais ampla. Esteja você construindo um Ethereum DApp, Bitcoin L2 ou um sistema de verificação de cadeia cruzada, o Ziren fornece uma base de computação confiável.

Escrito em Rust, compilado para MIPS, e Ziren fará o resto. Construa com confiança. Implante sem comprometimento.