Privasi yang dicari oleh dunia kripto sering kali tidak dapat diatur sesuai dengan peraturan, bahkan ditekan oleh pemerintah. Bagaimana kita dapat menjamin privasi pengguna kripto di blockchain dalam kerangka hukum dan kepatuhan? Artikel ini berasal dari tulisan pengacara Chu Yan, disusun dan diterjemahkan oleh Foresight News. (Ringkasan sebelumnya: Dompet kripto ideal Vitalik: pengalaman transaksi lintas L2, keamanan privasi akun, menjadi dompet data...) (Latar belakang tambahan: Koin privasi harus mati! Makalah akademis internasional: Pemerintah menghadapi serangan 51% pada blockchain publik, menekan harga koin...) Pada November 2024, Pengadilan Sirkuit Kelima Amerika Serikat memutuskan bahwa tindakan sanksi Departemen Keuangan AS terhadap mixer Tornado Cash melanggar (Undang-Undang Kekuasaan Ekonomi Darurat Internasional) (IEEPA). Pengadilan Sirkuit Kelima berpendapat bahwa kontrak pintar Tornado Cash adalah kode yang terdesentralisasi, otomatis, dan tidak dapat dikendalikan, tidak dapat dimiliki, bukan aset, dan tidak seharusnya dimasukkan dalam daftar sanksi OFAC; tindakan sanksi OFAC melampaui kewenangan hukum mereka. Meskipun keputusan Pengadilan Sirkuit Kelima dalam kasus Tornado Cash dianggap sebagai kemenangan bagi industri kripto, fakta yang tidak dapat disangkal adalah bahwa peretas Korea Utara dan organisasi kriminal pencurian koin benar-benar memanfaatkan Tornado Cash untuk mencuci uang, menghindari sanksi dari lembaga penegak hukum. Jadi, apakah mungkin untuk menjamin privasi pengguna kripto di blockchain dalam kerangka hukum dan kepatuhan? Hari ini, kami akan membagikan bagaimana protokol mixer Railgun melindungi privasi pengguna di blockchain secara patuh. Mode pelaksanaan protokol Railgun Railgun adalah protokol privasi berbasis kontrak pintar yang menjamin privasi pembayaran pengguna di blockchain melalui bukti nol-pengetahuan dan pohon Merkle, dan menggunakan metode 'bukti tidak bersalah' untuk memastikan keamanan dan kepatuhan dana yang masuk ke dalam protokol, cara ini mencapai keseimbangan antara pembayaran privasi di blockchain dan kepatuhan regulasi. Perusahaan induk Grayscale, grup DCG, saat ini telah menginvestasikan nilai 10 juta dolar AS dalam token protokol Railgun, RAIL, dan telah menyumbangkan lebih dari 7 juta dolar AS dalam stablecoin kepada Railgun DAO serta menggunakan sumber daya melalui anak perusahaan Foundry Labs untuk menjamin kemampuan backend protokol Railgun dalam menghadapi tekanan. Mekanisme pelaksanaan 1. Privatisasi token Pengguna menggunakan Railway Wallet untuk menyembunyikan token di alamat 0x mereka ke alamat 0zk Railgun, setelah menunggu satu jam, saldo token di alamat 0zk dapat digunakan untuk transfer antar alamat 0zk serta interaksi di privasi blockchain seperti Defi, transfer antar alamat 0zk tidak perlu menunggu, langsung masuk. Railway Wallet mendukung privatisasi token ERC20, ERC-721, dan ERC-1155 NFT. 2. Melalui Broadcasters menggantikan pengguna protokol untuk berinteraksi dengan lapisan dasar blockchain, menjamin privasi transaksi Setelah privatisasi token, interaksi pengguna di blockchain dilakukan melalui Broadcasters dalam protokol Railgun, Broadcasters adalah alamat 0x publik yang menggantikan pengguna protokol untuk membayar gas dengan blockchain dasar, menyelesaikan operasi interaksi di blockchain. Jadi dalam seluruh operasi interaksi di blockchain, pengguna tidak perlu mengeluarkan ETH/MATIC/BNB sebagai GAS. Secara teori, alamat 0x mana pun dapat berfungsi sebagai Broadcasters, pengguna dapat memilih Broadcasters berdasarkan gas dan ketersediaan. Broadcasters tidak mengontrol token di alamat pengguna, hanya meneruskan informasi interaksi, dan tidak mendapatkan rincian seperti alamat pengiriman interaksi di blockchain, jumlah, alamat penerima, dan jenis token, yang menjamin privasi dan keamanan transaksi. Broadcasters mendapatkan biaya 10% dari total GAS dalam seluruh proses. 3. Menghapus privasi setelah menyelesaikan interaksi di blockchain Setelah pengguna menunjuk Broadcasters untuk menyelesaikan transaksi privasi, mereka dapat memasukkan alamat 0x mana pun untuk memulai interaksi penghapusan privasi, sehingga menarik sisa token mereka di protokol Railgun. Dalam operasi privatisasi dan penghapusan privasi token, kontrak pintar protokol Railgun akan mengenakan biaya 0,25% yang akan dikirim ke alamat kas Railgun DAO. Pendapatan protokol ini akan didistribusikan kepada pengelola protokol dan staker. Railgun menggunakan bukti nol-pengetahuan untuk menjamin privasi di blockchain Bukti nol-pengetahuan (Zero-Knowledge Proof, disingkat ZKP) adalah teknik kriptografi yang memungkinkan pembuktian tanpa mengungkapkan detail sumber informasi kepada verifier. Di dalam protokol Railgun, pengguna dapat membuktikan bahwa mereka memiliki hak untuk menggunakan token tanpa mengungkapkan jenis dan jumlah token tersebut, Broadcasters dan pool dana dapat memprivatisasi alamat pengirim dan penerima. Misalnya, pengguna Railgun mirip dengan pengirim surat, ZKP bertanggung jawab untuk memverifikasi konten surat tersebut, kontrak pintar protokol Railgun adalah amplop yang tersegel, dan Broadcasters adalah kurir. Dari blockchain publik, hanya dapat terlihat bahwa surat telah dikirim, tetapi mereka tidak dapat memastikan isi surat atau pengirim serta penerima surat tersebut. Railgun menggunakan Merkle Tree untuk mencegah penggandaan, menjamin keamanan transaksi Pohon Merkle (Merkle Tree) juga dikenal sebagai pohon hash, sering digunakan untuk memverifikasi integritas data transaksi di blockchain. Setiap header blok menyertakan nilai hash akar pohon Merkle untuk memverifikasi apakah data transaksi dalam blok tersebut telah dimanipulasi. Setelah peristiwa FTX yang melibatkan penyalahgunaan aset pengguna, saat ini bursa terpusat utama menggunakan pohon Merkle untuk memverifikasi keamanan penitipan aset pengguna agar tidak disalahgunakan. Setelah pengguna menggunakan protokol Railgun untuk memprivatisasi alamat, token akan ditambahkan ke dalam pool privasi. Saldo token dalam pool privasi protokol Railgun dibangun menggunakan log UTXO yang mirip dengan BTC, daftar UTXO Railgun seluruhnya membentuk struktur data pohon Merkle untuk memverifikasi status saldo selama transaksi. Semua token dalam protokol Railgun berbagi pohon Merkle, setiap kali operasi privatisasi token dilakukan, status pohon Merkle akan diperbarui, menghasilkan akar / daun Merkle yang baru. Dengan demikian, menjamin bahwa pengguna memiliki cukup token saat mengirim transaksi privasi, mencegah penggandaan, dan menjamin keamanan transaksi. Bagaimana protokol Railgun mencapai kepatuhan regulasi Alasan di balik sanksi terhadap Tornado Cash terutama karena organisasi peretas Korea Utara, Lazarus Group, dan kelompok kriminal pencucian koin menggunakan layanan tersebut untuk mencuci koin, menghindari pelacakan oleh lembaga penegak hukum seperti FBI. Pembuktian tidak bersalah (Private Proofs of Innocence) Di atas telah dijelaskan tentang mekanisme pelaksanaan protokol Railgun, ketika pengguna memprivatisasi alamat 0x, ada periode tunggu satu jam. Selama periode tunggu ini, Railgun akan melakukan anti pencucian uang di blockchain terhadap token di alamat pengguna, memastikan bahwa dana di alamat pengguna tidak berasal dari alamat yang berisiko tinggi atau terkena sanksi. Anti pencucian uang di blockchain protokol Railgun berbeda dengan bursa terpusat...