Di sini kami melaporkan kemajuan pembangun terkemuka di Proving Service ZKonomy, mendokumentasikan rilis signifikan baru-baru ini, terobosan teknis, dan pembaruan 👇 umum

ZkCloud @thezkcloud telah menerima hibah dari @ethereumfndn untuk terus menghasilkan ZKP untuk blok mainnet @ethereum sepanjang Q2 2025. Semua bukti diposting secara publik melalui @eth_proofs. Tujuannya adalah untuk mendemonstrasikan infrastruktur yang dapat diskalakan untuk pembuktian waktu nyata. ZkCloud menggunakan klaster 24-GPU dan alat sumber terbuka yang dimodifikasi, dengan rencana untuk mengadopsi zkVM tercepat yang tersedia dan mengurangi latensi untuk bukti blok di bawah 12 detik: Selain itu, proyek ini telah menambahkan empat validator baru ke Testnet-nya: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain, dan @AhnLab_ABC. Kelompok-kelompok ini membawa beragam kekuatan - mulai dari infrastruktur lokal dan keamanan siber hingga operasi penelitian dan validator. Partisipasi mereka memperkuat pembuktian terdesentralisasi saat ZkCloud bergerak lebih dekat ke Mainnet dan meningkatkan kemampuan bukti waktu nyata dalam jaringannya: Selain itu, ZkCloud adalah salah satu sponsor utama KTT Ethproofs House of ZK selama @BerBlockWeek. Head of Product @NorbertVadas berpartisipasi dalam tiga sesi di acara tersebut: 1) Pertama, dia memberikan keynote di mana dia berbicara tentang kemacetan arsitektur dan teknis dari pembuktian ZK penskalaan - mulai dari mengoptimalkan pengambilan data RPC hingga menangani varians tak terduga dalam kompleksitas blok karena opcode EVM dengan overhead pembuktian yang tidak proporsional: 2) Kemudian, Norbert bergabung dengan @Khovr Ethereum Foundation, @0xAlecJames @NexusLabs, @MayaD09111862 @StarkWareLtd, dan @alicelingl @HouseofZK untuk membahas bagaimana tolok ukur zkVM standar dapat menyesatkan ketika dioptimalkan untuk metrik sempit, pentingnya evaluasi kinerja sadar perangkat keras, dan kebutuhan akan kerangka kerja multi-dimensi yang transparan yang mencerminkan beban kerja dunia nyata dan membangun kepercayaan pada komputasi yang dapat diverifikasi: 3) Akhirnya, bersama dengan @carlo_cretino50 @0xLita, @DacEconomy @ProjectZKM, @schmiddominik1 @0xMiden, dan Alice Liu dari House of ZK, ia mengeksplorasi evolusi interoperabilitas zkVM, menyoroti potensi untuk bergerak melampaui jembatan tradisional, peran penyedia bukti terdesentralisasi, dan pentingnya standar bersama untuk aplikasi blockchain yang dapat diskalakan dan aman:

Ingonyama @Ingo_zk telah merilis implementasi ML-KEM yang dipercepat, protokol enkapsulasi kunci berbasis kisi yang dipilih oleh NIST untuk kriptografi pasca-kuantum. Kode berbasis CUDA bersifat open-source di bawah lisensi MIT dan mencapai throughput hingga 30% lebih tinggi dibandingkan dengan implementasi saat ini. ML-KEM mendukung tiga tingkat keamanan yang selaras dengan Kyber512, Kyber768, dan Kyber1024: Selain itu, @BagadSuyash dan @yuval_domb Ingonyama, @QuangVDao @CarnegieMellon, dan @SuccinctJT @a16zcrypto telah merilis makalah yang menjelaskan integrasi dua pengoptimalan utama yang secara signifikan mempercepat protokol pengecekan penjumlahan, komponen mendasar dari SNARK. Teknik ini menargetkan input polinomial bernilai kecil dan bentuk polinomial kesetaraan, memungkinkan 2-4× membuktikan pengurangan waktu di Jolt zkVM, dengan peningkatan yang lebih besar ketika memori dibatasi. Hasil ini secara langsung mengatasi kemacetan pembuktian dalam sistem seperti Spartan dalam Jolt:

Fermah @fermah_xyz telah meluncurkan Fase 2 testnet-nya, yang mencakup mengintegrasikan Prover Node eksternal, meningkatkan alat pengembang, dan menjalankan tolok ukur khusus. Fase ini dinamai Profesor Amit Sahai, yang karyanya secara signifikan membentuk fondasi kriptografi ZK. Fermah mencatat bahwa fase mendatang akan memperluas partisipasi di luar jaringan infrastruktur saat ini, menandakan pertumbuhan berkelanjutan dan keterlibatan masyarakat yang lebih luas: Selain itu, @vanishree_rao, Pendiri Fermah, selama @eth_proofs Call #2 berbagi bahwa Fermah telah terintegrasi dengan @RiscZero dan @openvm_org untuk menghasilkan bukti secara lokal, yang bertujuan untuk mendukung semua zkVM dan mengirimkan yang paling efisien ke Ethproofs. Dia juga membagikan proposal untuk definisi keamanan baru - bukti ekstraksibilitas yang dipilih - menyoroti kesenjangan dalam standar saat ini. [Stempel waktu - 02:04:50]:

Siku @cysic_xyz memperkenalkan ComputeFi, yang bertujuan untuk mendesentralisasi daya komputasi, yang sangat penting untuk teknologi AI dan ZK. Platform ini memungkinkan pengguna untuk memonetisasi perangkat keras dan memberi pengembang akses transparan dan terjangkau ke sumber daya komputasi. Dengan mengurangi ketergantungan pada penyedia terpusat, Cysic mengatakan pembangun dapat berinovasi dengan bebas, aman, dan hemat biaya - membuka jalan bagi partisipasi digital yang lebih luas dan aplikasi yang berfokus pada privasi: Selain itu, proyek ini telah meluncurkan Fase III: Pengapian testnet-nya - dibangun di atas tahap awal yang memperkenalkan sistem dual-token, GPU prover, dan verifikator seluler. Ignition adalah beta publik yang menawarkan pengguna kesempatan untuk berpartisipasi dalam komputasi terdesentralisasi dan mendapatkan hadiah testnet. Akses saat ini hanya dapat diundang, dengan dukungan seluler segera hadir: Akhirnya, pada @eth_proofs Call #2 baru-baru ini, salah satu pendiri Cysic @leofanxiong membagikan pembaruan tentang ASIC khusus mereka yang dibuat untuk ZKP. Chip mendukung bidang ZK utama dan memberikan lebih dari 1,3 juta hash Keccak/detik. Mereka menggunakan jaringan-on-chip khusus untuk penyusunan ulang data yang efisien dan memasangkan perangkat keras fungsi tetap dengan CPU untuk fleksibilitas. Meskipun masih menggunakan FPGA, mereka mengungguli throughput GPU biasa:

Snarkify Selama @eth_proofs Call terbaru, @drouyang, Co-founder & CEO @Snarkify_ZKP, mengatakan kepada peserta bahwa Snarkify telah membangun pembuktian GPU H2 tercepat di mainnet @Scroll_ZKP dan melampaui 750 MHz dalam kecepatan emulasi RISC-V. Tim memindahkan pembuatan pelacakan penuh ke GPU, secara signifikan meningkatkan throughput. Produk mereka, memungkinkan pembuktian real-time untuk zkVM apa pun, akan diluncurkan pada akhir Juni. [Stempel waktu - 01:12:30]:

Marlin @MarlinProtocol mengumumkan bahwa pengembang yang membangun @SuiNetwork akan memiliki akses tanpa tambatan ke pasar komputasi TEE melalui Nautilus. Mereka akan dapat memilih antara VM rahasia khusus atau eksekusi nirserver, dibayarkan dalam USDC. Perkakas mencakup dukungan Docker, manajemen kunci, dan pengesahan: Selain itu, Marlin mengumumkan bahwa Lingkungan Eksekusi Tepercayanya sekarang mendukung lapisan penyelesaian @cyclenetwork_GO dan infrastruktur likuiditas tanpa jembatan, meningkatkan pemrosesan data offchain yang aman. Peningkatan ini memenuhi kebutuhan kerahasiaan kelembagaan sekaligus memungkinkan penyelesaian throughput tinggi: