Kebangkitan Pasar Percepatan Hardware ZK, Cysic Mungkin Menjadi Generasi Selanjutnya dari Bitmain

Baru-baru ini, dengan berkembangnya proyek ZK Rollup seperti Scroll dan Starknet, percepatan perangkat keras ZK kembali menjadi sorotan pasar. Di industri ini, secara umum diyakini bahwa dengan adanya permintaan yang besar untuk teknologi ZK, kolam penambangan ZK dan model SaaS untuk menghasilkan ZKP secara real-time diharapkan dapat membuka rantai industri yang baru. Perusahaan perangkat keras ZK yang kuat dan memiliki keunggulan awal diharapkan dapat menjadi Bit selanjutnya.

Di bidang percepatan perangkat keras ZK, Cysic adalah salah satu proyek yang paling diperhatikan. Tim ini pernah memenangkan penghargaan penting ZPrize dan mendapatkan hampir 20 juta USD pembiayaan dari VC terkemuka seperti Polychain, ABCDE, dan lainnya. Dengan peluncuran jaringan pengujian Cysic dan kolam ZK yang akan datang, perhatian pasar terus meningkat.

Alur Kerja Sistem Pembuktian ZK

Proses inti dari sistem bukti ZK mencakup:

1. Penetapan Masalah: Menentukan isi yang akan dibuktikan
2. Arithmetisasi dan CSP: Mengubah konten yang akan dibuktikan menjadi rangkaian logika dan polinomial
3. Pilih sistem bukti ( seperti Halo2, Plonk, dll ) untuk mengompilasi program ZKP
4. Penyedia bukti menggunakan program ZKP untuk menghasilkan bukti, yang diserahkan kepada verifikator untuk diverifikasi.

Proyek ZK Rollup menggunakan teknologi zk-SNARK, memanfaatkan kesederhanaannya untuk mengonsentrasikan biaya verifikasi di sisi Prover, tetapi biaya tinggi untuk menghasilkan ZKP membatasi aplikasi skala besar.

Biaya utama yang dihasilkan oleh ZKP

Dua jenis komputasi yang paling memakan sumber daya dalam menghasilkan ZKP adalah:

• MSM(Multi-Scalar Multiplication): Perkalian Skalar Banyak pada Kurva Elips
• NTT(Transform Teori Bilangan): Transformasi Fourier Cepat di Atas Bidang Terbatas

Dua jenis perhitungan ini menyumbang 80-95% dari waktu pembuatan bukti. MSM membutuhkan banyak sumber daya memori, NTT melibatkan akses memori acak, yang tidak ramah terhadap perangkat keras.

Solusi Akselerasi Perangkat Keras ZK

Saat ini, ada tiga jenis perangkat keras yang dapat mewujudkan percepatan ZK:

1. GPU: tingkat adopsi tinggi, hambatan pengembangan rendah, tetapi efisiensi energi kurang baik
2. FPGA: fleksibilitas tinggi, efisiensi energi baik, tetapi tingkat kesulitan pengembangan tinggi
3. ASIC: kinerja tertinggi, konsumsi energi terendah, tetapi siklus pengembangan panjang dan biaya tinggi

Strategi pengembangan Cysic adalah:

1. SDK yang dikembangkan berbasis GPU, mengintegrasikan sumber daya GPU di seluruh jaringan
2. Menggunakan FPGA untuk mewujudkan akselerasi perangkat keras ZK yang disesuaikan
3. Mengembangkan perangkat keras DePIN ZK berbasis ASIC
4. Membangun Jaringan Cysic sebagai kolam ZK dan platform SaaS

Jaringan Cysic

Cysic Network sebagai kolam ZK dan platform SaaS, akan mengintegrasikan daya komputasi milik Cysic dan sumber daya komputasi pihak ketiga. Alur kerjanya mencakup:

1. Tim proyek ZK menyerahkan tugas bukti kepada Agen
2. Prover menerima tugas dan menghasilkan bukti ZK
3. Komite validator memeriksa kevalidan bukti dan memberikan suara

Cysic Network membangun blockchain khusus, menggunakan algoritma konsensus Proof of Compute (PoC).

Penataan akselerasi perangkat keras Cysic

Dalam hal GPU, SDK CUDA yang dikembangkan sendiri oleh Cysic mempercepat lebih dari 50%-80% dibandingkan dengan kerangka sumber terbuka.

Dalam hal FPGA, Cysic telah menyelesaikan implementasi modul MSM, NTT, dan lainnya yang tercepat di dunia.

Dalam hal ASIC, Cysic meluncurkan dua produk ZK DePIN:

• ZK Air: Ditujukan untuk pengguna C-end, dapat menghubungkan perangkat melalui antarmuka Type-C.
• ZK Pro: Ditujukan untuk proyek ZK besar, daya komputasi setara dengan server GPU kelas atas

Cysic Network akan mengintegrasikan sumber daya perangkat keras ini, menyediakan solusi komputasi dan verifikasi untuk industri ZK, diharapkan dapat memimpin ledakan pertumbuhan pasar komputasi ZK yang baru.