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

ZkCloud @thezkcloud recebeu uma doação do @ethereumfndn para gerar continuamente ZKPs para @ethereum blocos da rede principal ao longo do 2º trimestre de 2025. Todas as provas são postadas publicamente via @eth_proofs. O objetivo é demonstrar uma infraestrutura escalável para comprovação em tempo real. O ZkCloud usa um cluster de 24 GPUs e ferramentas de código aberto modificadas, com planos de adotar as zkVMs mais rápidas disponíveis e reduzir a latência para provas de bloco de menos de 12 segundos: Além disso, o projeto adicionou quatro novos validadores à sua rede de testes: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain e @AhnLab_ABC. Esses grupos trazem diversos pontos fortes - desde infraestrutura localizada e segurança cibernética até operações de pesquisa e validação. Sua participação fortalece a prova descentralizada à medida que o ZkCloud se aproxima da Mainnet e aumenta os recursos de prova em tempo real em sua rede: Além disso, a ZkCloud foi um dos principais patrocinadores do Ethproofs Summit da House of ZK durante @BerBlockWeek. Head 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 do dimensionamento da prova ZK - desde a otimização da busca de dados RPC até o tratamento de variações inesperadas na complexidade do bloco devido aos opcodes EVM com sobrecarga de prova desproporcional: 2) Mais tarde, Norbert se juntou a @Khovr da Ethereum Foundation, @0xAlecJames da @NexusLabs, @MayaD09111862 da @StarkWareLtd e @alicelingl da @HouseofZK para discutir como os benchmarks zkVM padronizados podem enganar quando otimizados para métricas restritas, a importância da avaliação de desempenho com reconhecimento de hardware e a necessidade de estruturas transparentes e multidimensionais que reflitam cargas de trabalho do mundo real e criem confiança na 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 do 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 aplicativos blockchain escaláveis e seguros:

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 atinge uma taxa de transferência até 30% maior em comparação com as implementações atuais. O ML-KEM oferece suporte a 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 lançaram um artigo descrevendo a integração de duas otimizações principais 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 2-4× comprovando reduções de tempo no Jolt zkVM, com melhorias ainda maiores quando a memória é restrita. Esses resultados abordam diretamente os gargalos do provador em sistemas como o Spartan dentro do Jolt:

Fermah A @fermah_xyz lançou a Fase 2 de sua rede de testes, que inclui a integração de Prover Nodes externos, a melhoria das ferramentas de desenvolvedor e a execução de benchmarks personalizados. A fase recebeu o nome do professor Amit Sahai, cujo trabalho moldou significativamente as bases da criptografia ZK. Fermah observa que as fases futuras expandirão a participação além da rede de infraestrutura atual, sinalizando crescimento contínuo e envolvimento mais amplo da comunidade: Além disso, @vanishree_rao, fundador da Fermah, durante @eth_proofs Call #2 compartilhou que a Fermah se integrou ao @RiscZero e @openvm_org para gerar provas localmente, com o objetivo de oferecer suporte a todos os zkVMs e enviar os mais eficientes para o Ethproofs. Ela também compartilhou uma proposta para uma nova definição de segurança - a capacidade de extração de prova escolhida - destacando as lacunas nos padrões atuais. [Carimbo de data/hora - 02:04:50]:

Cínico @cysic_xyz apresenta o ComputeFi, com o objetivo de descentralizar o poder de computação, que é fundamental para as tecnologias AI e ZK. A plataforma permite que os usuários monetizem o hardware e oferece aos desenvolvedores acesso transparente e acessível aos recursos de computação. Ao reduzir a dependência de provedores centralizados, a Cysic diz que os construtores podem inovar de forma livre, segura e econômica - abrindo caminho para uma participação digital mais ampla e aplicativos focados na privacidade: Além disso, o projeto lançou a Fase III: Ignição de sua rede de teste - com base nos estágios anteriores que introduziram um sistema de token duplo, provadores de GPU e verificadores móveis. O Ignition é uma versão beta pública que oferece aos usuários a chance de participar de computação descentralizada e ganhar recompensas de testnet. No momento, o acesso é apenas para convidados, com suporte móvel em breve: Finalmente, na recente @eth_proofs Call #2, o cofundador da Cysic, @leofanxiong, compartilhou atualizações sobre seus ASICs personalizados criados para ZKPs. Os chips suportam os principais campos ZK e fornecem mais de 1,3 milhão de hashes Keccak/s. Eles usam uma rede personalizada no chip para reordenação eficiente de dados e emparelham 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 da GPU:

Snarkify Durante a última @eth_proofs Call, @drouyang, cofundador e CEO da @Snarkify_ZKP, disse aos participantes que a Snarkify construiu o provador de GPU H2 mais rápido em @Scroll_ZKP rede principal e ultrapassou 750 MHz em velocidade de emulação RISC-V. A equipe mudou a geração completa de rastreamento para GPUs, aumentando significativamente a taxa de transferência. Seu produto, que permite a prova em tempo real para qualquer zkVM, será lançado no final de junho. [Carimbo de data/hora - 01:12:30]:

Marlim @MarlinProtocol anunciou que os desenvolvedores que se baseiam no @SuiNetwork terão acesso irrestrito ao seu mercado de computação TEE via Nautilus. Eles poderão escolher entre VMs confidenciais dedicadas ou execução sem servidor, pagável em USDC. As ferramentas incluem suporte ao Docker, gerenciamento de chaves e atestado: Além disso, a Marlin anunciou que seus Ambientes de Execução Confiáveis agora suportam a camada de liquidação da @cyclenetwork_GO e a infraestrutura de liquidez sem ponte, aprimorando o processamento seguro de dados offchain. Essa atualização atende às necessidades de confidencialidade institucional, ao mesmo tempo em que permite a liquidação de alto rendimento: