Makalah Vitalik: Jangan sampai kepatuhan mengorbankan privasi dan desentralisasi

Disusun oleh: Deep Wave TechFlow

Kemarin, Vitalik dan beberapa peneliti dari Universitas Basel bersama-sama menerbitkan sebuah makalah berjudul "Privasi Blockchain dan Kepatuhan Terhadap Peraturan: Menuju Keseimbangan Praktis" yang telah menarik perhatian luas.

Mengapa kita harus memperhatikan 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 antara privasi dan kepatuhan. Tampaknya tragedi Tornado Cash yang dijebloskan ke neraka karena pengawasan tidak akan 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, Deep Tide Research Institute telah menafsirkan dan menyempurnakan makalah ini, mencoba menjelaskan poin-poin inti makalah ini melalui bahasa populer, yang dapat membantu lebih banyak orang memahami masalah penting privasi dan kepatuhan, serta jalur teknis dan kemungkinan solusinya. .

Siapa penulisnya?

Pertama-tama, tesis ini dipimpin oleh Vitalik dan ditulis bersama oleh rekan-rekan profesional dari kalangan akademisi dan praktisi.

Vitalik menjabat 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 Chainalysis, sebuah organisasi penelitian industri kripto;

mat nadler, seorang mahasiswa doktoral di Universitas Basel, juga memiliki proyek pengembangan DeFi dan EVM terkait;

Fabian Schär, seorang 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 adalah transaksi yang transparan, 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, sehingga alamat dapat dilacak dan dianalisis.
  • Buku putih Bitcoin percaya bahwa blockchain dapat menjamin 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 melepaskan diri dari aktivitas kriminal yang dilakukan oleh protokol.
  • Namun, pembuatan bukti ini memerlukan server terpusat Tornado Cash. Pengguna perlu memberikan informasi spesifik tentang penarikan ke server. Server menggunakan database yang dimilikinya untuk memeriksa setoran mana yang benar-benar sesuai dengan penarikan tersebut, dan kemudian menghasilkan sertifikat 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 koleksi terkait khusus, yang tidak hanya melindungi privasi, namun juga membuktikan apakah dana tersebut berasal dari sumber ilegal tertentu.

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

#zk+association set, 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 zk, khususnya nilai zk-SNARK dalam menyelesaikan masalah privasi:

  • Nol pengetahuan: Tidak ada data pribadi yang bocor, hanya pernyataan yang terbukti benar.
  • Kesederhanaan: Pembuktiannya singkat, verifikasinya cepat, dan efisien meskipun penghitungannya rumit.

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

Untuk menyelesaikan masalah secara tuntas, sebenarnya perlu dibuktikan bahwa sumber transaksi itu benar sambil menyembunyikan detail transaksinya.

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 komposisi serta cakupannya dapat ditentukan secara bebas oleh pengguna. 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+ dapat memastikan privasi dan membuktikan sumber dana:

  1. Ketika 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 bahwa uang itu milikku)
  3. Melalui teknologi zk, pengguna hanya perlu membuktikan: ID koin saya ada di total set dan asosiasi set yang saya nyatakan. (Bukti bahwa uang uang itu bersih)
  4. Dunia luar hanya dapat melihat jumlah transaksi dan kumpulan kepemilikan uang, namun tidak dapat memperoleh informasi spesifik dari kedua pihak yang melakukan transfer.

Untuk lebih teknisnya, kita bisa melihat diagram skema pohon Merkel dari kertas aslinya. Pohon Merkel pada gambar sebenarnya merupakan kombinasi dari Coin ID, yaitu setelah transaksinya sendiri zk, kita tidak dapat melihat detailnya dan hanya menyimpan Coin ID pada struktur pohon;

Pohon di sebelah kiri mewakili semua transaksi yang sedang terjadi, yang mungkin berisi sebagian uang saya sendiri. Sekarang, untuk membuktikan bahwa tidak ada masalah dengan sumber pendanaan uang ini, 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 Kolam Privasi

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

  1. 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.
  1. Pilihan dan permainan pengguna saat menarik uang:
  • Saat setiap pengguna menarik diri, mereka dapat memilih kumpulan asosiasi sesuai metode kertas.
  • 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.
  • Dalam upaya untuk menyembunyikan perilaku buruknya, Eve dapat memilih kumpulan asosiasi yang mencakup kelima pengguna, dengan harapan dapat membingungkan pengamat;
  • Namun, karena keempat pengguna lainnya telah memilih kumpulan asosiasi yang tidak menyertakan Hawa, hal ini menjadikan upaya Hawa sia-sia karena seseorang dapat menentukan dengan pengecualian bahwa Hawa adalah aktor yang buruk.
  1. Hasil:
  • Melalui pilihan kumpulan asosiasi, Alice, Bob, Carl, dan David dapat membuktikan bahwa mereka tidak terkait 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 kumpulan asosiasi mencapai keseimbangan antara kepatuhan dan privasi untuk teknologi blockchain, masih ada beberapa tantangan teknis dan tata kelola. Penulis mengusulkan beberapa arah pengembangan di masa depan:

  • Penelitian lebih lanjut tentang properti privasi: Privasi yang diberikan oleh protokol ini bergantung pada banyak faktor berbeda. Ukuran kumpulan asosiasi, kesesuaian pilihan akar, dan kesalahan pengguna memungkinkan penyerang khusus untuk menghubungkan transaksi pengguna.
  • Selidiki ciri-ciri pemisahan keseimbangan: pelajari lebih lanjut bagaimana aktor baik dan buruk berperilaku berdasarkan asumsi tertentu, dan bagaimana bukti publik mengenai asumsi tersebut memengaruhi privasi aktor tersebut.
  • Penelitian hukum: Para ahli hukum dapat meneliti lebih lanjut persyaratan pengungkapan yang spesifik. 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.

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.
  • Hadiah
  • Komentar
  • Bagikan
Komentar
0/400
Tidak ada komentar
Perdagangkan Kripto Di Mana Saja Kapan Saja
qrCode
Pindai untuk mengunduh aplikasi Gate
Komunitas
Bahasa Indonesia
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)