Makalah terbaru Vitalik disempurnakan: Bagaimana Privacy Pools memecahkan masalah segitiga yang mustahil yaitu “privasi, desentralisasi, dan kepatuhan”?

Kemarin, Vitalik dan beberapa pakar dari Universitas Basel bersama-sama menerbitkan sebuah makalah berjudul “Privasi Blockchain dan Kepatuhan Terhadap Peraturan: Menuju Keseimbangan Praktis” (Kepatuhan Privasi dan Peraturan Blockchain: Menuju Keseimbangan Praktis), mendorong Ini telah menarik perhatian luas.

Mengapa kita harus peduli dengan surat kabar seperti ini ketika pasar sedang dingin?

Pemikiran dan artikel Vitalik seringkali mempengaruhi arah pengembangan narasi dan teknologi baru. Selain itu, para ahli dan cendekiawan terkenal lainnya di bidang blockchain memiliki wawasan unik tentang teknologi blockchain dan tren perkembangan.

Selain itu, masalah privasi dan kepatuhan blockchain yang dibahas dalam makalah ini terkait dengan arah pengembangan masa depan dan pemilihan jalur kepatuhan industri enkripsi. Menemukan keseimbangan antara melindungi privasi pengguna dan mematuhi persyaratan peraturan merupakan masalah mendesak yang harus dipecahkan oleh industri enkripsi.

Setelah membaca makalah tersebut, kami menemukan bahwa protokol Kumpulan Privasi yang diusulkan olehnya memberikan solusi teknis yang layak untuk mencapai kompatibilitas privasi dan kepatuhan. Hal ini seolah-olah mencegah tragedi Tornado Cash dikirim ke neraka karena regulasi agar tidak terulang kembali.

Namun, makalah ini bersifat akademis dan teknis, sehingga sulit untuk dibaca, dan beberapa detail serta maknanya tidak mudah dipahami oleh pengguna awam.

Oleh karena itu, Institut Penelitian Shenchao telah menafsirkan dan menyempurnakan makalah ini, mencoba menjelaskan poin-poin inti makalah ini dalam bahasa populer, yang dapat membantu lebih banyak orang memahami masalah penting privasi dan kepatuhan, serta jalur teknis dan kemungkinan solusinya.

Siapa penulisnya?

Pertama-tama, makalah ini dipelopori oleh Vitalik dan ditulis bersama oleh rekan-rekan profesional dari kalangan akademis dan praktisi di industri ini.

Vitalik bertindak sebagai penulis pertama. Karena Vitalik memiliki pengaruh dan reputasi penting di bidang mata uang kripto, solusi yang diusulkan dapat mendapatkan lebih banyak perhatian.

Rekan penulis lainnya termasuk:

*Jacob Illum, peneliti di organisasi penelitian industri kripto Chainalysis;

• mat nadler, seorang mahasiswa doktoral di Universitas Basel, juga memiliki proyek pengembangan DeFi dan EVM terkait;
• Fabian Schär, profesor di Universitas Basel, meneliti rantai publik dan protokol DeFi;
• Ameen Soleimani, pendiri beberapa proyek enkripsi terkenal, memiliki pengalaman praktis yang kaya

Latar Belakang: Konflik Privasi dan Peraturan, Tragedi Tornado Cash

• Desain blockchain publik transparan dalam transaksi, dan siapa pun dapat memverifikasi transaksi tanpa bergantung pada pihak ketiga yang terpusat. Namun hal ini juga menimbulkan masalah privasi, karena semua transaksi untuk setiap alamat dicatat di blockchain, yang memungkinkan alamat tersebut dilacak dan dianalisis.
• Buku putih Bitcoin percaya bahwa blockchain dapat melindungi privasi melalui anonimitas kunci publik, namun perlindungan ini terbukti tidak cukup, dan berbagai alat analisis blockchain dapat menghubungkan alamat dan transaksi. Oleh karena itu, teknologi enkripsi yang lebih kuat diperlukan untuk meningkatkan perlindungan privasi rantai publik.
• Sistem yang menggunakan bukti tanpa pengetahuan universal, seperti Zcash dan Tornado Cash, dapat meningkatkan anonimitas pada semua transaksi dan meningkatkan perlindungan privasi. Namun, Tornado Cash juga disalahgunakan oleh beberapa peretas, dan akhirnya alamat kontrak pintarnya disetujui oleh OFAC.

