Ketika berbicara tentang sistem zero-knowledge, sebagian besar desain akhirnya menghadapi pilihan yang sama.
zk-SNARKs atau zk-STARKs.
Keduanya kuat. Keduanya memiliki tradeoff.
Untuk lapisan komputasi tak terbatas yang perlu mendorong data historis besar ke luar rantai, @brevis_zk membuat keputusan yang sangat disengaja.
Mereka membangun di sekitar zk-SNARKs.
Mengapa ini penting:
→ Bukti yang sangat kecil menjaga verifikasi di on-chain tetap murah → Verifikasi cepat memungkinkan logika dApp hampir waktu nyata → Alat yang matang dan telah teruji → Ideal untuk merangkum dataset historis besar secara efisien
Ini memungkinkan sebuah dApp membuktikan sesuatu seperti pengguna melakukan 100 swap dalam 30 hari terakhir tanpa mengungkapkan swap mana atau detail sensitif lainnya
Semua dikompresi menjadi sebuah bukti yang hanya beberapa ratus byte panjangnya.
Pilihan desain sederhana seperti ini adalah apa yang membuat komputasi verifikasi skala besar benar-benar bekerja.
Lihat Asli
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.
Ketika berbicara tentang sistem zero-knowledge, sebagian besar desain akhirnya menghadapi pilihan yang sama.
zk-SNARKs atau zk-STARKs.
Keduanya kuat. Keduanya memiliki tradeoff.
Untuk lapisan komputasi tak terbatas yang perlu mendorong data historis besar ke luar rantai, @brevis_zk membuat keputusan yang sangat disengaja.
Mereka membangun di sekitar zk-SNARKs.
Mengapa ini penting:
→ Bukti yang sangat kecil menjaga verifikasi di on-chain tetap murah
→ Verifikasi cepat memungkinkan logika dApp hampir waktu nyata
→ Alat yang matang dan telah teruji
→ Ideal untuk merangkum dataset historis besar secara efisien
Ini memungkinkan sebuah dApp membuktikan sesuatu seperti
pengguna melakukan 100 swap dalam 30 hari terakhir
tanpa mengungkapkan swap mana atau detail sensitif lainnya
Semua dikompresi menjadi sebuah bukti yang hanya beberapa ratus byte panjangnya.
Pilihan desain sederhana seperti ini adalah apa yang membuat komputasi verifikasi skala besar benar-benar bekerja.