Aqui, relatamos 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 👇

Sucinto 🔹 Tecnologia 🔹 @SuccinctLabs introduziu 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 os resultados onchain com uma única prova: O SP1-CC remove as restrições de gás e as limitações de 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: Ingressou na Succinct Prover Network como uma equipe inicial de provadores, trazendo um mecanismo 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 à rede como um provador de vários nós com um agendador que coordena centenas de GPUs, juntamente com um back-end otimizado para Python, permitindo a comprovação de alta taxa de transferência para aplicativos 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 profundo conhecimento da ZPRIZE e da infraestrutura ZK de nível de produção: 🔹 @worldcoin: Colaborou para provar todas as transações na World Chain usando o OP Succinct, executando um experimento de 7 dias na rede principal com verificação de prova paralela e demonstrando provas de validade rápidas e econômicas para uma das maiores cadeias de OP Stack: 🔹 @Mantle_Official: Apoiou a transição da Mantle Network para OP Succinct na testnet, alinhando-se com seu roteiro para aumentar a segurança e a descentralização com provas de falhas e infraestrutura modular alimentadas por ZK: 🔹 @zan_team: Juntado como um provador de vários nós 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 às CPUs, ajudando a reduzir os custos de rede e abrir caminho para ZK ASICs: 🔹 Mídia 🔹 Por fim, o cofundador da Succinct, @pumatheuma, juntou-se a @alicelingl no recente 'Succinct Special', onde discutiram os últimos desenvolvimentos da Succinct e tudo o que ZK:

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

RISC Zero / Sem limites 🔹 Tecnologia 🔹 @boundless_xyz by @RiscZero lançou seu Mainnet Beta no @base, trazendo ZKPs para uso no mundo real: 'The Signal' foi introduzido - um cliente ZK de código aberto que compacta @ethereum finalidade em uma única prova, permitindo a verificação entre cadeias. Ao separar a execução do consenso, o Boundless permite computação escalável sem sacrificar a segurança. A prova é sem permissão, com incentivos reais e suporte a aplicativos ao vivo já em execução no Base. 🔹 Parcerias 🔹 O Signal by 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 finalidade de @ethereum baseada em ZK se torne uma primitiva universal e verificável para aplicativos de cadeia cruzada - sem oráculos, pontes ou suposições de confiança:

Na última Chamada de Ethproofs, @succinct_li de @brevis_zk compartilhou atualizações no zkVM interno da Brevis, Pico: (Carimbo de data/hora 11:06) O provador baseado em GPU da Brevis, Pico v1.0, oferece melhorias de velocidade de até 20× em relação à versão da 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 comprovação em tempo real. Eles também pretendem abrir o código da GPU depois de concluir o suporte a várias GPUs e várias máquinas nos próximos meses.

Lita @0xLita introduziu o Valida 0.10.0, uma grande atualização em 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 aprimorado ao conjunto de ferramentas Rust/LLVM. Ele também inclui imagens do Docker para x86 e ARM, suporte inicial para Secp256k1 e memcpy e Reva, um executor de bloco @ethereum.

OpenVM @openvm_org lançou a versão 1.3.0, introduzindo bibliotecas de convidados renovadas 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, aprimoramentos de CLI com suporte a opções de carga e patches para caixas criptográficas como k256 e p256. Nenhuma alteração de circuito ocorreu. Os desenvolvedores são incentivados a migrar para as novas bibliotecas.