Penulis: Michael Blau, mitra tim investasi a16zcrypto; Terjemahan: Golden Finance xiaozou
Teknologi apa pun yang cukup maju tidak dapat dibedakan dari sihir, dan salah satu bidang yang menyerupai fiksi ilmiah adalah zero-knowledge proofs (ZKP), sebuah alat kriptografi yang memecahkan dua tantangan utama di dunia Web3: skalabilitas dan privasi. Secara khusus, ZKP mungkin menjadi kunci untuk membuka biaya transaksi yang lebih rendah dan merancang aplikasi baru yang menjaga privasi, sehingga kita diharapkan dapat menyambut miliaran pengguna kripto berikutnya. Bahkan di luar dunia kripto, ZKP suatu hari nanti dapat membantu transmisi data sensitif yang aman, memerangi keuangan terlarang, atau memerangi disinformasi.
Tapi apa itu ZKP? Ada banyak penjelasan bagus di luar sana untuk para insinyur, peneliti, dan komunitas kripto, namun penjelasan tersebut tidak masuk akal bagi audiens yang kurang berpengalaman dalam kriptografi atau ilmu komputer. Bahkan dengan banyaknya metafora yang tersedia—mulai dari Waldo hingga Gua Alibaba—tidak mudah untuk menemukan penjelasan yang akurat dan mudah dipahami yang sepenuhnya menggambarkan kekuatan super ZKP.
Jadi, dalam artikel ini saya menggabungkan latar belakang kripto dan sihir saya untuk mengeksplorasi dan mencoba membuat metafora baru: anggap ZKP sebagai trik sulap yang hebat.
**Tetapi pertama-tama, mari kita pahami: apa yang dimaksud dengan bukti tanpa pengetahuan? **
Pertama-tama saya ingin membagikan definisi ZKP tingkat tinggi (khususnya mengenai zk-SNARKs), serta berbagai propertinya, sebelum memetakan properti tersebut ke dalam metafora ajaib.
Mari kita memperluas definisi SNARK dari mitra riset kripto a16z Justin Thaler: “zk-SNARK memungkinkan seseorang (pemeriksa) untuk membuktikan kepada pihak yang tidak dipercaya (verifikator) bahwa mereka mengetahui beberapa data tanpa mengungkapkan informasi apa pun tentang data itu sendiri. . " Atau, seperti yang dikatakan dalam kursus AIP ZK MIT, "Protokol tanpa pengetahuan memungkinkan saya membuktikan kepada Anda bahwa saya mengetahui sesuatu tanpa memberi tahu Anda apa itu."
Hal ini menarik dalam konteks blockchain publik karena ZKP dapat melindungi informasi pribadi sekaligus memungkinkan siapa pun untuk memverifikasi (tanpa keraguan) keaslian informasi tersebut. zk-SNARK juga sangat sederhana dan efisien: "sederhana" berarti ukuran pembuktian lebih kecil dari data yang Anda buktikan. “Efisien” berarti validator memverifikasi bukti lebih cepat daripada menganalisis data mentah (di Ethereum, ini berarti lebih sedikit data yang diproses oleh kontrak pintar dan menurunkan biaya bahan bakar bagi pengguna). Blockchain L2 dapat memanfaatkan kesederhanaan dan efisiensi zk-SNARK, memungkinkan aplikasi terdesentralisasi memproses lebih banyak data dengan biaya lebih rendah.
Singkatnya, zk-SNARK memiliki dua properti utama:
· Privasi: Tidak ada informasi tentang data (atau fakta atau "pengetahuan") yang Anda buktikan yang diungkapkan kepada verifikator.
· Sederhana dan efisien: Verifikasi terbukti lebih efisien dibandingkan mengecek data asli secara langsung.
Bahkan deskripsi tingkat tinggi ini terdengar seperti sebuah teka-teki: Bagaimana seseorang membuktikan bahwa ia mengetahui sesuatu tanpa berbagi informasi?
Mari kita lihat definisinya lagi, tapi kali ini, mari kita gunakan beberapa trik sulap.
Sihir Tanpa Bukti Pengetahuan
Sederhananya, sihir adalah bukti tanpa pengetahuan. Dalam sulap, seorang pesulap mengaku mengetahui rahasia yang memungkinkan mereka melakukan trik sulap. Tapi mereka tidak ingin mengungkapkan rahasia ini kepada penonton - itu akan merusak trik mereka.
Memperluas hal ini ke ZKP: anggaplah pesulap sebagai "pemeriksa" dan penontonnya sebagai "penguji". Sebuah pertunjukan sulap yang sukses (semoga menghasilkan kekaguman yang luar biasa dan tepuk tangan yang antusias) serupa dengan bukti yang “sah”: triknya berhasil, sehingga pesulap harus mengetahui rahasia pertunjukan sulap tersebut. Tentu saja, jika ilusi tidak berhasil, terbukti "tidak efektif", penonton akan kecewa, dan pesulap mungkin tidak mengetahui metode rahasianya.
Magic menunjukkan salah satu properti ZKP: privasi. Tapi bagaimana dengan kesederhanaan dan efisiensi? Mari kita kembali ke analogi ini…
Penonton dapat melewatkan pertunjukan sepenuhnya dan hanya meminta pesulap untuk berbagi rahasia di balik keajaiban tersebut. Namun rahasia sihir bisa rumit dan halus. Sekadar menjelaskan cara suatu trik sulap, dengan segala kehalusan dan nuansanya, membutuhkan waktu yang lama untuk mendapatkan gambaran umum, apalagi memahami misterinya. Terkadang, ketika diminta untuk mengungkap rahasianya, seorang pesulap mungkin dengan sengaja mengungkapkan solusi yang "salah" kepada penontonnya, sehingga mengarahkan mereka ke jalan yang salah. Audiens tidak dapat yakin bahwa suatu teknik rahasia benar-benar berhasil tanpa benar-benar menguasainya—yang bisa memakan waktu berhari-hari, berbulan-bulan, atau bahkan bertahun-tahun.
Oleh karena itu, seperti halnya memeriksa secara langsung kebenaran suatu teknik rahasia sebenarnya sangat memakan waktu dan tenaga - bahkan jika pesulap bersedia mengungkapkan rahasianya kepada penonton - hal yang sama juga berlaku untuk ZKP. Penonton akan lebih cepat memverifikasi validitas arcana hanya dengan menikmati pertunjukannya.
Dimulainya kembali
Sebagai contoh sederhana: Saya mengaku mengetahui metode rahasia yang memungkinkan saya segera mengembalikan setumpuk kartu yang tercampur atas dan bawah menjadi kartu satu sisi. Saya ingin membuktikan kepada Anda bahwa saya memiliki kemampuan ini, tetapi saya tidak ingin mengungkapkan caranya. Tindakan menunjukkan kepada semua orang setumpuk kartu bermuka satu di akhir keajaiban adalah bukti sah bahwa saya harus mengetahui metode rahasia untuk "memulihkan" kartu tersebut. Dan ketika saya menunjukkan kepada Anda kartu bermuka satu, Anda dapat langsung memverifikasi pernyataan saya jauh lebih cepat daripada mempelajari trik sulap secara langsung.
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.
Cara Membuktikan Rahasia: Panduan Pesulap untuk Bukti Tanpa Pengetahuan
Penulis: Michael Blau, mitra tim investasi a16zcrypto; Terjemahan: Golden Finance xiaozou
Teknologi apa pun yang cukup maju tidak dapat dibedakan dari sihir, dan salah satu bidang yang menyerupai fiksi ilmiah adalah zero-knowledge proofs (ZKP), sebuah alat kriptografi yang memecahkan dua tantangan utama di dunia Web3: skalabilitas dan privasi. Secara khusus, ZKP mungkin menjadi kunci untuk membuka biaya transaksi yang lebih rendah dan merancang aplikasi baru yang menjaga privasi, sehingga kita diharapkan dapat menyambut miliaran pengguna kripto berikutnya. Bahkan di luar dunia kripto, ZKP suatu hari nanti dapat membantu transmisi data sensitif yang aman, memerangi keuangan terlarang, atau memerangi disinformasi.
Tapi apa itu ZKP? Ada banyak penjelasan bagus di luar sana untuk para insinyur, peneliti, dan komunitas kripto, namun penjelasan tersebut tidak masuk akal bagi audiens yang kurang berpengalaman dalam kriptografi atau ilmu komputer. Bahkan dengan banyaknya metafora yang tersedia—mulai dari Waldo hingga Gua Alibaba—tidak mudah untuk menemukan penjelasan yang akurat dan mudah dipahami yang sepenuhnya menggambarkan kekuatan super ZKP.
Jadi, dalam artikel ini saya menggabungkan latar belakang kripto dan sihir saya untuk mengeksplorasi dan mencoba membuat metafora baru: anggap ZKP sebagai trik sulap yang hebat.
**Tetapi pertama-tama, mari kita pahami: apa yang dimaksud dengan bukti tanpa pengetahuan? **
Pertama-tama saya ingin membagikan definisi ZKP tingkat tinggi (khususnya mengenai zk-SNARKs), serta berbagai propertinya, sebelum memetakan properti tersebut ke dalam metafora ajaib.
Mari kita memperluas definisi SNARK dari mitra riset kripto a16z Justin Thaler: “zk-SNARK memungkinkan seseorang (pemeriksa) untuk membuktikan kepada pihak yang tidak dipercaya (verifikator) bahwa mereka mengetahui beberapa data tanpa mengungkapkan informasi apa pun tentang data itu sendiri. . " Atau, seperti yang dikatakan dalam kursus AIP ZK MIT, "Protokol tanpa pengetahuan memungkinkan saya membuktikan kepada Anda bahwa saya mengetahui sesuatu tanpa memberi tahu Anda apa itu."
Hal ini menarik dalam konteks blockchain publik karena ZKP dapat melindungi informasi pribadi sekaligus memungkinkan siapa pun untuk memverifikasi (tanpa keraguan) keaslian informasi tersebut. zk-SNARK juga sangat sederhana dan efisien: "sederhana" berarti ukuran pembuktian lebih kecil dari data yang Anda buktikan. “Efisien” berarti validator memverifikasi bukti lebih cepat daripada menganalisis data mentah (di Ethereum, ini berarti lebih sedikit data yang diproses oleh kontrak pintar dan menurunkan biaya bahan bakar bagi pengguna). Blockchain L2 dapat memanfaatkan kesederhanaan dan efisiensi zk-SNARK, memungkinkan aplikasi terdesentralisasi memproses lebih banyak data dengan biaya lebih rendah.
Singkatnya, zk-SNARK memiliki dua properti utama:
· Privasi: Tidak ada informasi tentang data (atau fakta atau "pengetahuan") yang Anda buktikan yang diungkapkan kepada verifikator.
· Sederhana dan efisien: Verifikasi terbukti lebih efisien dibandingkan mengecek data asli secara langsung.
Bahkan deskripsi tingkat tinggi ini terdengar seperti sebuah teka-teki: Bagaimana seseorang membuktikan bahwa ia mengetahui sesuatu tanpa berbagi informasi?
Mari kita lihat definisinya lagi, tapi kali ini, mari kita gunakan beberapa trik sulap.
Sihir Tanpa Bukti Pengetahuan
Sederhananya, sihir adalah bukti tanpa pengetahuan. Dalam sulap, seorang pesulap mengaku mengetahui rahasia yang memungkinkan mereka melakukan trik sulap. Tapi mereka tidak ingin mengungkapkan rahasia ini kepada penonton - itu akan merusak trik mereka.
Memperluas hal ini ke ZKP: anggaplah pesulap sebagai "pemeriksa" dan penontonnya sebagai "penguji". Sebuah pertunjukan sulap yang sukses (semoga menghasilkan kekaguman yang luar biasa dan tepuk tangan yang antusias) serupa dengan bukti yang “sah”: triknya berhasil, sehingga pesulap harus mengetahui rahasia pertunjukan sulap tersebut. Tentu saja, jika ilusi tidak berhasil, terbukti "tidak efektif", penonton akan kecewa, dan pesulap mungkin tidak mengetahui metode rahasianya.
Magic menunjukkan salah satu properti ZKP: privasi. Tapi bagaimana dengan kesederhanaan dan efisiensi? Mari kita kembali ke analogi ini…
Penonton dapat melewatkan pertunjukan sepenuhnya dan hanya meminta pesulap untuk berbagi rahasia di balik keajaiban tersebut. Namun rahasia sihir bisa rumit dan halus. Sekadar menjelaskan cara suatu trik sulap, dengan segala kehalusan dan nuansanya, membutuhkan waktu yang lama untuk mendapatkan gambaran umum, apalagi memahami misterinya. Terkadang, ketika diminta untuk mengungkap rahasianya, seorang pesulap mungkin dengan sengaja mengungkapkan solusi yang "salah" kepada penontonnya, sehingga mengarahkan mereka ke jalan yang salah. Audiens tidak dapat yakin bahwa suatu teknik rahasia benar-benar berhasil tanpa benar-benar menguasainya—yang bisa memakan waktu berhari-hari, berbulan-bulan, atau bahkan bertahun-tahun.
Oleh karena itu, seperti halnya memeriksa secara langsung kebenaran suatu teknik rahasia sebenarnya sangat memakan waktu dan tenaga - bahkan jika pesulap bersedia mengungkapkan rahasianya kepada penonton - hal yang sama juga berlaku untuk ZKP. Penonton akan lebih cepat memverifikasi validitas arcana hanya dengan menikmati pertunjukannya.
Dimulainya kembali
Sebagai contoh sederhana: Saya mengaku mengetahui metode rahasia yang memungkinkan saya segera mengembalikan setumpuk kartu yang tercampur atas dan bawah menjadi kartu satu sisi. Saya ingin membuktikan kepada Anda bahwa saya memiliki kemampuan ini, tetapi saya tidak ingin mengungkapkan caranya. Tindakan menunjukkan kepada semua orang setumpuk kartu bermuka satu di akhir keajaiban adalah bukti sah bahwa saya harus mengetahui metode rahasia untuk "memulihkan" kartu tersebut. Dan ketika saya menunjukkan kepada Anda kartu bermuka satu, Anda dapat langsung memverifikasi pernyataan saya jauh lebih cepat daripada mempelajari trik sulap secara langsung.