ZKM telah secara resmi merilis generasi baru zkVM yang dipercepat GPU dengan nama Ziren: untuk membangun infrastruktur ZK tingkat produksi untuk pengembang arus utama

ZKM secara resmi merilis versi generasi baru dari zkVM-nya, Ziren (sebelumnya zkMIPS), yang membuka babak baru dalam penerapan dan skalabilitas sistem zero-knowledge proof (ZK) dalam skenario aplikasi dunia nyata melalui akselerasi GPU, arsitektur bukti terdistribusi, dan sistem batasan yang sangat dioptimalkan. Ziren bertujuan untuk memungkinkan insinyur sistem, pengembang aplikasi, dan desainer protokol untuk membangun aplikasi ZK berkinerja tinggi dalam bahasa arus utama, benar-benar membawa ZK dari lab ke praktik pengembangan arus utama.

Dari zkMIPS ke Ziren: Lompatan dalam kinerja dan pengalaman pengembangan yang ditingkatkan

Ziren adalah peningkatan penuh dari zkMIPS v1.1.0 dan pertama kali diperkenalkan:

• Akselerasi GPU 30× untuk mengurangi latensi bukti secara dramatis;

• Arsitektur bukti jaringan terdistribusi, mendukung komputasi paralel dan penerapan yang dapat diskalakan;

• Sistem kendala instruksi ditingkatkan, modularisasi instruksi dioptimalkan, penggunaan kolom dioptimalkan, dan redundansi dihilangkan;

• Toolchain dan pengalaman pengembangan telah ditingkatkan, dan dukungan untuk C/C++ telah ditambahkan atas dasar mendukung Rust, dan Golang akan segera diluncurkan;

• Perbaikan keamanan utama dan peningkatan prakompilasi untuk mencapai kompatibilitas asli dengan ekosistem Ethereum.

"Ziren adalah zkVM serba guna pertama yang benar-benar dapat diskalakan dan ramah pengembang yang dibangun di atas fondasi yang tepat." Ming Guo, Co-Founder dan Chief Scientist di ZKM, "Ini terbukti menjadi pemimpin dalam kinerja pada CPU, dan sekarang kami membawanya ke tingkat berikutnya dengan akselerasi GPU. Jika Anda mencari tumpukan bukti ZK yang optimal, Ziren adalah jawabannya. "

Selain peningkatan teknis yang komprehensif, nama Ziren sendiri juga memiliki arti. Sebagai kelanjutan dari zkMIPS, "Ziren" terinspirasi oleh varian mitos "Siren" dan mewakili pergeseran dari ilusi ke kenyataan – janji bahwa teknologi bukan lagi hanya daya tarik, tetapi kegunaan yang nyata. Ziren bertujuan untuk menjadi infrastruktur zk yang benar-benar efisien, tepercaya, dan dapat diterapkan di tangan pengembang arus utama.

Akselerasi GPU dan Paralelisme Bukti Terdistribusi: Lompatan dari Performa ke Utilitas

Proses pengesahan inti Zeren telah sepenuhnya dibentuk GPU, menghasilkan peningkatan kinerja yang signifikan:

• Bukti inti 30x lebih cepat

• Bukti agregat 15x lebih cepat

• Bukti konversi BN254 30x lebih cepat

Dikombinasikan dengan arsitektur bukti jaringan, Ziren dapat mendistribusikan tugas bukti ke beberapa node untuk eksekusi paralel, yang tidak hanya secara signifikan meningkatkan throughput, tetapi juga meningkatkan kegunaan sistem yang terdesentralisasi. Arsitektur ini ideal untuk blockchain modular, rollup, dan sistem verifikasi interchain.

Optimasi sistem kendala

Ziren secara sistematis memfaktorkan ulang sistem kendala:

• Pisahkan batasan tingkat instruksi menjadi "chip" modular (mencakup CPU, hop/cabang, memori, dll.)

• Kurangi jumlah kolom dengan mengoptimalkan struktur data

• Hapus logika batasan yang berlebihan atau tidak digunakan

• Sederhanakan proses pemrosesan ALU, MADDU/MSUBU, dan cabang untuk meningkatkan efisiensi eksekusi

Pengoptimalan ini secara signifikan mengurangi kompleksitas pembuktian, meningkatkan kecepatan pembangkitan, dan meningkatkan stabilitas sistem. Dari perspektif zkVM, MIPS menghasilkan jejak eksekusi yang lebih pendek daripada RISCV dan memiliki efisiensi instruksi yang lebih baik, yang kondusif untuk meningkatkan efisiensi pembuktian. Dengan dirilisnya Ziren, keuntungan memilih MIPS secara bertahap menjadi jelas.

Pengalaman pengembangan yang lebih baik dengan pengalaman build-to-deploy yang lebih lancar

Ziren telah meluncurkan versi baru toolchain (20250522), yang menghadirkan sejumlah peningkatan pengalaman pengembang:

• Mengintegrasikan patch LLVM untuk mengoptimalkan proses kompilasi

• Mendukung perpustakaan statis C/C++ dan perbaikan instruksi teq

• Rantai perkakas karat lebih kuat dan menghilangkan peretasan non-standar

• Dukungan Golang akan segera hadir

Selain itu, Ziren mendukung verifikasi tanda tangan asli Ethereum, dan modul yang telah dikompilasi sebelumnya sekarang mendukung tanda tangan kurva elips ECDSA penuh, yang membuat integrasi on-chain lebih lancar dan memperluas skenario aplikasi yang dapat didukungnya.

Perbaikan Stabilitas dan Keamanan

Ziren telah sepenuhnya memperkuat proses eksekusi verifikator dan sirkuit, termasuk:

• Memperbaiki kerentanan nomor acak FRI yang kritis di Plonky3

• Memperbaiki kerentanan validasi vk_root di validator Rust

• Mengoptimalkan konsistensi antara logika eksekusi instruksi dan sistem batasan

• Manajemen perilaku logika pemrosesan serpihan dan penghitung program yang ditingkatkan

Bagan perbandingan Ziren vs zkMIPS 1.0

Semua pembaruan ini bekerja sama untuk meningkatkan keamanan dan konsistensi Ziren, membuatnya lebih cocok untuk persyaratan pengesahan ZK di lingkungan tingkat produksi.

Bergerak menuju bukti waktu nyata: ethproofs.org Saksikan hasil pengoptimalan

Pada ethproofs.org, Ziren mendemonstrasikan hasil kinerja real-time, dan bukti real-time sudah dekat:

Dengan mengganti mesin virtual dari Revm ke Reth dan mengekstrak status akun secara paralel, waktu persiapan status blok dikurangi dari 5 menit menjadi kurang dari 30 detik dengan debug_traceBlock. Ini sangat mengurangi latensi proses proof-of-proof di setiap tahap, membuat kinerja Ziren lebih dekat ke tingkat real-time, meletakkan dasar yang kuat untuk implementasi aplikasi ZK frekuensi tinggi.

Diluncurkan di GOAT Network: mesin inti untuk membangun zkRollup asli Bitcoin

Ziren sekarang live di proyek zkRollup asli Bitcoin, GOAT Network, memungkinkan kemampuan pemrograman gaya Ethereum tanpa memerlukan jembatan atau pihak yang mempercayai, sambil menjaga keamanan mainnet Bitcoin. Jaringan GOAT adalah salah satu praktik penting pada rute BitVM2 dan BitVM3.

"Ketika kami memutuskan untuk menskalakan Bitcoin, kami membutuhkan sistem yang dapat dipercaya dari atas ke bawah - tidak hanya setumpuk kinerja permukaan, tetapi stabilitas dan efisiensi tingkat sirkuit." Kevin Liu, salah satu pendiri dan CEO ZKM dan kontributor inti untuk GOAT Network, mengatakan, "Ziren adalah produk dari kebutuhan ini, lapisan infrastruktur di mana kami memiliki kepercayaan pada setiap bukti."

Bangun aplikasi ZK Anda, dimulai dengan Ziren

Ziren memadatkan pemolesan mendalam ZKM selama bertahun-tahun tentang rekayasa sistem yang mendasarinya dan penelitian tanpa pengetahuan, tidak hanya untuk rapat, tetapi juga untuk zkVM dengan struktur yang lebih baik, pengalaman yang lebih baik, dan aplikasi yang lebih luas. Baik Anda membangun Ethereum DApp, Bitcoin L2, atau sistem verifikasi lintas rantai, Ziren memberi Anda fondasi komputasi tepercaya.

Ditulis dalam Rust, dikompilasi ke MIPS, dan Ziren akan melakukan sisanya. Bangun dengan percaya diri. Terapkan tanpa kompromi.