Terkait isu Tornado Cash, Shenchao juga menambahkan beberapa latar belakang teknis untuk memberikan referensi bagi pembaca yang belum mengetahui banyak tentang sanksi regulasi sebelumnya:

• Tornado Cash adalah protokol peningkatan privasi berdasarkan bukti tanpa pengetahuan yang memungkinkan transaksi anonim. Hal ini memungkinkan pengguna untuk menyetor dana dan kemudian menarik uang dari alamat lain.Hanya penyetoran dan penarikan yang dapat dilihat pada rantai, tetapi tidak ada hubungan yang sesuai antara keduanya, sehingga bersifat anonim.
• Namun protokol tersebut juga telah disalahgunakan oleh beberapa kelompok peretas, yang melakukan pencucian uang melalui protokol tersebut. Misalnya, terdapat bukti bahwa kelompok peretas Korea Utara mencuci uang melalui Tornado Cash.
• Oleh karena itu, OFAC Departemen Keuangan AS akhirnya memasukkan alamat kontrak pintar Tornado Cash ke dalam daftar sanksi. Regulator percaya bahwa perjanjian tersebut memfasilitasi pencucian uang dan tidak kondusif untuk memerangi kejahatan keuangan.
• **Masalah utama Tornado Cash adalah sulitnya pengguna sah untuk memisahkan diri dari aktivitas kriminal yang dilakukan oleh protokol. **
• Namun pembuatan bukti ini harus bergantung pada server terpusat Tornado Cash. Pengguna perlu memberikan informasi spesifik penarikan kepada server, dan server menggunakan databasenya sendiri untuk memeriksa deposit mana yang benar-benar cocok dengan penarikan tersebut, dan kemudian menghasilkan bukti ini.

Hal ini memerlukan ketergantungan pada perantara terpusat, karena hanya Tornado Cash yang memiliki database lengkap dan dapat menghasilkan bukti yang benar. Pengguna biasa tidak dapat memeriksa kebenaran buktinya, dan pengguna serta regulator hanya dapat memilih untuk mempercayainya.

**Kami sangat membutuhkan cara untuk membuktikan dan meyakinkan regulator bahwa sumber dana saya bersih dan legal tanpa mengekspos privasi dan desentralisasi. **

Oleh karena itu, makalah ini mengusulkan solusi teknis yang layak yang disebut protokol Kumpulan Privasi: memungkinkan pengguna untuk membuktikan bahwa dana berasal dari kumpulan asosiasi khusus, yang tidak hanya melindungi privasi, tetapi juga membuktikan apakah dana tersebut berasal dari sumber ilegal.

Hal ini dapat menjadi langkah pertama menuju hidup berdampingan yang selaras antara privasi dan regulasi.

kumpulan asosiasi zk+, kunci untuk menyelesaikan masalah

Melalui uraian latar belakang di atas, kita telah memahami permasalahan yang perlu dipecahkan, yaitu menjamin privasi dan desentralisasi sekaligus membuktikan bahwa dana yang dimiliki seseorang “tidak bersalah”.

Untuk memastikan privasi, kita dapat dengan mudah memikirkan zk. Memang benar, makalah terbaru Vitalik juga menegaskan nilai zk, khususnya zk-SNARK, dalam menyelesaikan masalah privasi:

• Zero-knowledge: Tidak ada data pribadi yang bocor, hanya klaim yang terbukti benar.
• **Singkatnya: **Pembuktiannya sangat singkat, verifikasinya cepat, dan efisien meskipun perhitungannya rumit.

