ZKM lançou oficialmente uma nova geração de zkVM acelerado 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 à prova de conhecimento zero (ZK) em cenários de aplicação do mundo real por meio de aceleração de GPU, arquitetura de prova distribuída e sistema de restrição profundamente otimizado. O Ziren tem como objetivo permitir que engenheiros de sistemas, desenvolvedores de aplicativos e designers de protocolos criem aplicativos ZK de alto desempenho em linguagens convencionais, trazendo verdadeiramente o ZK do laboratório para as principais práticas de desenvolvimento.

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

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

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

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

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

• A cadeia de ferramentas e a experiência de desenvolvimento foram atualizadas, 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 melhorias de pré-compilação para alcançar compatibilidade nativa com o ecossistema Ethereum.

"O Ziren é o primeiro zkVM de uso geral verdadeiramente escalável e amigável para desenvolvedores construído sobre a base certa." Ming Guo, cofundador e cientista-chefe da ZKM, "Provou ser líder em desempenho em CPUs, e agora estamos levando isso para o próximo nível com a 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 principais desenvolvedores.

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

O processo de certificação principal do Ziren foi totalmente orientado pela GPU, resultando em melhorias significativas de desempenho:

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

• Provas agregadas 15x 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 só melhora significativamente a taxa de transferência, mas também aumenta 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ções:

• Divida as restrições de nível de instrução em "chips" modulares (cobrindo CPU, salto/ramo, 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 MIPS tornaram-se gradualmente aparentes.

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

A Ziren lançou uma nova versão da cadeia 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

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

• Rust toolchain é mais robusto e remove hacks fora do padrão

• O apoio da Golang está disponível em breve

Além disso, o Ziren suporta verificação de assinatura nativa do Ethereum e o módulo pré-compilado agora suporta assinaturas de curva elíptica ECDSA completas, 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 automatizou totalmente o processo de execução do verificador e do circuito, incluindo:

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

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

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

• Melhor gerenciamento de comportamento da lógica de processamento de estilhaços e contadores de programas

Gráfico comparativo 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 certificação ZK em ambientes de nível de produção.

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

No ethproofs.org, a Ziren demonstrou resultados de desempenho em tempo real, e a prova em tempo real está ao virar da esquina:

Ao substituir a máquina virtual do Revm para o 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 consideravelmente a latência do processo de prova de prova em cada estágio, tornando o desempenho da Ziren mais próximo do nível em tempo real, estabelecendo uma base sólida para a implementação de aplicações ZK de alta frequência.

Lançado na GOAT Network: o motor central para construir o zkRollup nativo do Bitcoin

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

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

Crie seu aplicativo ZK, começando com o Ziren

A 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. Se você está 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 compromisso.