Ini adalah edisi ke-1943 dari Vernakular Blockchain Penulis Asli | Disusun oleh Kontributor | Diproduksi oleh Huohuo | Vernakular Blockchain (ID: hellobtc)

Untuk waktu yang lama, hanya dua dari tiga segitiga mustahil blockchain (yaitu, skalabilitas, desentralisasi, dan keamanan) yang dapat diperoleh).Oleh karena itu, setelah Ethereum mencapai tingkat keamanan dan privasi yang lebih tinggi, ekspansi menjadi prioritas utama. Oleh karena itu, muncullah Layer 2. Dalam rencana ekspansi Layer 2 saat ini, teknologi ZK dianggap oleh Vitalik Buterin (V God), salah satu pendiri Ethereum, sebagai solusi akhir untuk masalah ekspansi.

Pada tanggal 21 Mei, di konferensi EDCON 2023, konferensi Ethereum global tahunan nirlaba yang diadakan di Montenegro, Buterin mengatakan bahwa dalam 10 tahun ke depan, zk-SNARK dengan ZK sebagai teknologi dasarnya akan sama pentingnya dengan blockchain.

Lalu apa saja zk-SNARK yang baru-baru ini dipromosikan oleh V God? Masalah sulit apa yang bisa dipecahkan oleh blockchain? Mari kita lihat perkenalan hari ini. Berikut teksnya:

01 Apa itu zk-SNARK?

1. Siapa yang menciptakan zk-SNARK?

Istilah "zk-SNARKs" diciptakan oleh sekelompok kriptografer termasuk Nir Bitansky, Alessandro Chiesa, dan Eran Tromer, yang awalnya menerbitkan prinsip dasar zk-SNARKs dalam sebuah makalah. Sejak itu, zk-SNARKs secara bertahap dikembangkan dan ditingkatkan oleh banyak proyek dan tim yang berbeda.

2. Apa kepanjangan dari zk-SNARK?

- ZK: nol pengetahuan nol pengetahuan

Pengetahuan nol berarti orang yang memverifikasi klaim tidak dapat memperoleh informasi baru apa pun dari proses verifikasi. Dengan kata lain, dalam proses pembuktian tanpa pengetahuan, verifikator hanya mengetahui apakah pernyataan tersebut benar atau salah dan tidak ada yang lain.

- S: kesederhanaan

Bukti zk-SNARKs yang ringkas adalah bukti yang singkat dan mudah diverifikasi. Hal ini berbeda dengan pembuktian tanpa pengetahuan biasa, yang bisa sangat panjang dan rumit. Biasanya, bukti zk-SNARK dapat diverifikasi dalam milidetik.

- N : non-interaktif non-interaktif

Bukti zk-SNARKs non-interaktif tidak memerlukan interaksi apa pun antara pembukti dan pemverifikasi. Artinya hanya satu pesan yang dihasilkan yang dikirim dari pemver ke verifikator. Hal ini berbeda dengan pembuktian interaktif, dimana pembuktian dan pemverifikasi harus saling berinteraksi satu sama lain untuk melengkapi pembuktian.

- AR: argumen argumen

Argumen adalah alasan atau serangkaian alasan yang mendukung suatu sudut pandang. Dalam konteks zk-SNARKs, argumen adalah rangkaian operasi matematika yang digunakan untuk membuktikan bahwa argumen yang dinyatakan benar.

- K : ilmu pengetahuan

Pengetahuan adalah gagasan bahwa pembuktian mengetahui beberapa informasi yang diperlukan untuk melengkapi pembuktian. Misalnya, ini mungkin kunci pribadi akun.

Singkatnya, zk-SNARKs adalah sistem ZK (zero-knowledge proof system) yang memungkinkan pengguna (“pemberi sertifikat”) untuk membuktikan sesuatu kepada pihak lain (“verifier”), seperti identitas mereka, kepemilikan dana mereka, dll., tanpa mengungkapkan informasi apa pun tentang aset tersebut. Misalnya:

- Pengguna harus dapat membuktikan bahwa terdapat cukup saldo di akunnya untuk membeli produk atau layanan tanpa harus membagikan jumlah pasti yang dimilikinya; - Pengguna harus dapat memverifikasi identitasnya sebelum mengakses aplikasi tanpa harus berbagi data pribadinya.