Namun, zk-SNARK sendiri hanya dapat menyelesaikan sebagian masalah: membuktikan bahwa transaksi ini terjadi pada saya, namun dapat menyembunyikan detail transaksi.

Untuk menyelesaikan masalah sepenuhnya, sebenarnya perlu dibuktikan bahwa sumber transaksi itu benar dengan premis bahwa rincian transaksi disembunyikan sepenuhnya. **

Oleh karena itu, makalah ini menghubungkan zk dengan metode lain—Association Set.

• Yang disebut kumpulan asosiasi memungkinkan pengguna untuk membuktikan bahwa dana berasal dari kumpulan khusus, daripada menyembunyikan atau mengungkapkan sumbernya sepenuhnya. Misalnya, saya mentransfer 1 BTC, tetapi 1 BTC ini diakumulasikan dalam beberapa transaksi lain, sehingga beberapa transaksi lainnya dapat menjadi satu set terkait.
• Kumpulan asosiasi bisa besar atau kecil, dan pengguna dapat dengan bebas menentukan komposisi dan cakupannya. Ini bisa berupa kumpulan besar segera untuk meningkatkan privasi, atau kumpulan kecil untuk membuktikan kepatuhan.

Setelah memahami konsep kumpulan asosiasi, mari kita lihat bagaimana kumpulan asosiasi zk+ tidak hanya menjamin privasi, tetapi juga membuktikan sumber dananya:

1. Saat pengguna melakukan deposit, rahasia (kunci) akan dibuat melalui zk, dan kemudian ID koin publik akan dihitung. (tandai hubungan saya dengan uang)
2. Saat menarik uang, pengguna harus mengirimkan nullifier untuk membuktikan bahwa saya telah menggunakan rahasia ini. (buktikan uang itu milikku)
3. Melalui teknologi zk, pengguna hanya perlu membuktikan: ID koin saya ada di total set dan asosiasi set yang saya nyatakan. (Buktikan bahwa uang itu bersih)
4. Pihak luar hanya dapat melihat jumlah transaksi dan pengumpulan atribusi uang, tetapi tidak dapat memperoleh informasi spesifik dari pihak yang mentransfer.

Jika sedikit lebih teknis, kita bisa melihat diagram skema pohon Merkle di makalah aslinya. Pohon Merkle pada gambar sebenarnya merupakan kombinasi dari ID Koin, yaitu setelah transaksinya sendiri zk, kita tidak dapat melihat detailnya, dan hanya menyimpan ID Koin dalam struktur pohon;

Pohon di sebelah kiri mewakili semua transaksi yang sedang terjadi, yang mungkin berisi sebagian uang saya sendiri. Sekarang, untuk membuktikan bahwa sumber dana untuk uang ini baik-baik saja, saya memerlukan pohon di sebelah kanan—ini mewakili kumpulan asosiasi khusus yang telah saya kaitkan dengan uang saya dan transaksi lainnya. Selama saya bisa menjelaskan riwayat transaksi di sebelah kanan, saya bisa memberi tahu Anda sumber uang saya saat ini.

Dalam konsep besar, ini seperti kolam privasi. Korelasi di sebelah kanan berisi seluk beluk uang saya, namun karena sudah lolos zero-knowledge proof, saya bisa membuktikan kepada Anda bahwa seluk beluk uang itu nyata, namun saya tidak perlu melakukannya. memberi tahu Anda detail transaksinya.

Kasus penggunaan praktis untuk Kumpulan Privasi

Makalah ini memberikan contoh yang sangat jelas untuk menunjukkan penerapan Privacy Pool.

Pengaturan latar belakang:

• Ada lima pengguna: Alice, Bob, Carl, David, dan Eve.
• Empat orang pertama jujur, tapi Hawa dikenal sebagai pencuri.
• Meskipun identitas asli Eve mungkin tidak diketahui, masyarakat mengetahui bahwa dana yang diterima melalui alamat berlabel “Eve” adalah dana curian.

Pilihan dan permainan pengguna saat menarik uang:

