Qui riportiamo i progressi dei principali costruttori nel servizio di prova ZKonomy, documentando le recenti versioni significative, le scoperte tecniche e gli aggiornamenti 👇 generali

ZkCloud @thezkcloud ha ricevuto un finanziamento da @ethereumfndn per generare continuamente ZKP per i blocchi della mainnet di @ethereum fino al Q2 2025. Tutte le prove sono pubblicamente pubblicate tramite @eth_proofs. L'obiettivo è dimostrare un'infrastruttura scalabile per la prova in tempo reale. ZkCloud utilizza un cluster di 24 GPU e strumenti open-source modificati, con piani per adottare i zkVM più veloci disponibili e ridurre la latenza per le prove di blocco sotto i 12 secondi: Inoltre, il progetto ha aggiunto quattro nuovi validatori al suo Testnet: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain e @AhnLab_ABC. Questi gruppi portano forze diverse - dall'infrastruttura localizzata e la cybersecurity alla ricerca e alle operazioni di validazione. La loro partecipazione rafforza la prova decentralizzata mentre ZkCloud si avvicina alla Mainnet e aumenta le capacità di prova in tempo reale all'interno della sua rete: Inoltre, ZkCloud è stato uno dei principali sponsor del Summit Ethproofs di House of ZK durante @BerBlockWeek. Il Responsabile del Prodotto @NorbertVadas ha partecipato a tre sessioni all'evento: 1) Prima, ha tenuto un discorso principale in cui ha parlato dei colli di bottiglia architettonici e tecnici della scalabilità della prova ZK - dall'ottimizzazione del recupero dei dati RPC alla gestione della variazione imprevista nella complessità dei blocchi a causa degli opcode EVM con un sovraccarico di prova sproporzionato: 2) Successivamente, Norbert si è unito a @Khovr della Ethereum Foundation, @0xAlecJames di @NexusLabs, @MayaD09111862 di @StarkWareLtd e @alicelingl di @HouseofZK per discutere di come i benchmark zkVM standardizzati possano fuorviare quando ottimizzati per metriche ristrette, l'importanza della valutazione delle prestazioni consapevole dell'hardware e la necessità di framework trasparenti e multidimensionali che riflettano i carichi di lavoro del mondo reale e costruiscano fiducia nel calcolo verificabile: 3) Infine, insieme a @carlo_cretino50 di @0xLita, @DacEconomy di @ProjectZKM, @schmiddominik1 di @0xMiden e Alice Liu di House of ZK, ha esplorato l'evoluzione dell'interoperabilità zkVM, evidenziando il potenziale di andare oltre i ponti tradizionali, il ruolo dei fornitori di prove decentralizzati e l'importanza di standard condivisi per applicazioni blockchain scalabili e sicure:

Ingonyama @Ingo_zk ha rilasciato un'implementazione accelerata di ML-KEM, un protocollo di incapsulamento di chiavi basato su reticoli selezionato dal NIST per la crittografia post-quantistica. Il codice basato su CUDA è open-source sotto la licenza MIT e raggiunge fino al 30% di throughput in più rispetto alle implementazioni attuali. ML-KEM supporta tre livelli di sicurezza allineati con Kyber512, Kyber768 e Kyber1024: Inoltre, @BagadSuyash e @yuval_domb di Ingonyama, @QuangVDao di @CarnegieMellon e @SuccinctJT di @a16zcrypto hanno pubblicato un documento che descrive l'integrazione di due ottimizzazioni chiave che accelerano significativamente il protocollo di somma di controllo, un componente fondamentale degli SNARK. Le tecniche mirano a input polinomiali di piccolo valore e forme polinomiali di uguaglianza, consentendo riduzioni del tempo di prova da 2 a 4 volte nel Jolt zkVM, con miglioramenti ancora maggiori quando la memoria è limitata. Questi risultati affrontano direttamente i colli di bottiglia del provatore in sistemi come Spartan all'interno di Jolt:

Fermah @fermah_xyz ha lanciato la Fase 2 del suo testnet, che include l'integrazione di nodi Prover esterni, il miglioramento degli strumenti per sviluppatori e l'esecuzione di benchmark personalizzati. La fase è intitolata al Professor Amit Sahai, il cui lavoro ha plasmato significativamente le fondamenta della crittografia ZK. Fermah nota che le fasi future espanderanno la partecipazione oltre l'attuale rete infrastrutturale, segnalando una continua crescita e un coinvolgimento più ampio della comunità: Inoltre, @vanishree_rao, Fondatrice di Fermah, durante la chiamata @eth_proofs Call #2 ha condiviso che Fermah si è integrata con @RiscZero e @openvm_org per generare localmente prove, con l'obiettivo di supportare tutti gli zkVM e inviare le più efficienti a Ethproofs. Ha anche condiviso una proposta per una nuova definizione di sicurezza - l'estrazione di prove scelte - evidenziando le lacune negli standard attuali. [Timestamp - 02:04:50]:

Cysic @cysic_xyz presenta ComputeFi, con l'obiettivo di decentralizzare la potenza di calcolo, fondamentale sia per l'IA che per le tecnologie ZK. La piattaforma consente agli utenti di monetizzare l'hardware e offre agli sviluppatori un accesso economico e trasparente alle risorse di calcolo. Riducendo la dipendenza dai fornitori centralizzati, Cysic afferma che i costruttori possono innovare liberamente, in sicurezza e in modo conveniente, aprendo la strada a una partecipazione digitale più ampia e a app focalizzate sulla privacy: Inoltre, il progetto ha lanciato la Fase III: Accensione del suo testnet - costruendo su fasi precedenti che hanno introdotto un sistema a doppio token, provatori GPU e verificatori mobili. Accensione è un beta pubblico che offre agli utenti la possibilità di partecipare al calcolo decentralizzato e guadagnare ricompense nel testnet. L'accesso è attualmente solo su invito, con supporto mobile in arrivo: Infine, durante la recente chiamata @eth_proofs Call #2, il co-fondatore di Cysic @leofanxiong ha condiviso aggiornamenti sui loro ASIC personalizzati costruiti per ZKP. I chip supportano i principali campi ZK e forniscono oltre 1,3 milioni di hash Keccak/sec. Utilizzano una rete-on-chip personalizzata per un'efficiente riorganizzazione dei dati e abbinano hardware a funzione fissa con CPU per flessibilità. Anche se ancora su FPGA, stanno superando il throughput tipico delle GPU:

Snarkify Durante l'ultima chiamata @eth_proofs, @drouyang, co-fondatore e CEO di @Snarkify_ZKP, ha informato i partecipanti che Snarkify ha costruito il provatore H2 GPU più veloce sulla mainnet di @Scroll_ZKP, superando i 750 MHz in velocità di emulazione RISC-V. Il team ha spostato la generazione di tracce complete sulle GPU, aumentando significativamente il throughput. Il loro prodotto, che consente la prova in tempo reale per qualsiasi zkVM, sarà lanciato entro la fine di giugno. [Timestamp - 01:12:30]:

Marlin @MarlinProtocol ha annunciato che gli sviluppatori che lavorano su @SuiNetwork avranno accesso illimitato al suo marketplace di calcolo TEE tramite Nautilus. Potranno scegliere tra VM confidenziali dedicate o esecuzione serverless, pagabili in USDC. Gli strumenti includono supporto per Docker, gestione delle chiavi e attestazione: Inoltre, Marlin ha annunciato che i suoi Ambienti di Esecuzione Fidati ora supportano il layer di regolamento di @cyclenetwork_GO e l'infrastruttura di liquidità senza bridge, migliorando l'elaborazione sicura dei dati offchain. Questo aggiornamento soddisfa le esigenze di riservatezza istituzionale consentendo al contempo regolamenti ad alta capacità.