⚡ Ziren Real-Time Proving: um marco importante para o ZK @ProjectZKM CTO @sd_eigen introduziu tecnologia para prova em tempo real. 1️⃣ O Ziren da ZKM utiliza o s MIPS32r2; o ISA de uso geral mais estável e eficiente em instruções para ZK 2️⃣ Ziren foi o segundo zkVM a ser lançado no @eth_proofs, demonstrando ativamente a geração de provas extremamente rápida 3️⃣ A prova em tempo real já está disponível no @goatrollup, um zkRollup nativo do Bitcoin, e em breve na rede principal Ethereum.

A recapitulação desta semana se concentra em como Ziren alimenta silenciosamente o rollup de Bitcoin em tempo real do @GOATRollup, como a equipe enviou um verificador nativo do navegador e também realizou um workshop de desenvolvedores em @frontiertower, San Francisco. Também delineamos o caminho para uma economia Bitcoin verificável na @HouseofZK Radio e sinalizamos aparições de curto prazo em @ETHshenzhen e @BitcoinConfAsia 👇

Parte da equipe principal da ZKM organizou recentemente o primeiro de uma série de eventos @frontiertower, em parceria com a @GOATRollup. Focado principalmente nos caminhos de integração da Ziren, este workshop de São Francisco forneceu uma base para entender a implantação prática na GOAT Network e os próximos recursos na pilha de testes da ZKM - criando um forte envolvimento do público por toda parte. Alguns destaques importantes: 🔸 Atualizações técnicas – O @alicelingl líder de educação apresentou os avanços recentes do Ziren: compatibilidade com Golang, verificação baseada em WASM e suporte expandido à pré-compilação. Alice também forneceu uma demonstração ao vivo demonstrando a geração e verificação de provas com Ziren. 🔸 Ziren como Infraestrutura – Cientista-Chefe @DacEconomy descreveu o papel da Ziren na facilitação de uma nova onda de infraestrutura e ofereceu informações técnicas sobre sua integração na Rede GOAT. 🔸 Modelo de Rollup Nativo do Bitcoin – COO e colaborador principal da GOAT Network, @sophianeverfold forneceu uma visão geral de alto nível do design econômico do GOAT, combinando sequenciadores descentralizados, Ziren e BitVM2 para fornecer rendimento BTC sustentável, antes de mergulhar em muitos outros casos de uso do Bitcoin L2. 🔸 Pilha de ponta a ponta – A sessão ao lado da lareira cobriu a evolução da construção inicial do Ziren para alimentar o rollup de Bitcoin em tempo real do GOAT, incluindo desafios e soluções para a construção de um pipeline de teste completo. Fique ligado para mais eventos futuros na Bay Area com projetos parceiros da ZKM:

O verificador do Ziren agora é executado no navegador: Os desbloqueios de produtos incluem: 🔸 Verificações independentes por carteiras, exploradores e dapps sem confiar em um back-end 🔸 Auditorias reproduzíveis (mesmo verificador Rust compilado para WASM para web, nativo em outro lugar) 🔸 Cobertura multiprova (STARK, Groth16, Plonk) de um único SDK 🔸 Verificação de milissegundos para provas completas de bloco de @ethereum L1, adequadas para UX interativo Se você estiver criando front-ends com confiança minimizada ou adicionando um botão "Verificar" ao lado de ações críticas, esse é o caminho de menor resistência. Construa com confiança. Implante sem comprometimento: Pacote NPM do verificador Ziren STARK:

House of ZK Radio #67: Ming Guo, co-fundador e cientista-chefe da ZKM - disponível agora no Spotify e YouTube 🔳 Neste episódio, @alicelingl se senta com @DacEconomy - cofundador e cientista-chefe de pesquisa da @ProjectZKM - para mapear como o conhecimento zero mudou do @ethereum para o Bitcoin e como é realmente uma economia Bitcoin garantida por computação verificável. Spotify: YouTube: O que está dentro: • A progressão ZK: privacidade de transações → circuitos gerais → zkVMs com comprovação quase em tempo real • Por que o design zkVM baseado em MIPS da ZKM é importante para desempenho, estabilidade e verificação • Arquiteturas Bitcoin L2 baseadas em BitVM2, como @GOATRollup, e por que L2 é o caminho seguro para a programabilidade • "Liquidação universal": computação verificável como base para aplicativos descentralizados • Responsabilidade e incentivos programáveis versus modelos legados de "confiar em uma parte" • Developer UX: de zkDSLs a escrever código normal e comprovar a execução em um zkVM • Além da "reserva de valor": rendimento, ativos estáveis e atividade on-chain ancorada ao Bitcoin sem comprometer a segurança L1 Se você construir em Bitcoin ou ZK, este episódio fornece uma estrutura clara para a pilha, compensações e o que é necessário para passar de apenas manter BTC para uma economia funcional e verificável.

O zkVM da ZKM, Ziren, é o mecanismo oculto para zkRollups 🟠 de Bitcoin em tempo real Construído no MIPS32r2 estável e alimentado por provas distribuídas e aceleradas por GPU, o Ziren transforma o código do desenvolvedor em provas verificáveis com velocidade e eficiência. Saiba Mais:

Em nossa palestra final no evento de @frontiertower de hoje em São Francisco, o cofundador e cientista-chefe da ZKM, @DacEconomy, elucidará o papel da Ziren na construção da próxima geração de infraestrutura 🟠 Web3 descentralizada 🗓️ Hoje (20 de agosto), das 14h às 17h RSVP:

Em nosso próximo evento em São Francisco, @alicelingl, @DacEconomy e @sophianeverfold refletirão sobre a jornada até agora - desde a construção inicial do Ziren da ZKM até a extensão dessa base estável e de alto desempenho para a aplicação do @GOATRollup no mundo real. 🗓️ 20 de agosto, 14h-17h 📍 @frontiertower, SF A discussão abordará a história e os desafios de construir uma pilha completa de ponta a ponta, antes de oferecer insights exclusivos sobre para onde esse caminho está indo. RSVP:

Os Embaixadores da Rede GOAT desempenharão um papel importante na missão que temos pela frente. O objetivo: divulgar como @GOATRollup transforma o BTC em um ativo utilizável e gerador de rendimento. Alimentada por Ziren, essa rede é como o Bitcoin se torna uma moeda que você pode realmente usar 🟠

Mais do nosso próximo evento @frontiertower em São Francisco: O COO da ZKM, @sophianeverfold, explorará como o zkRollup nativo de Bitcoin da @GOATRollup oferece rendimento BTC real e sustentável por meio de sequenciadores descentralizados, zkVM (Ziren) + BitVM2 e um modelo 🟡 econômico verdadeiramente inovador 🗓️ 20 de agosto, 14h-17h RSVP: