Di sini kami melaporkan kemajuan pembangun terkemuka dalam ekosistem zkVM, mendokumentasikan rilis signifikan baru-baru ini, terobosan teknis, dan pembaruan umum. Menampilkan: @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc & @openvm_org 👇

Ringkas 🔹 Tech 🔹 @SuccinctLabs memperkenalkan SP1-CC, koprosesor ZK untuk @ethereum yang memungkinkan pengembang membaca status blockchain historis, menjalankan komputasi offchain yang kompleks, dan memverifikasi hasil onchain dengan satu bukti: SP1-CC menghilangkan kendala gas dan batasan EVM tanpa mengubah kode L1, memungkinkan kasus penggunaan baru dalam tata kelola, DeFi, airdrop, dan pengungkapan keamanan. Tim seperti @eigenlayer sudah menggunakannya untuk mengurangi biaya dan meningkatkan fleksibilitas. 🔹 Kemitraan 🔹 Proyek ini baru-baru ini mengumumkan sejumlah kemitraan baru termasuk: 🔹 @Snarkify_ZKP: Bergabung dengan Succinct Prover Network sebagai tim pembuktian awal, menghadirkan mesin pembuktian SP1-SRT khusus yang dioptimalkan untuk pembuatan ZKP real-time pada GPU dan FPGA, membantu mengurangi latensi dan biaya di seluruh jaringan: 🔹 @a41_allforone: Terintegrasi ke dalam jaringan sebagai pembuktian multi-node dengan penjadwal yang mengoordinasikan ratusan GPU, bersama dengan backend yang dioptimalkan untuk Python, memungkinkan pembuktian throughput tinggi untuk aplikasi seperti game, AI, dan rollup: 🔹 @cysic_xyz: Ditambahkan ke jaringan sebagai pembuktian yang dipercepat perangkat keras yang menjalankan kluster GPU besar dan bersiap untuk meluncurkan ASIC kustom untuk beban kerja zkVM, menyumbangkan keahlian mendalam dari ZPRIZE dan infrastruktur ZK tingkat produksi: 🔹 @worldcoin: Berkolaborasi untuk membuktikan semua transaksi di World Chain menggunakan OP Ringkas, menjalankan eksperimen mainnet 7 hari dengan verifikasi bukti paralel dan mendemonstrasikan bukti validitas yang cepat dan hemat biaya untuk salah satu rantai OP Stack terbesar: 🔹 @Mantle_Official: Mendukung transisi Mantle Network ke OP Ringkas di testnet, selaras dengan peta jalan mereka untuk meningkatkan keamanan dan desentralisasi dengan bukti kesalahan yang didukung ZK dan infrastruktur modular: 🔹 @zan_team: Bergabung sebagai pembuktian multi-node yang didukung oleh @AntChainOpenLab, berkontribusi pada infrastruktur yang dipercepat perangkat keras dan pengoptimalan SP1 berbasis FPGA yang meningkatkan kecepatan pembuktian sebesar 20x lipat melalui CPU, membantu menurunkan biaya jaringan dan membuka jalan bagi ZK ASIC: 🔹 Media 🔹 Akhirnya, Co-founder Succinct @pumatheuma bergabung dengan @alicelingl di 'Succinct Special' baru-baru ini, di mana mereka membahas perkembangan terbaru Succinct dan segala sesuatu ZK:

