Aqui relatamos o progresso dos principais construtores no Proving Service ZKonomy, documentando lançamentos significativos recentes, avanços técnicos e atualizações 👇 gerais

ZkCloud @thezkcloud recebeu uma concessão da @ethereumfndn para gerar continuamente ZKPs para os blocos da mainnet do @ethereum ao longo do Q2 de 2025. Todas as provas são publicamente postadas via @eth_proofs. O objetivo é demonstrar uma infraestrutura escalável para provas em tempo real. ZkCloud utiliza um cluster de 24 GPUs e ferramentas de código aberto modificadas, com planos de adotar os zkVMs mais rápidos disponíveis e reduzir a latência para provas de blocos abaixo de 12 segundos: Além disso, o projeto adicionou quatro novos validadores à sua Testnet: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain e @AhnLab_ABC. Esses grupos trazem forças diversas - desde infraestrutura localizada e cibersegurança até pesquisa e operações de validadores. A participação deles fortalece a prova descentralizada à medida que ZkCloud se aproxima da Mainnet e aumenta as capacidades de prova em tempo real dentro de sua rede: Além disso, ZkCloud foi um dos principais patrocinadores do Ethproofs Summit da House of ZK durante a @BerBlockWeek. O chefe de produto @NorbertVadas participou de três sessões no evento: 1) Primeiro, ele deu uma palestra onde falou sobre os gargalos arquitetônicos e técnicos da escalabilidade da prova ZK - desde a otimização da busca de dados RPC até o manuseio de variações inesperadas na complexidade dos blocos devido a opcodes EVM com sobrecarga desproporcional de prova: 2) Mais tarde, Norbert se juntou a @Khovr da Ethereum Foundation, @0xAlecJames da @NexusLabs, @MayaD09111862 da @StarkWareLtd e @alicelingl da @HouseofZK para discutir como benchmarks zkVM padronizados podem enganar quando otimizados para métricas estreitas, a importância da avaliação de desempenho consciente do hardware e a necessidade de estruturas transparentes e multidimensionais que reflitam cargas de trabalho do mundo real e construam confiança em computação verificável: 3) Finalmente, junto com @carlo_cretino50 da @0xLita, @DacEconomy da @ProjectZKM, @schmiddominik1 da @0xMiden e Alice Liu da House of ZK, ele explorou a evolução da interoperabilidade zkVM, destacando o potencial de ir além das pontes tradicionais, o papel dos provedores de prova descentralizados e a importância de padrões compartilhados para aplicações de blockchain escaláveis e seguras:

Ingonyama @Ingo_zk lançou uma implementação acelerada do ML-KEM, um protocolo de encapsulamento de chave baseado em rede selecionado pelo NIST para criptografia pós-quântica. O código baseado em CUDA é de código aberto sob a licença MIT e alcança até 30% mais throughput em comparação com implementações atuais. O ML-KEM suporta três níveis de segurança alinhados com Kyber512, Kyber768 e Kyber1024: Além disso, @BagadSuyash e @yuval_domb da Ingonyama, @QuangVDao da @CarnegieMellon e @SuccinctJT da @a16zcrypto publicaram um artigo descrevendo a integração de duas otimizações-chave que aceleram significativamente o protocolo de verificação de soma, um componente fundamental dos SNARKs. As técnicas visam entradas polinomiais de pequeno valor e formas polinomiais de igualdade, permitindo reduções de tempo de prova de 2 a 4 vezes no Jolt zkVM, com melhorias ainda maiores quando a memória é limitada. Esses resultados abordam diretamente os gargalos do provador em sistemas como Spartan dentro do Jolt:

Fermah @fermah_xyz lançou a Fase 2 de sua testnet, que inclui a integração de Nós Prover externos, melhorando as ferramentas para desenvolvedores e executando benchmarks personalizados. A fase é nomeada em homenagem ao Professor Amit Sahai, cujo trabalho moldou significativamente as bases da criptografia ZK. Fermah observa que fases futuras expandirão a participação além da atual rede de infraestrutura, sinalizando um crescimento contínuo e um envolvimento mais amplo da comunidade: Além disso, @vanishree_rao, Fundadora da Fermah, durante a Chamada #2 do @eth_proofs compartilhou que a Fermah se integrou com @RiscZero e @openvm_org para gerar provas localmente, visando suportar todos os zkVMs e submeter as mais eficientes ao Ethproofs. Ela também compartilhou uma proposta para uma nova definição de segurança - extração de prova escolhida - destacando lacunas nos padrões atuais. [Timestamp - 02:04:50]:

Cysic @cysic_xyz apresenta o ComputeFi, com o objetivo de descentralizar o poder computacional, que é crítico tanto para tecnologias de IA quanto de ZK. A plataforma permite que os usuários monetizem hardware e oferece aos desenvolvedores acesso acessível e transparente a recursos computacionais. Ao reduzir a dependência de provedores centralizados, a Cysic afirma que os construtores podem inovar livremente, com segurança e de forma econômica - abrindo caminho para uma participação digital mais ampla e aplicativos focados em privacidade: Além disso, o projeto lançou a Fase III: Ignition de sua testnet - construindo sobre estágios anteriores que introduziram um sistema de dual-token, provedores de GPU e verificadores móveis. Ignition é uma beta pública que oferece aos usuários a chance de participar do computação descentralizada e ganhar recompensas da testnet. O acesso é atualmente apenas por convite, com suporte móvel chegando em breve: Finalmente, na recente chamada @eth_proofs #2, o co-fundador da Cysic, @leofanxiong, compartilhou atualizações sobre seus ASICs personalizados construídos para ZKPs. Os chips suportam campos-chave de ZK e entregam mais de 1,3 milhões de hashes Keccak/segundo. Eles usam uma rede personalizada em chip para reordenação eficiente de dados e combinam hardware de função fixa com CPUs para flexibilidade. Embora ainda estejam em FPGA, eles estão superando a taxa de transferência típica de GPUs:

Snarkify Durante a mais recente chamada @eth_proofs, @drouyang, co-fundador e CEO da @Snarkify_ZKP, informou os participantes que a Snarkify construiu o provador H2 GPU mais rápido na mainnet da @Scroll_ZKP e superou 750 MHz em velocidade de emulação RISC-V. A equipe moveu a geração de rastros completos para GPUs, aumentando significativamente a capacidade de processamento. O produto deles, que permite a prova em tempo real para qualquer zkVM, será lançado até o final de junho. [Timestamp - 01:12:30]:

Marlin @MarlinProtocol anunciou que os desenvolvedores que estão a construir na @SuiNetwork terão acesso sem restrições ao seu mercado de computação TEE através do Nautilus. Eles poderão escolher entre VMs confidenciais dedicadas ou execução sem servidor, pagável em USDC. As ferramentas incluem suporte a Docker, gestão de chaves e atestação: Além disso, a Marlin anunciou que os seus Ambientes de Execução Confiável agora suportam a camada de liquidação da @cyclenetwork_GO e a infraestrutura de liquidez sem ponte, melhorando o processamento seguro de dados offchain. Esta atualização atende às necessidades de confidencialidade institucional enquanto permite liquidações de alto rendimento: