Pelopor Percepatan Perangkat Keras di Bidang ZK: Menafsirkan Visi dan Penataan Cysic
Belakangan ini, pendiri Ethereum Vitalik menekankan pentingnya ZK-SNARKs dalam peta jalan Danksharding Ethereum di konferensi blockchain di Hong Kong, dan menunjukkan potensi besar dari chip ASIC untuk mempercepat ZK. Faktanya, teknologi ZK di Web3 dan industri tradisional diharapkan dapat membawa perubahan paradigma, tetapi saat ini efisiensi produksi dan biaya ekonomi dari bukti ZK masih merupakan faktor kunci yang membatasi penerapannya secara besar-besaran.
Untuk mengatasi masalah ini, beberapa proyek percepatan ZK muncul. Di antaranya, Cysic menjadi fokus perhatian pasar berkat kinerja luar biasa dalam kompetisi ZPrize dan latar belakang pendanaan yang kuat. Artikel ini akan membahas secara mendalam prinsip produk Cysic, model bisnis, dan prinsip dasar percepatan perangkat keras ZK.
Alur kerja sistem bukti ZK
Proses inti dari sistem bukti ZK meliputi:
Penetapan masalah: Menentukan konten yang akan dibuktikan
Arsitektur dan CSP: Mengubah konten yang akan dibuktikan menjadi bentuk rangkaian logika dan polinomial
Pilih sistem bukti yang tepat ( seperti Halo, Plonk, dll ) untuk menghasilkan program ZKP.
Pengguna membuktikan menggunakan program ZKP untuk menghasilkan bukti, diserahkan kepada verifier untuk diverifikasi
Saat ini, teknologi zk-SNARK yang banyak digunakan dalam blockchain, terutama memanfaatkan kesederhanaannya daripada sifat zero-knowledge-nya. Ciri khas zk-SNARK adalah biaya pembuatan bukti yang tinggi tetapi biaya verifikasi yang rendah, asimetri ini membuatnya sangat cocok untuk skenario verifikasi terdesentralisasi.
Namun, biaya tinggi untuk menghasilkan ZKP pada akhirnya akan dialihkan kepada pengalaman pengguna dan biaya transaksi, membatasi penerapan luas teknologi ZK. Untuk itu, beberapa proyek percepatan ZK seperti Cysic, Ingonyama, dan lainnya muncul, berusaha menurunkan biaya produksi ZKP dari berbagai sudut.
Bottleneck Perhitungan Utama yang Dihasilkan oleh ZKP
Dalam proses生成ZKP, dua tugas yang paling banyak menghabiskan sumber daya komputasi adalah MSM( perkalian skalar ganda) dan NTT( transformasi teori bilangan), yang menyita 80-95% waktu pembuatan bukti.
MSM terutama digunakan untuk perhitungan pada kurva elips, dapat diparalelkan secara besar-besaran tetapi memerlukan banyak memori. NTT digunakan untuk mempercepat perkalian polinomial, melibatkan akses memori acak, tidak ramah terhadap perangkat keras.
Metode untuk mengoptimalkan dua perhitungan ini termasuk:
Optimalisasi algoritma: seperti Hyperplonk dan algoritma baru lainnya berusaha menghilangkan operasi NTT
Akselerasi perangkat keras: menggunakan GPU, FPGA, atau ASIC untuk meningkatkan efisiensi perhitungan
Strategi Percepatan ZK Cysic
Strategi pengembangan Cysic dibagi menjadi empat tahap:
SDK yang dikembangkan berdasarkan GPU, menyediakan solusi untuk aplikasi ZK dan mengintegrasikan sumber daya GPU di seluruh jaringan
Menggunakan FPGA untuk mewujudkan akselerasi perangkat keras ZK yang disesuaikan
Mengembangkan hardware ZK Depin berbasis ASIC secara mandiri
Membangun Jaringan Cysic, sebagai platform SAAS/kolam yang mengintegrasikan berbagai sumber daya komputasi ZK
Jaringan Cysic: Kolam ZK dan platform SaaS
Cysic Network sebagai kolam ZK dan platform SaaS, akan mengintegrasikan daya komputasi milik Cysic dan sumber daya komputasi pihak ketiga. Alur kerjanya mencakup:
Agen arah proyek ZK mengajukan tugas bukti
Prover menerima tugas dan menghasilkan bukti ZK
Komite validator memeriksa validitas bukti dan memberikan suara
Cysic Network juga telah membangun blockchain khusus, menggunakan algoritma konsensus Proof of Compute (PoC).
solusi GPU, FPGA, dan ASIC
Dalam hal percepatan GPU, CUDA SDK yang dikembangkan sendiri oleh Cysic meningkatkan kecepatan 50%-80% lebih dibandingkan dengan kerangka kerja sumber terbuka.
Di bidang FPGA, Cysic telah mengimplementasikan modul MSM, NTT tercepat di dunia. SolarMSM dan SolarNTT menunjukkan kinerja yang luar biasa dalam komputasi skala besar.
Dalam hal ASIC, Cysic sedang mengembangkan dua produk: ZK Air yang ditujukan untuk pengguna umum dan ZK Pro yang ditujukan untuk proyek besar. Kedua perangkat ini diperkirakan akan diluncurkan pada tahun 2025, dan akan membangun jaringan ZK-DePIN yang stabil dan dapat diandalkan.
Dengan perkembangan Jaringan Cysic dan penyebaran perangkat keras ZK, bidang komputasi ZK mungkin akan mengalami gelombang yang mirip dengan penambangan Bitcoin, dengan potensi pertumbuhan pasar yang meledak.
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
9 Suka
Hadiah
9
6
Bagikan
Komentar
0/400
RebaseVictim
· 14jam yang lalu
Hardware yang cukup mahal itu untuk apa?
Lihat AsliBalas0
CafeMinor
· 14jam yang lalu
Barisan depan duduk di bangku kecil Pemain ZK
Lihat AsliBalas0
DaoDeveloper
· 14jam yang lalu
sepertinya kita akhirnya menjembatani gap zk compute itu... strategi asic mereka solid
Cysic: Pemimpin dalam Percepatan Perangkat Keras di Bidang ZK dengan Penempatan Menyeluruh dari GPU ke ASIC
Pelopor Percepatan Perangkat Keras di Bidang ZK: Menafsirkan Visi dan Penataan Cysic
Belakangan ini, pendiri Ethereum Vitalik menekankan pentingnya ZK-SNARKs dalam peta jalan Danksharding Ethereum di konferensi blockchain di Hong Kong, dan menunjukkan potensi besar dari chip ASIC untuk mempercepat ZK. Faktanya, teknologi ZK di Web3 dan industri tradisional diharapkan dapat membawa perubahan paradigma, tetapi saat ini efisiensi produksi dan biaya ekonomi dari bukti ZK masih merupakan faktor kunci yang membatasi penerapannya secara besar-besaran.
Untuk mengatasi masalah ini, beberapa proyek percepatan ZK muncul. Di antaranya, Cysic menjadi fokus perhatian pasar berkat kinerja luar biasa dalam kompetisi ZPrize dan latar belakang pendanaan yang kuat. Artikel ini akan membahas secara mendalam prinsip produk Cysic, model bisnis, dan prinsip dasar percepatan perangkat keras ZK.
Alur kerja sistem bukti ZK
Proses inti dari sistem bukti ZK meliputi:
Saat ini, teknologi zk-SNARK yang banyak digunakan dalam blockchain, terutama memanfaatkan kesederhanaannya daripada sifat zero-knowledge-nya. Ciri khas zk-SNARK adalah biaya pembuatan bukti yang tinggi tetapi biaya verifikasi yang rendah, asimetri ini membuatnya sangat cocok untuk skenario verifikasi terdesentralisasi.
Namun, biaya tinggi untuk menghasilkan ZKP pada akhirnya akan dialihkan kepada pengalaman pengguna dan biaya transaksi, membatasi penerapan luas teknologi ZK. Untuk itu, beberapa proyek percepatan ZK seperti Cysic, Ingonyama, dan lainnya muncul, berusaha menurunkan biaya produksi ZKP dari berbagai sudut.
Bottleneck Perhitungan Utama yang Dihasilkan oleh ZKP
Dalam proses生成ZKP, dua tugas yang paling banyak menghabiskan sumber daya komputasi adalah MSM( perkalian skalar ganda) dan NTT( transformasi teori bilangan), yang menyita 80-95% waktu pembuatan bukti.
MSM terutama digunakan untuk perhitungan pada kurva elips, dapat diparalelkan secara besar-besaran tetapi memerlukan banyak memori. NTT digunakan untuk mempercepat perkalian polinomial, melibatkan akses memori acak, tidak ramah terhadap perangkat keras.
Metode untuk mengoptimalkan dua perhitungan ini termasuk:
Strategi Percepatan ZK Cysic
Strategi pengembangan Cysic dibagi menjadi empat tahap:
Jaringan Cysic: Kolam ZK dan platform SaaS
Cysic Network sebagai kolam ZK dan platform SaaS, akan mengintegrasikan daya komputasi milik Cysic dan sumber daya komputasi pihak ketiga. Alur kerjanya mencakup:
Cysic Network juga telah membangun blockchain khusus, menggunakan algoritma konsensus Proof of Compute (PoC).
solusi GPU, FPGA, dan ASIC
Dalam hal percepatan GPU, CUDA SDK yang dikembangkan sendiri oleh Cysic meningkatkan kecepatan 50%-80% lebih dibandingkan dengan kerangka kerja sumber terbuka.
Di bidang FPGA, Cysic telah mengimplementasikan modul MSM, NTT tercepat di dunia. SolarMSM dan SolarNTT menunjukkan kinerja yang luar biasa dalam komputasi skala besar.
Dalam hal ASIC, Cysic sedang mengembangkan dua produk: ZK Air yang ditujukan untuk pengguna umum dan ZK Pro yang ditujukan untuk proyek besar. Kedua perangkat ini diperkirakan akan diluncurkan pada tahun 2025, dan akan membangun jaringan ZK-DePIN yang stabil dan dapat diandalkan.
Dengan perkembangan Jaringan Cysic dan penyebaran perangkat keras ZK, bidang komputasi ZK mungkin akan mengalami gelombang yang mirip dengan penambangan Bitcoin, dengan potensi pertumbuhan pasar yang meledak.