• Saat setiap pengguna menarik uang, sesuai dengan metode kertas, mereka dapat memilih kumpulan asosiasi.
• Kumpulan asosiasi ini harus menyertakan simpanan mereka sendiri. Ini berarti bahwa setiap pengguna tidak dapat mengecualikan simpanannya sendiri saat memilih kumpulan asosiasi.
• Untuk empat pengguna Alice, Bob, Carl, dan David, untuk menghindari dikaitkan dengan Eve, aktor jahat yang terkenal, mereka dapat memilih kumpulan asosiasi yang tidak menyertakan Eve. Dengan begitu, mereka bisa membuktikan bahwa mereka tidak ada hubungannya dengan Hawa.
• Namun, Eve menghadapi masalah: dia tidak bisa memilih kelompok pergaulan yang hanya mencakup dirinya sendiri, karena hal itu akan langsung menunjukkan bahwa dia adalah aktor yang buruk.
• Untuk mencoba menyembunyikan perilaku buruknya, Eve mungkin memilih kumpulan asosiasi yang mencakup kelima pengguna, dengan harapan dapat membingungkan pengamat;
• Namun, karena keempat pengguna lainnya memilih kumpulan asosiasi yang tidak menyertakan Hawa, hal ini membuat upaya Hawa sia-sia, karena melalui eliminasi seseorang dapat menentukan bahwa Hawa adalah aktor jahat.

hasil:

• Melalui pemilihan kumpulan asosiasi, Alice, Bob, Carl dan David dapat membuktikan bahwa mereka tidak berhubungan dengan Eve, seorang aktor terkenal yang jahat.
• Hawa tidak bisa menyembunyikan perilaku buruknya karena kumpulan pergaulannya mencakup semua orang.

Gambar 5 di makalah lebih lanjut menggambarkan perbedaan antara kedua bukti tersebut. Bukti keanggotaan mencakup kumpulan simpanan tertentu, sedangkan kumpulan bukti pengecualian asosiasi mencakup semua simpanan kecuali kumpulan simpanan tertentu.

Pandangan Masa Depan

Meskipun protokol peningkatan privasi yang disebutkan di atas berdasarkan zkSNARK dan rangkaian asosiasi telah mencapai keseimbangan antara kepatuhan dan privasi untuk teknologi blockchain, masih terdapat beberapa tantangan teknis dan tata kelola. Penulis mengusulkan beberapa arah pengembangan di masa depan:

• ** Studi lebih lanjut tentang properti privasi: ** Privasi yang diberikan oleh protokol ini bergantung pada banyak faktor berbeda. Ukuran kumpulan korelasi, kesesuaian pemilihan akar, dan kesalahan pengguna dapat memungkinkan penyerang khusus untuk menghubungkan transaksi pengguna.
• **Pelajari sifat-sifat keseimbangan pemisahan: ** Pelajari lebih lanjut bagaimana aktor baik dan buruk berperilaku berdasarkan asumsi tertentu, dan bagaimana bukti publik atas asumsi tersebut memengaruhi privasi aktor tersebut.
• Penelitian Hukum: Ahli hukum dapat meneliti lebih lanjut persyaratan pengungkapan tertentu. Rekomendasi yang dibuat dalam makalah ini sangat mudah beradaptasi, dan wawasan dari para ahli hukum dapat membantu mengadaptasi protokol dan ekosistem di sekitarnya untuk memastikan kepatuhan terhadap berbagai yurisdiksi hukum.

Terakhir, kami berpendapat bahwa pada saat ini, privasi dan kepatuhan sering kali dipandang sebagai dua hal yang bertentangan dan tidak dapat didamaikan.

Teknologi yang dijelaskan dalam makalah ini menemukan keseimbangan antara keduanya dan membawa signifikansi positif bagi seluruh industri. Diharapkan lebih banyak peneliti dan pengembang yang terinspirasi oleh teknologi ini dan berkontribusi terhadap pembangunan industri yang sehat dan berkelanjutan.