Sebagai contoh cara “menjelaskan zk-SNARKs kepada anak berusia 5 tahun”, berikut adalah permainan untuk menjelaskan apa itu zk-SNARKs:

“Bayangkan Anda sedang bermain dengan tiga orang teman. “Dimana guru bahasa Mandarinnya? ”, hadiahnya adalah taruhan $1.000 yang dibagi rata antara para pemenang. Anda dan teman Anda duduk mengelilingi meja, dan masing-masing diberi gambar seorang guru bahasa Mandarin.

Anda harus menemukan guru bahasa Mandarin di dalam gambar. Setelah Anda menemukan guru bahasa Mandarin tersebut, Anda perlu membuktikan bahwa Anda menemukannya, tetapi Anda tidak dapat mengungkapkan lokasinya atau informasi lainnya. Dengan kata lain, Anda ingin menunjukkan pengetahuan tentang fakta tanpa mengungkapkan informasi apa pun yang melampaui validitas klaim Anda.

Dengan menggunakan zkSNARK, Anda dapat mengambil selembar kertas dengan ukuran yang sama dan menandai sebuah titik pada posisi guru bahasa Mandarin di gambar. Kertas tersebut kemudian dapat disembunyikan di dalam kotak, dan setelah teman Anda memecahkan teka-teki tersebut, mereka dapat melihat sendiri lokasi guru bahasa Mandarin yang Anda tandai. "

Dengan kata lain, zk-SNARKs memungkinkan Anda membuktikan informasi verifikasi yang Anda butuhkan tanpa mengungkapkan nilai spesifik dari informasi tersebut. Dalam ekosistem lintas rantai saat ini, penggunaan teknologi zk-SNARKs dapat menjaga privasi blockchain dan DApps yang dibangun di atas platformnya. Di sini, gagasan utamanya adalah bahwa tidak mungkin bagi verifikator untuk memperoleh informasi apa pun tentang bukti tersebut (oleh karena itu dinamakan bukti "tanpa pengetahuan").

02 Cara kerja zk-SNARK

zk-SNARK sangat penting dalam ruang kripto, di mana privasi sangat penting karena banyak blockchain bersifat publik. Contoh paling terkenal adalah Zcash, aset kripto privasi. Ketika Zcash diperdagangkan di rantai publik seperti Bitcoin dan Ethereum, detail seperti alamat pengirim dan penerima digunakan untuk verifikasi, serta nilai input dan output (yaitu berapa banyak yang dibelanjakan dan berapa banyak yang tidak dibelanjakan). Namun dengan zk-SNARKs, Zcash dapat membuktikan bahwa suatu transaksi valid tanpa mengungkapkan informasi seperti alamat dan nilai.

Bagaimana Zcash menggunakan zkSNARKS untuk memberikan lapisan privasi bagi pengguna kripto Sumber: Blockchainhub.net

Bagaimana cara kerja zk-SNARK? Tanda tangan digital membentuk cara kerja zk-SNARK. Tanda tangan digital menggunakan algoritme enkripsi untuk melindungi informasi sensitif, menyembunyikannya dari pihak lain sambil memberikan bukti yang diperlukan kepada pihak tersebut. Jadi bagaimana tepatnya hal itu dilakukan? Langkah-langkahnya adalah sebagai berikut: 1. Provermer terlebih dahulu menghasilkan sepasang kunci, satu kunci publik dan satu kunci privat. Dia menandatangani transaksi menggunakan kunci pribadinya. 2. Prover kemudian mengkodekan transaksi ini ke dalam zk-SNARKs, yang merupakan bukti matematis bahwa transaksi tersebut valid. 3. Buktinya dikirim ke verifikator bersama dengan kunci publik. Verifikator kemudian menggunakan kunci publik untuk memeriksa apakah rumus tersebut benar tanpa mengetahui informasi lain tentang transaksi tersebut. Karena hanya sedikit informasi yang diverifikasi, pemeriksaan ini dapat diselesaikan dengan sangat cepat untuk mengonfirmasi keabsahan transaksi.

03 Kasus penggunaan khusus zk-SNARK

1. Token mana yang menggunakan zk-SNARK?

Token kriptografi SNARK adalah aset kriptografi yang menggunakan zk-SNARK untuk meningkatkan privasi, juga dikenal sebagai token privasi. Contoh token privasi tersebut adalah: - Zcash (ZEC) - Verge (XVG) - Monero (XMR) - Dash (DASH) - Beam (BEAM) - Horizen (ZEN) - Bytecoin (BCN) Tantangan utama zk-SNARKs adalah Jika kunci privat disusupi, bukti palsu dapat dibuat. Hal ini dapat memungkinkan pembuat bukti palsu melakukan penipuan, misalnya membuat dan menggunakan koin privasi palsu.

2. Aplikasi lain dari zk-SNARKS

Filecoin adalah penyedia penyimpanan terdesentralisasi yang beroperasi di berbagai bidang.

Pertama, penyedia penyimpanan di jaringan Filecoin (menyediakan ruang penyimpanan dengan imbalan hadiah blok), dan “pemberi sertifikasi”, harus membuktikan bahwa mereka menyimpan data on-chain dengan benar. Di sisi lain, kami memiliki “validator”, yaitu node, yang harus memverifikasi bahwa penyedia penyimpanan menyimpan dan melindungi data dengan benar. Validator ini harus puas dengan bukti yang diberikan oleh penyedia penyimpanan. Hal ini memerlukan penyedia penyimpanan dan node untuk berkomunikasi ketika data berpindah tangan. Seperti yang dapat Anda bayangkan, proses ini akan memakan banyak sumber daya. Postingan blog resmi Filecoin menjelaskan: “Jumlah data yang harus dibuktikan oleh satu penyedia penyimpanan saat ini untuk memverifikasi penyimpanannya sangat besar dan hanya akan bertambah seiring waktu. Jaringan Filecoin memiliki waktu blok 30 detik "Untuk tetap ada tidak berubah waktu dan memungkinkan metode yang dapat diskalakan, Filecoin memerlukan solusi yang memungkinkan verifikasi cepat, efisien, dan kuat."

Dengan zk-SNARKs, jaringan Filecoin dapat meningkatkan skalabilitas dan efisiensinya dengan mengurangi waktu yang diperlukan setiap pihak untuk memverifikasi penyimpanan. Bagi penyedia penyimpanan, zk-SNARK mengurangi jumlah data yang perlu dikirim untuk membuktikan penyimpanannya, sehingga menurunkan biaya operasional.

3. zk-SNARKs juga dapat digunakan untuk hal lain seperti:

- Otentikasi: Verifikasi kredensial pengguna tanpa kata sandi, menghilangkan kebutuhan akan dokumentasi seperti paspor dan akta kelahiran untuk melindungi informasi sensitif seperti tempat lahir dan tanggal lahir.

- Sistem pemungutan suara: Identitas pemilih dapat diverifikasi tanpa identifikasi, dan identitas pemilih tidak dapat diidentifikasi meskipun surat suara bocor, sehingga melindungi privasi pemilih.

- Kompresi data: Ini adalah penggunaan zk-SNARKS yang menarik dan layak mendapatkan bagian tersendiri.

04 Ringkasan

Secara keseluruhan, zk-SNARKS memiliki tiga poin utama: 1. zkSNARKS adalah sistem pembuktian tanpa pengetahuan yang memungkinkan satu pihak membuktikan kepada pihak lain bahwa mereka mengetahui suatu nilai x tanpa menyampaikan informasi lain apa pun tentang x. 2. Gagasan utamanya adalah bahwa pemeriksa tidak dapat menyimpulkan apa pun tentang x hanya dari fakta bahwa pembukti dapat membuktikan bahwa mereka mengetahui x. Ini melindungi privasi data pembuktinya. 3. Sistem tanpa pengetahuan (zero-knowledge proof) digunakan dalam berbagai aplikasi, termasuk komunikasi yang aman, kriptografi, dan analisis data yang menjaga privasi. Meskipun sistem pembuktian tanpa pengetahuan saat ini merupakan bidang penelitian yang relatif baru, masih banyak pertanyaan terbuka tentang kelayakan dan kepraktisan mereka. Namun, mereka telah digunakan untuk menciptakan beberapa produk yang mengesankan.

Apa pendapat Anda tentang zk-SNARKs? Silakan tinggalkan pesan di area komentar untuk berdiskusi.

Tautan asli: https://phemex.com/academy/what-is-zksnark Judul asli: Apa Itu zkSNARK: Penjelasan Ramah Pemula Penulis asli: Kontributor Penyusun: Huohuo

AKHIR