Aqui reportamos sobre o progresso dos principais construtores no ecossistema zkVM, documentando lançamentos significativos recentes, avanços técnicos e atualizações gerais. Apresentando: @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc & @openvm_org 👇

Succinct 🔹 Tech 🔹 @SuccinctLabs apresentou o SP1-CC, um coprocessador ZK para @ethereum que permite aos desenvolvedores ler o estado histórico da blockchain, executar cálculos complexos offchain e verificar resultados onchain com uma única prova: O SP1-CC remove as restrições de gás e as limitações do EVM sem alterar o código L1, permitindo novos casos de uso em governança, DeFi, airdrops e divulgações de segurança. Equipes como @eigenlayer já o utilizam para reduzir custos e aumentar a flexibilidade. 🔹 Parcerias 🔹 O projeto anunciou recentemente uma série de novas parcerias, incluindo: 🔹 @Snarkify_ZKP: Juntou-se à Succinct Prover Network como uma equipe de provadores iniciais, trazendo um motor de prova SP1-SRT personalizado otimizado para geração de ZKP em tempo real em GPUs e FPGAs, ajudando a reduzir a latência e o custo em toda a rede: 🔹 @a41_allforone: Integrado na rede como um provador multi-nó, com um agendador que coordena centenas de GPUs, juntamente com um backend otimizado em Python, permitindo provas de alto rendimento para aplicações como jogos, IA e rollups: 🔹 @cysic_xyz: Adicionado à rede como um provador acelerado por hardware executando grandes clusters de GPU e se preparando para lançar um ASIC personalizado para cargas de trabalho zkVM, contribuindo com profunda experiência da ZPRIZE e infraestrutura ZK de nível de produção: 🔹 @worldcoin: Colaborou para provar todas as transações na World Chain usando OP Succinct, realizando um experimento de mainnet de 7 dias com verificação de prova paralela e demonstrando provas de validade rápidas e econômicas para uma das maiores chains do OP Stack: 🔹 @Mantle_Official: Apoiou a transição da Mantle Network para OP Succinct na testnet, alinhando-se com seu roteiro para melhorar a segurança e a descentralização com provas de falha impulsionadas por ZK e infraestrutura modular: 🔹 @zan_team: Juntou-se como um provador multi-nó alimentado por @AntChainOpenLab, contribuindo com infraestrutura acelerada por hardware e otimização SP1 baseada em FPGA que melhora a velocidade de prova em 20x em relação a CPUs, ajudando a reduzir os custos da rede e abrindo caminho para ASICs ZK: 🔹 Mídia 🔹 Finalmente, o cofundador da Succinct @pumatheuma juntou-se a @alicelingl no recente 'Succinct Special', onde discutiram os últimos desenvolvimentos da Succinct e tudo sobre ZK:

ZKM 🔹 Tecnologia 🔹 @ProjectZKM apresentou Ziren - um zkVM acelerado por GPU com prova distribuída, anteriormente conhecido como zkMIPS: Construído na arquitetura MIPS32r2 eficiente em zk, Ziren já está impulsionando aplicações do mundo real como @GOATRollup e reduz significativamente o tempo de geração de provas em relação às versões anteriores. 🔹 Pesquisa 🔹 ZKM publicou vários novos artigos destacando os últimos avanços em sua pilha de provas ZK: 🔹 O primeiro artigo apresentou as atualizações que vieram com a rebranding do Ziren - aceleração por GPU, prova distribuída e várias otimizações de restrições: 🔹 O segundo explicou o Framework do Sistema Ziren, cobrindo todo o pipeline desde o código de alto nível até as provas on-chain. Detalha como os rastros de execução baseados em MIPS são convertidos em STARKs, agregados recursivamente com PLONK e finalizados em Groth16 para verificação eficiente: 🔹 O terceiro artigo completou a trilogia da série ISA da ZKM, focando em por que a ZKM escolheu MIPS32r2 em vez de RISC-V. Enfatiza a estabilidade do circuito e a longevidade da prova, explicando como o MIPS oferece uma ISA fixa e imutável, garantindo que as provas permaneçam válidas por anos sem retrabalho: 🔹 No artigo mais recente, a ZKM introduziu Compromissos Polinomiais Irregulares - um método para lidar com matrizes irregulares em zkVMs. Ao usar conversões de esparso para denso e protocolos de verificação de soma, permite compromissos escaláveis e eficientes em estruturas de prova dinâmicas: 🔹 Mídia 🔹 Por último, @DacEconomy (Cientista Chefe da ZKM) e @sd_eigen (contribuidor principal na GOAT Network) juntaram-se a @alicelingl para discutir como o zkVM da ZKM alimenta o Bitcoin L2 da GOAT Network: Eles exploraram a infraestrutura de Entangled Rollup, geração de provas em tempo real e agregadas, e a substituição da confiança do validador por certeza matemática - destacando a arquitetura e o modelo de segurança por trás da abordagem da GOAT para a escalabilidade do Bitcoin.

RISC Zero/Boundless 🔹 Tecnologia 🔹 @boundless_xyz da @RiscZero lançou sua Mainnet Beta na @base, trazendo ZKPs para uso no mundo real: 'O Sinal' foi introduzido - um cliente ZK de código aberto que comprime a finalização do @ethereum em uma única prova, permitindo verificação entre cadeias. Ao separar a execução do consenso, a Boundless permite computação escalável sem sacrificar a segurança. A prova é sem permissão, com incentivos reais e suporte a aplicações ao vivo já funcionando na Base. 🔹 Parcerias 🔹 O Sinal da Boundless agora é suportado por @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject e @union_build. Juntas, essas redes permitem que a finalização baseada em ZK do @ethereum se torne um primitivo universal e verificável para aplicações entre cadeias - sem oráculos, pontes ou suposições de confiança:

Na mais recente chamada do Ethproofs, @succinct_li da @brevis_zk compartilhou atualizações sobre o zkVM interno da Brevis, Pico: (Timestamp 11:06) O provador baseado em GPU da Brevis, Pico v1.0, oferece melhorias de velocidade de até 20× em relação à sua versão em CPU e supera os principais concorrentes em cerca de 25-27%. A equipe planeja lançar o Pico v2.0 até o final de agosto, visando a prova em tempo real. Eles também pretendem tornar o código da GPU de código aberto após completar o suporte a múltiplas GPUs e múltiplas máquinas nos próximos meses.

Lita @0xLita apresentou a Valida 0.10.0, uma atualização importante para sua pilha zkVM: A versão adiciona Continuações para provas de execução parcial, uma API WASM do lado do cliente para provas zk baseadas em navegador e suporte melhorado para a ferramenta Rust/LLVM. Inclui também imagens Docker para x86 e ARM, suporte inicial para Secp256k1 e memcpy, e Reva, um executor de blocos @ethereum.

OpenVM @openvm_org lançou a versão 1.3.0, introduzindo bibliotecas de convidados reformuladas que separam claramente as ligações de baixo nível das APIs de alto nível: A atualização inclui uma nova biblioteca Rust para verificar provas STARK, melhorias na CLI que suportam opções do Cargo e correções para crates criptográficos como k256 e p256. Não ocorreram mudanças nos circuitos. Os desenvolvedores são incentivados a migrar para as novas bibliotecas.