O Último Jogo do ZkVM Aqui relatamos o progresso dos principais construtores do ecossistema zkVM, documentando lançamentos recentes e significativos, avanços técnicos e atualizações gerais. Com participação em: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm e @ProjectZKM. 🔹 Visite para mais reportagens de todo o setor 🔹

Brevis 🔹 Whitepaper 🔹 ProverNet @brevis_zk divulgou seu whitepaper ProverNet, descrevendo um mercado descentralizado onde as aplicações solicitam capacidade de prova ZK e provadores especializados competem para fornecê-lo: O sistema utiliza um mecanismo de leilão duplo online verdadeiro para combinar cargas de trabalho heterogêneas com recursos adequados, garantindo a qualidade do serviço por meio de incentivos econômicos. A ProverNet lança o token BREV para pagamentos, staking e governança, e uma mainnet beta com um leilão simplificado está programada para ser lançada em breve. 🔹 Mídia 🔹 Em um episódio recente da @HouseofZK Radio, @no89thkey, cofundador da Brevis, falou sobre como a equipe passou de suas origens DeFi para construir computação verificável e provação quase em tempo real: Ele falou sobre o Pico zkVM, o provador distribuído Pico Prism usado para @Ethereum prova de blocos, e como a arquitetura modular de coprocessadores da Brevis suporta fidelidade on-chain, recompensas simplificadas e integrações de bridge CEX/DEX. Podcast completo: 🔹 Eventos 🔹 Brevis organizou e participou de várias sessões importantes durante @EFDevcon, trazendo perspectivas práticas sobre computação verificável e a transição para modelos de execução off-chain, baseados em provas: • Brevis deteve o ZKONNECT, com House of ZK como co-apresentador, focando em como zkVMs, coprocessadores ZK, zkML e zkTLS estão passando dos conceitos para a produção. O programa destacou implantações práticas de computação verificável, acesso a dados cross-chain e inferência de IA, além de várias palestras principais e discussões que descrevem como as equipes estão aplicando a infraestrutura ZK a aplicações reais. • Michael fez uma palestra principal no Verifying Intelligence 3.0, organizada pela House of ZK e coapresentada por Brevis: Ele explicou por que a maior parte da computação em blockchain migrará fora da cadeia e será verificada por ZKPs, apresentando o Brevis como a camada infinita de computação que executa lógica pesada fora da cadeia e retorna resultados sucintos e verificáveis. A palestra abordou o Pico zkVM, provas em tempo real do Ethereum, a arquitetura modular da Brevis e as integrações atuais que impulsionam DeFi inteligente, atestados que preservam a privacidade e sistemas contínuos de incentivos. 🔹 Parcerias 🔹 Por fim, Brevis e @vana apresentaram um modelo conjunto para usar dados privados em IA, combinando entradas autenticadas com computação local que não revela nenhuma informação bruta: O Brevis zkTLS comprova a origem dos dados, enquanto o Pico zkVM os processa no dispositivo do usuário. O Vana gerencia consentimento e recompensas, fornecendo métricas verificadas aos desenvolvedores e permitindo que os usuários mantenham controle total sobre seus dados. 🔹 Visite para mais reportagens de todo o setor 🔹

