zk-SNARKs memberikan kemampuan bagi satu pihak untuk membuktikan kepada pihak lain bahwa mereka mengetahui sebuah rahasia tanpa mengungkapkan rahasia itu sendiri, memungkinkan interaksi pribadi yang aman dengan pihak yang tidak dikenal dan tidak dipercaya di blockchain.
Ditulis oleh: Dayou IPFS Research Institute
zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge), memberikan satu pihak kemampuan untuk membuktikan kepada pihak lain bahwa mereka mengetahui suatu rahasia tanpa mengungkapkan rahasia itu sendiri. zk-SNARK memungkinkan interaksi pribadi yang aman dengan pihak yang tidak dikenal dan tidak dipercaya di blockchain.
**Jaringan Filecoin saat ini menghasilkan 6-7 juta bukti zk-SNARK per hari, masing-masing berisi lebih dari 100 juta kendala aritmatika. **Untuk mencapai tujuan ini, kami - Lab Protokol meningkatkan dan sangat mengoptimalkan alat pembuat snark yang ada, memungkinkannya untuk menyesuaikan untuk memenuhi kebutuhan kami yang belum pernah terjadi sebelumnya.
**Filecoin adalah jaringan zk-SNARK terbesar hingga saat ini. **
beberapa aspek:
Pengaturan tepercaya Filecoin mendukung sirkuit hingga 2 ^ 27 = ~ 134 juta kendala.
Filecoin memiliki batas > 100 juta untuk sirkuit individual besar.
Untuk memenuhi persyaratan keamanan Filecoin, beberapa bukti menggabungkan hingga 10 zk-snark individu menjadi satu bukti besar.
Filecoin juga memperluas dan menyebarkan penelitian ke dalam agregasi zk-SNARK untuk memungkinkan kompresi ribuan bukti individu menjadi satu bukti.
Semua ini berkontribusi pada kemampuan Filecoin untuk membuktikan lebih banyak informasi dalam produksi.
Kekuatan Tau dan Membangun Kepercayaan
Untuk mendukung jumlah terbatas yang diperlukan untuk Filecoin, kami menjalankan Upacara Tau Power baru yang meningkatkan jumlah dukungan sebesar 64 kali lipat jumlah Zcash. Ini memungkinkan kami menghasilkan bukti lebih dari 100 juta batasan, hanya dibatasi oleh ukuran parameter distribusi.
Untuk mendukung penyiapan tepercaya tahap kedua (khusus sirkuit) kami untuk sirkuit besar, kami menerapkan teknik untuk secara signifikan mengurangi penggunaan RAM, memungkinkan paralelisme, dan mengurangi overhead I/O - untuk memungkinkan pihak yang menggunakan perangkat keras praktis Berpartisipasi dalam waktu 7 minggu sejak upacara.
Gunakan pembukti berbasis GPU
Pembuatan zk-snark dengan cepat menjadi hambatan, sehingga bagian yang mahal diimplementasikan pada GPU menggunakan OpenCL dan CUDA. Karena operasi inti yang mendukung pembuatan bukti sangat dapat diparalelkan, kami memanfaatkan komputasi GPU tujuan umum modern untuk melepaskannya dari CPU.
**Hal ini memungkinkan throughput yang lebih tinggi sekaligus menciptakan efisiensi ekonomi. **Dengan mengalihkan pekerjaan yang dapat diparalelkan ke prosesor paralel yang relatif murah, kami dapat menjaga memori utama dan CPU tetap bebas untuk pekerjaan tingkat tinggi dan intensif memori yang digunakan untuk membuat penambang data.
Algoritme domain tingkat rendah mendasari sebagian besar operasi yang dilakukan saat membuat dan memverifikasi zk-snarks. ** Pustaka blst mengimplementasikan bagian-bagian penting dalam perakitan dan C untuk mendapatkan kinerja terakhir dari CPU. **Untuk memastikan pengoptimalan ini tidak mengganggu keamanan, kode (bahkan bahasa rakitan!) diverifikasi secara resmi oleh Galois.
Validasi batch yang lebih kuat
Untuk meningkatkan kecepatan verifikasi beberapa zk-snark, verifikasi batch diterapkan. Ini adalah teknik yang dijelaskan dalam Lampiran B2 dari spesifikasi Zcash, namun belum digunakan. Hal ini memungkinkan untuk mengurangi jumlah loop Miller (operasi paling mahal dalam proses validasi) yang perlu dilakukan, sehingga sangat berkurang saat melihat beberapa validasi sekaligus.
Meskipun verifikasi batch membantu, kami memerlukan verifikasi yang lebih cepat, jadi kami menerapkan SnarkPack. Ini memungkinkan kami untuk mengumpulkan banyak zk-snark menjadi bukti gabungan. **Pengoptimalan ini tidak hanya mengurangi waktu verifikasi hingga lebih dari 10x dalam skala besar, tetapi juga mengurangi bandwidth rantai dengan mengurangi jumlah rata-rata byte per bukti yang harus diserahkan ke rantai. **
Untuk mencapai hal ini, kami membuat justifikasi produk internal dan bekerja sama dengan penulis untuk mengembangkannya guna mendukung kebutuhan kami tanpa memerlukan penyiapan baru yang tepercaya. Kami mencapai ini dengan mengadaptasi teknik untuk diterapkan dengan aman menggunakan dua pengaturan kekuatan Tau tepercaya yang ada. **Ini adalah contoh bagus dari kendala yang secara historis harus kami atasi untuk mencapai skala terobosan. **
Dayou IPFS Research Institute akan terus memperhatikan berita terbaru seputar proyek Filecoin.
Apakah Anda seorang pemula atau praktisi senior, Dayou IPFS Institute akan memberi Anda perspektif inovatif dan analisis mendalam. Kami menjunjung tinggi semangat keterbukaan dan toleransi, dan menyambut Anda untuk bergabung bersama kami untuk belajar dan tumbuh bersama.
Lihat Asli
Konten ini hanya untuk referensi, bukan ajakan atau tawaran. Tidak ada nasihat investasi, pajak, atau hukum yang diberikan. Lihat Penafian untuk pengungkapan risiko lebih lanjut.
Penjelasan rinci tentang penerapan zk-SNARKs di jaringan Filecoin
Ditulis oleh: Dayou IPFS Research Institute
zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge), memberikan satu pihak kemampuan untuk membuktikan kepada pihak lain bahwa mereka mengetahui suatu rahasia tanpa mengungkapkan rahasia itu sendiri. zk-SNARK memungkinkan interaksi pribadi yang aman dengan pihak yang tidak dikenal dan tidak dipercaya di blockchain.
**Jaringan Filecoin saat ini menghasilkan 6-7 juta bukti zk-SNARK per hari, masing-masing berisi lebih dari 100 juta kendala aritmatika. **Untuk mencapai tujuan ini, kami - Lab Protokol meningkatkan dan sangat mengoptimalkan alat pembuat snark yang ada, memungkinkannya untuk menyesuaikan untuk memenuhi kebutuhan kami yang belum pernah terjadi sebelumnya.
**Filecoin adalah jaringan zk-SNARK terbesar hingga saat ini. **
beberapa aspek:
Semua ini berkontribusi pada kemampuan Filecoin untuk membuktikan lebih banyak informasi dalam produksi.
Kekuatan Tau dan Membangun Kepercayaan
Untuk mendukung jumlah terbatas yang diperlukan untuk Filecoin, kami menjalankan Upacara Tau Power baru yang meningkatkan jumlah dukungan sebesar 64 kali lipat jumlah Zcash. Ini memungkinkan kami menghasilkan bukti lebih dari 100 juta batasan, hanya dibatasi oleh ukuran parameter distribusi.
Untuk mendukung penyiapan tepercaya tahap kedua (khusus sirkuit) kami untuk sirkuit besar, kami menerapkan teknik untuk secara signifikan mengurangi penggunaan RAM, memungkinkan paralelisme, dan mengurangi overhead I/O - untuk memungkinkan pihak yang menggunakan perangkat keras praktis Berpartisipasi dalam waktu 7 minggu sejak upacara.
Gunakan pembukti berbasis GPU
Pembuatan zk-snark dengan cepat menjadi hambatan, sehingga bagian yang mahal diimplementasikan pada GPU menggunakan OpenCL dan CUDA. Karena operasi inti yang mendukung pembuatan bukti sangat dapat diparalelkan, kami memanfaatkan komputasi GPU tujuan umum modern untuk melepaskannya dari CPU.
**Hal ini memungkinkan throughput yang lebih tinggi sekaligus menciptakan efisiensi ekonomi. **Dengan mengalihkan pekerjaan yang dapat diparalelkan ke prosesor paralel yang relatif murah, kami dapat menjaga memori utama dan CPU tetap bebas untuk pekerjaan tingkat tinggi dan intensif memori yang digunakan untuk membuat penambang data.
Algoritme domain tingkat rendah mendasari sebagian besar operasi yang dilakukan saat membuat dan memverifikasi zk-snarks. ** Pustaka blst mengimplementasikan bagian-bagian penting dalam perakitan dan C untuk mendapatkan kinerja terakhir dari CPU. **Untuk memastikan pengoptimalan ini tidak mengganggu keamanan, kode (bahkan bahasa rakitan!) diverifikasi secara resmi oleh Galois.
Validasi batch yang lebih kuat
Untuk meningkatkan kecepatan verifikasi beberapa zk-snark, verifikasi batch diterapkan. Ini adalah teknik yang dijelaskan dalam Lampiran B2 dari spesifikasi Zcash, namun belum digunakan. Hal ini memungkinkan untuk mengurangi jumlah loop Miller (operasi paling mahal dalam proses validasi) yang perlu dilakukan, sehingga sangat berkurang saat melihat beberapa validasi sekaligus.
Meskipun verifikasi batch membantu, kami memerlukan verifikasi yang lebih cepat, jadi kami menerapkan SnarkPack. Ini memungkinkan kami untuk mengumpulkan banyak zk-snark menjadi bukti gabungan. **Pengoptimalan ini tidak hanya mengurangi waktu verifikasi hingga lebih dari 10x dalam skala besar, tetapi juga mengurangi bandwidth rantai dengan mengurangi jumlah rata-rata byte per bukti yang harus diserahkan ke rantai. **
Untuk mencapai hal ini, kami membuat justifikasi produk internal dan bekerja sama dengan penulis untuk mengembangkannya guna mendukung kebutuhan kami tanpa memerlukan penyiapan baru yang tepercaya. Kami mencapai ini dengan mengadaptasi teknik untuk diterapkan dengan aman menggunakan dua pengaturan kekuatan Tau tepercaya yang ada. **Ini adalah contoh bagus dari kendala yang secara historis harus kami atasi untuk mencapai skala terobosan. **
Dayou IPFS Research Institute akan terus memperhatikan berita terbaru seputar proyek Filecoin.
Apakah Anda seorang pemula atau praktisi senior, Dayou IPFS Institute akan memberi Anda perspektif inovatif dan analisis mendalam. Kami menjunjung tinggi semangat keterbukaan dan toleransi, dan menyambut Anda untuk bergabung bersama kami untuk belajar dan tumbuh bersama.