Studi Mengenai Privasi Kripto dan Keamanan Terhadap Serangan Kuantum
Sebuah studi yang menghasilkan berita penting dalam dunia privasi kripto menemukan bahwa sistem bukti nol-pengetahuan, termasuk Railgun, PrivacyPools, Aleo, dan Aztec, secara matematis kebal terhadap serangan kuantum. Hal ini disebabkan oleh ketergantungan mereka pada keamanan teori informasi, bukan pada enkripsi, yang berarti mereka tetap aman bahkan dari penyerang yang memiliki kekuatan tak terbatas, termasuk komputer kuantum di masa depan.
Temuan Signifikan Mengenai Ancaman Komputasi Kuantum
Berita mengenai privasi kripto ini muncul pada hari Selasa dengan temuan signifikan: ancaman dari komputasi kuantum yang telah memicu peta jalan darurat di Ripple, Bitcoin, dan Ethereum tampaknya tidak berlaku untuk sistem bukti nol-pengetahuan yang menjaga privasi. Sebuah studi yang ditulis bersama oleh peneliti Coinbase dan tim dari Stanford serta Ethereum Foundation menyimpulkan bahwa jaringan seperti Railgun dan PrivacyPools bergantung pada model keamanan yang secara fundamental berbeda dari yang dirancang untuk diserang oleh komputer kuantum.
“Sistem bukti nol-pengetahuan bergantung pada sistem teori informasi yang aman bahkan terhadap penyerang yang memiliki kekuatan tak terbatas, karena cara informasi disusun dan dibagikan, bukan karena enkripsi.”
Perbedaan Antara Keamanan Komputasi dan Keamanan Teori Informasi
Perbedaan ini bukan sekadar masalah derajat, melainkan perbedaan kategoris antara keamanan komputasi dan keamanan teori informasi. Keamanan blockchain standar, termasuk perlindungan pada dompet Bitcoin dan akun Ethereum, bergantung pada kesulitan komputasi: asumsi bahwa memecahkan masalah matematika yang mendasarinya memerlukan lebih banyak komputasi daripada yang dimiliki oleh penyerang mana pun. Komputer kuantum yang menggunakan algoritma Shor dapat, dalam teori, menyelesaikan kategori tertentu dari masalah matematika ini secara eksponensial lebih cepat daripada komputer klasik, itulah sebabnya tanda tangan kurva elips Bitcoin dianggap berpotensi rentan.
Keunggulan Sistem Bukti Nol-Pengetahuan
Bukti nol-pengetahuan bekerja dengan cara yang berbeda. Mereka memungkinkan satu pihak untuk membuktikan pengetahuan tentang sebuah rahasia tanpa mengungkapkan rahasia itu sendiri, dan jaminan keamanan berasal dari prinsip teori informasi, bukan dari kesulitan komputasi. Bahkan komputer dengan kekuatan pemrosesan tak terbatas tidak dapat mengekstrak lebih banyak informasi daripada yang dirancang untuk diungkapkan oleh bukti tersebut. Properti struktural ini membuat alat privasi berbasis ZK kebal terhadap algoritma Shor dan serangan kuantum yang menargetkan kesulitan komputasi.
Protokol Privasi yang Menggunakan Bukti ZK
Railgun adalah protokol privasi yang melindungi jumlah transaksi dan alamat menggunakan bukti ZK di Ethereum. PrivacyPools adalah protokol yang dirancang untuk memungkinkan privasi dengan membiarkan pengguna membuktikan bahwa dana mereka tidak berasal dari sumber yang disanksi tanpa mengungkapkan riwayat transaksi penuh mereka. Aleo adalah blockchain Layer 1 yang dibangun secara native di sekitar bukti ZK, sedangkan Aztec adalah Layer 2 Ethereum yang menyediakan eksekusi kontrak pintar secara pribadi melalui bukti ZK. Keempatnya bergantung pada keamanan teori informasi untuk jaminan privasi inti mereka.
Implikasi Temuan Studi
Kesimpulan studi Coinbase menunjukkan bahwa ketika komputer kuantum akhirnya berkembang hingga titik yang mengancam keamanan kunci Bitcoin, sifat privasi dari jaringan ini akan tetap utuh. Kerentanan mereka, jika ada, akan berasal dari komponen lain dalam arsitektur mereka, seperti tanda tangan kurva elips yang digunakan untuk otentikasi akun, yang merupakan lapisan keamanan terpisah dari sistem bukti ZK itu sendiri.
Debat Risiko Kuantum di Bitcoin
Temuan ini muncul di tengah debat risiko kuantum Bitcoin yang lebih luas, yang menghasilkan gesekan dalam tata kelola di seluruh ekosistem. Debat mengenai ancaman kuantum di Bitcoin telah berfokus pada apakah akan memaksa migrasi koin atau mengandalkan peningkatan opsional. Infrastruktur privasi berbasis ZK sepenuhnya menghindari debat tersebut, karena model keamanan intinya sudah kebal terhadap ancaman kuantum berdasarkan desain.
Rekomendasi untuk Pengembang DeFi dan Pengguna Institusi
Bagi pengembang DeFi dan pengguna institusi yang mengevaluasi pilihan infrastruktur dalam jangka panjang, studi ini memberikan dasar konkret untuk memperlakukan alat privasi berbasis ZK sebagai secara kategoris lebih tahan masa depan dibandingkan dengan akun blockchain berbasis transparansi tradisional yang terkait dengan ancaman kuantum. Salah satu pendiri Ethereum, Vitalik Buterin, telah secara publik mendukung protokol seperti Railgun dengan argumen bahwa privasi harus menjadi opsi default bagi pengguna blockchain. Temuan mengenai kekebalan terhadap ancaman kuantum ini menambah dimensi keamanan pada argumen tersebut.