Choque (@a16zcrypto) 🔹 Chamada 🔹 de Ethproofs @SuccinctJT, pesquisador da @a16zcrypto, apresentado na recente chamada @eth_proofs. Ele destacou como as zkVMs atuais controlam a memória do provador dividindo traços em blocos e agregando recursivamente as provas, mas que isso adiciona complexidade, risco de bugs e custos de desempenho. Carimbo de horário - 32:30: Justin continuou explicando como a Jolt pretende substituir isso por uma abordagem de streaming que limita a memória do provador a poucos gigabytes, independentemente da contagem de ciclos. Dois dos cerca de vinte componentes necessários do Sumcheck já estão em streaming, com o trabalho restante previsto para ser concluído em breve. 🔹 Investigação 🔹 Justin também publicou um artigo baseado nos resultados de uma pesquisa focada em como o design moderno do SNARK alcança uma demonstração rápida ao focar no protocolo som-check: O artigo explica por que técnicas como avaliação em lote, argumentos de consulta, polinômios virtuais e preservação de pequeno valor reduzem o trabalho de provadores e os custos de compromisso. Usando o Jolt como estudo de caso principal, mostra como explorar estruturas computacionais repetidas possibilita zkVMs eficientes e orienta melhorias futuras de desempenho. 🔹 Visite para mais reportagens de todo o setor 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden lançou sua Testnet v0.12, introduzindo grandes atualizações em fluxos de privacidade, gerenciamento de chaves, tratamento de endereços e ferramentas para desenvolvedores: A versão adiciona um novo formato de endereço com suporte à criptografia, uma camada privada de transporte de notas com @Nethermind, assinatura ECDSA via pré-compilações e melhorias no tratamento de dados no nó. Também inclui guardas básicas para visibilidade de dados de transação, o novo instalador Midenup para integração simplificada, uma devnet dedicada para experimentação e múltiplas melhorias em nível de VM para composição e depuração. 🔹 Publicações 🔹 O projeto publicou um artigo explicando como multisigs privados se tornam viáveis por meio de um novo sistema chamado Private State Management, co-desenvolvido com @OpenZeppelin: O texto explica por que os multisigs tradicionais dependem do estado público compartilhado, como o modelo de privacidade do Miden complica a coordenação e como as camadas de sincronização, coordenação e autenticação do PSM mantêm as contas privadas alinhadas. Conclui com exemplos de casos de uso práticos e observa que uma Prova de Conceito inicial já está disponível. 🔹 Eventos 🔹 Em @EFDevcon, Miden anfitriou e participou de vários eventos, incluindo: • The Privacy Salon, um evento organizado por Miden que reuniu construtores, pesquisadores e fundadores para palestras curtas orientadas por ideias e discussões abertas sobre privacidade, sistemas descentralizados e as interseções em evolução entre cripto, web3 e finanças tradicionais. • Verificação de Inteligência 3.0, organizada por @HouseofZK, onde @huitseeker, Líder de Engenharia da Miden, falou sobre o papel das zkVMs no zkML, explicando as diferenças entre provar inferência e treinamento, as limitações dos TEEs e como o design do Miden suporta cenários práticos e resistentes à verificação de IA. Carimbo de tempo - 02:50:12: 🔹 Integrações 🔹 O projeto introduziu duas novas parcerias que expandem seu ecossistema em privacidade, integração e infraestrutura, incluindo: • @get_para: A carteira incorporada da Para integrada e a autenticação MPC distribuída para permitir uma integração fluida e não custodial para aplicações do Miden. A colaboração introduziu login sem senha, criação instantânea de carteiras e fluxos de usuários sem atritos, alinhando a pilha de UX da Para com o modelo de privacidade compatível da Miden para suportar aplicações privadas DeFi, fintech, jogos e institucionais construídas sobre execução ZK: • @gateway_eth: Parceria para fornecer infraestrutura de nível empresarial para a rede blockchain escalável e focada em privacidade da Miden. A parceria garante alta disponibilidade, acesso rápido a dados e confiabilidade operacional à medida que o Miden cresce, com o Gateway rodando componentes centrais como a ponte nativa, provadores e explorador de blocos para apoiar a implementação da arquitetura de execução de borda do Miden: 🔹 Visite para mais reportagens de todo o setor 🔹

Nexo 🔹 DEX Alpha 🔹 @NexusLabs lançou a versão Alpha de sua bolsa descentralizada de futuros perpétuos como parte do Testnet III, oferecendo uma plataforma CLOB simplificada e não custodial, construída sobre infraestrutura verificável: O lançamento foca nas funções de negociação principal, onboarding simplificado e fundos de teste em vez de ativos reais. Embora a interface seja mínima, o livro de ordens subjacente é projetado para desempenho de baixa latência e se expandirá com feedback orientado pela comunidade e provas criptográficas progressivamente introduzidas. 🔹 Status da Rede 🔹 Nexus divulgou seu relatório de rede de novembro: Destaques incluem: • A rede processou 87,198 milhões de transações, com 87,038 milhões concluídas, mostrando alta confiabilidade e uma lacuna muito pequena entre a atividade iniciada e a finalizada. • O throughput da prova ajustado de 5.810 para 4,16 provas por segundo ao longo do mês, refletindo um retorno a uma linha base de prova mais estável após o rápido pico de outubro. • Contratos verificados chegaram a 2,548 milhões, demonstrando a confiança contínua dos desenvolvedores no ambiente de prova, apesar da maior latência e do throughput moderado. • As taxas de transação foram em média 0,048 NEX, mantendo o custo de verificabilidade baixo e deixando espaço para iterações rápidas e interações frequentes onchain. 🔹 Eventos 🔹 A Cientista-Chefe da Nexus, @JensGroth16, participou de um bate-papo informal no evento Verifying Intelligence da @HouseofZK durante @EFDevcon, discutindo como os ZKPs evoluíram dos primeiros trabalhos teóricos para as aplicações atuais em IA verificável: Ele destacou o foco da Nexus em combinar correção comprovável com segurança econômica e enfatizou a necessidade de padrões, educação e uma confiança institucional mais ampla para garantir que sistemas verificáveis se tornem utilizáveis e amplamente adotados. 🔹 Visite para mais reportagens de todo o setor 🔹

Risc Zero & Boundless 🔹 Chamada 🔹 de Ethproofs No recente @eth_proofs Call #6, @BruestleJeremy, CEO e cofundador da @RiscZero, compartilhou como a equipe conseguiu inicializar com sucesso um kernel Linux real dentro do zkVM após adicionar suporte ao modo S-Risc-V, MMU completo e memória virtualizada. Carimbo de horário - 20:30: A demonstração mostrou múltiplos processos em execução e um ambiente quase determinístico adequado para pilhas de software mais amplas. A Risā Zero planeja lançar isso na próxima versão do circuito conforme o progresso do provador continua. 🔹 Eventos 🔹 @boundless_xyz participou de vários eventos durante o Devconnect em Buenos Aires, incluindo: • Uma Sessão de Leitura de Whitepaper organizada por @HouseofZK em parceria com @WPReadingClub e @invisiblgarden, onde Boundless, @citrea_xyz, @MinaProtocol e @o1_labs participaram de mesas-redondas sobre desenvolvimentos recentes em pesquisas e ideias emergentes nos ecossistemas Web3 e ZK. • Um painel de Verificação da Inteligência 3.0, onde @reka_eth, Diretor de Marketing da Boundless, contribuiu para uma discussão sobre como provar a contribuição humana em uma era moldada pela IA e robótica, ao lado de palestrantes @humpty0x de @OntologyNetwork, @zKsisyfos de @StarkWareLtd, @DacEconomy de @ProjectZKM e @Viggy_117 de @eigencloud. Carimbo de tempo - 00:57:54: 🔹 Visite para mais reportagens de todo o setor 🔹

Sucinto 🔹 SP1 Hypercube 🔹 @SuccinctLabs informou que a versão mais recente do seu SP1 Hypercube zkVM pode comprovar 99,7% dos blocos L1 @ethereum em menos de 12 segundos em 16 GPUs RTX 5090, estendendo seu marco anterior de prova em tempo real: A versão adiciona grandes melhorias de desempenho, verificação formal de todas as restrições do RISC-V, remoção de dependências de conjecturas de lacunas de proximidade e novas medidas de segurança. O Hypercube está realizando auditorias e será lançado em código aberto e por meio da Succinct Prover Network. 🔹 Investigação 🔹 Em um estudo recente de @ronrothblum, chefe de criptografia da Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL) e @kleptographic (@NYU_Courant), os autores apresentam o TensorSwitch, um esquema de compromisso polinomial baseado em hash quase ótimo: Ele aborda duas limitações principais em SNARGs baseados em hash: tempo de provador e tamanhos grandes de prova. Usando códigos tensoriais e provas interativas com oráculo, o TensorSwitch alcança compromisso e tempos de abertura lineares em tamanho de entrada, custos de hash sublinear e consultas de verificadores assintoticamente mínimas, sem depender de configuração confiável ou criptografia baseada em grupos 🔹 C2PA 🔹 A Succinct entrou para @C2PA_org, trabalhando ao lado de outros participantes no desenvolvimento de padrões abertos para verificação de conteúdo digital: À medida que a mídia gerada por IA aumenta, o projeto introduz a verificação ZK para fortalecer os fluxos de trabalho de proveniência com privacidade e atestados escaláveis. O Succinct tem como objetivo apoiar padrões unificados de metadados e melhorar a interoperabilidade entre plataformas. Ao ingressar no C2PA, o projeto planeja contribuir com pesquisas e auxiliar na implementação de ferramentas de autenticidade de conteúdo em contextos práticos. 🔹 OP Succinct Lite 🔹 @Celo atualizou sua testnet Sepolia para OP Succinct Lite através do hardfork Jello, aproximando-se do lançamento da mainnet: No início deste ano, a Celo migrou para um Ethereum L2 para suportar pagamentos reais e se tornou a primeira rede a adotar o OP Succinct Lite com EigenDA v2. 🔹 Visite para mais reportagens de todo o setor 🔹

ZKM 🔹 Auditoria 🔹 O Ziren da ZKM está passando por uma auditoria por @VeridiseInc, utilizando sua plataforma de verificação Picus: Veridise adaptou as restrições Plonky3 de Ziren e executou análises por @AuditHubDev. Os resultados iniciais confirmaram comportamento determinístico para adição e subtração no chip AddSub. As equipes planejam expandir a verificação para circuitos completos e integrar as verificações ao fluxo de trabalho de desenvolvimento do ZKM. 🔹 Publicações 🔹 @ProjectZKM publicou um artigo explicando como o protocolo GKR verifica os cálculos aritméticos de circuitos verificando recursivamente a consistência entre camadas de circuitos usando o protocolo multivariado Sumcheck: O texto explica a estrutura de circuitos em camadas, o papel das extensões multilineares, como o Sumcheck reduz a verificação a avaliações pontuais, e como a recursão termina na camada de entrada. Ele mostra por que o GKR é eficiente para circuitos grandes e fundamental nos sistemas ZK modernos. 🔹 Eventos 🔹 A ZKM publicou um artigo sobre seu tempo na @EFDevcon, com destaques destacados: • ZKONNECT da @brevis_zk e House of ZK: @sd_eigen do ZKM CTO entrou no painel de prova em tempo real EVM Proven in 10 Seconds, discutindo sistemas de prova acelerados por GPU. • Verificando a Inteligência pela House of ZK e Brevis: Stephen falou sobre privacidade baseada em ZK em fluxos de trabalho de IA e revisou a auditoria do Ziren com @VeridiseInc. Cofundadora @DacEconomy ingressou no painel de IA e Trabalho para verificar contribuições humanas. • @EtherArgentina Hackathon: A ZKM patrocinou o evento com Stephen como jurado e líder de educação @alicelingl equipes de mentoria. • Native BTCFi Summit by @babylonlabs_io and @build_on_bob: discussões sobre finanças alinhadas @Bitcoin e escalabilidade de BTC. • StarkConnect por @Starknet: Stephen participou de uma sessão sobre escalabilidade do Bitcoin com a Starknet, @AlpenLabs e @atomiqlabs. • ZK Real World Summit: painel sobre cadeias que preservam a privacidade com @MantaNetwork, @ZKVProtocol e @nillion. • Cultural Vivo por @invisiblgarden: A ZKM retornou como patrocinadora apoiando o hub para construtores de ZK e IA. 🔹 Visite para mais reportagens de todo o setor 🔹