ZKM 🔹 Tech 🔹 @ProjectZKM memperkenalkan Ziren - zkVM yang dipercepat GPU dengan pembuktian terdistribusi, sebelumnya dikenal sebagai zkMIPS: Dibangun di atas arsitektur MIPS32r2 yang efisien zk, Ziren sudah mendukung aplikasi dunia nyata seperti @GOATRollup dan mengurangi waktu pembuatan bukti secara signifikan dibandingkan versi sebelumnya. 🔹 Riset🔹 ZKM menerbitkan beberapa artikel baru yang menyoroti kemajuan terbaru dalam tumpukan pembuktian ZK-nya: 🔹 Artikel pertama memperkenalkan peningkatan yang datang dengan rebranding Ziren - akselerasi GPU, pembuktian terdistribusi, dan berbagai pengoptimalan kendala: 🔹 Yang kedua menjelaskan Kerangka Kerja Sistem Ziren, yang mencakup alur lengkap dari kode tingkat tinggi hingga bukti on-chain. Ini merinci bagaimana jejak eksekusi berbasis MIPS diubah menjadi STARK, digabungkan secara rekursif dengan PLONK, dan diselesaikan menjadi Groth16 untuk verifikasi yang efisien: 🔹 Artikel ketiga melengkapi trilogi seri ISA ZKM, dengan fokus pada mengapa ZKM memilih MIPS32r2 daripada RISC-V. Ini menekankan stabilitas sirkuit dan umur panjang bukti, menjelaskan bagaimana MIPS menawarkan ISA tetap dan tidak berubah, memastikan bukti tetap berlaku selama bertahun-tahun tanpa pengerjaan ulang: 🔹 Dalam artikel terbaru, ZKM memperkenalkan Komitmen Polinomial Bergerigi - metode untuk menangani matriks tidak teratur di zkVM. Dengan menggunakan konversi jarang-ke-padat dan protokol sumcheck, ini memungkinkan komitmen yang dapat diskalakan dan efisien di seluruh struktur bukti dinamis: 🔹 Media 🔹 Terakhir, @DacEconomy (Kepala Ilmuwan ZKM) dan @sd_eigen (kontributor inti di GOAT Network) bergabung dengan @alicelingl untuk membahas bagaimana zkVM ZKM mendukung Bitcoin L2 GOAT Network: Mereka menjelajahi infrastruktur Entangled Rollup, pembuatan bukti real-time dan agregat, dan mengganti kepercayaan validator dengan kepastian matematis - menyoroti arsitektur dan model keamanan di balik pendekatan GOAT terhadap skalabilitas Bitcoin.

RISC Nol/Tanpa Batas 🔹 Tech 🔹 @boundless_xyz by @RiscZero telah meluncurkan Mainnet Beta pada @base, membawa ZKP ke dalam penggunaan dunia nyata: 'The Signal' diperkenalkan - klien ZK sumber terbuka yang mengompresi finalitas @ethereum menjadi satu bukti, memungkinkan verifikasi lintas rantai. Dengan memisahkan eksekusi dari konsensus, Boundless memungkinkan komputasi yang dapat diskalakan tanpa mengorbankan keamanan. Pembuktian tidak memiliki izin, dengan insentif nyata dan dukungan aplikasi langsung yang sudah berjalan di Base. 🔹 Kemitraan 🔹 Sinyal oleh Boundless sekarang didukung oleh @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject dan @union_build. Bersama-sama, jaringan ini memungkinkan finalitas @ethereum berbasis ZK menjadi primitif universal yang dapat diverifikasi untuk aplikasi lintas rantai - tanpa oracle, jembatan, atau asumsi kepercayaan:

Dalam Panggilan Ethproofs terbaru, @succinct_li @brevis_zk membagikan pembaruan tentang zkVM internal Brevis, Pico: (Stempel waktu 11:06) Pemprobor berbasis GPU Brevis, Pico v1.0, memberikan peningkatan kecepatan hingga 20× dibandingkan versi CPU mereka dan mengungguli pesaing terkemuka sekitar 25-27%. Tim berencana untuk merilis Pico v2.0 pada akhir Agustus, yang bertujuan untuk membuktikan secara real-time. Mereka juga bermaksud untuk membuka sumber kode GPU setelah menyelesaikan dukungan multi-GPU dan multi-mesin dalam beberapa bulan mendatang.

Lita @0xLita memperkenalkan Valida 0.10.0, pembaruan besar untuk tumpukan zkVM-nya: Rilis ini menambahkan Kelanjutan untuk bukti eksekusi parsial, API WASM sisi klien untuk bukti zk berbasis browser, dan dukungan toolchain Rust/LLVM yang ditingkatkan. Ini juga mencakup gambar Docker untuk x86 dan ARM, dukungan awal untuk Secp256k1 dan memcpy, dan Reva, eksekutor blok @ethereum.

OpenVM @openvm_org telah merilis versi 1.3.0, memperkenalkan library tamu yang diperbarui yang memisahkan binding tingkat rendah dari API tingkat tinggi dengan bersih: Pembaruan ini mencakup perpustakaan Rust baru untuk memverifikasi bukti STARK, peningkatan CLI yang mendukung opsi Kargo, dan tambalan untuk peti kriptografi seperti k256 dan p256. Tidak ada perubahan sirkuit yang terjadi. Pengembang didorong untuk bermigrasi ke pustaka baru.