Vitalik Buterin Menguraikan Obfuskasi Ketakdapatdibedakan untuk Pemungutan Suara Blockchain Tanpa Kepercayaan

Pendiri bersama Ethereum Vitalik Buterin menguraikan bagaimana obfuskasi ketak-terbedakan dapat memungkinkan pemungutan suara onchain yang sepenuhnya privat tanpa bergantung pada perantara tepercaya dalam sebuah esai teknis. Buterin meneliti pendekatan kriptografi yang dirancang untuk menyembunyikan logika perangkat lunak sambil menghasilkan keluaran yang benar, dengan argumen bahwa pendekatan ini dapat dikombinasikan dengan infrastruktur blockchain untuk pemungutan suara yang privat dan tahan terhadap kolusi. Teknologi ini masih jauh dari penerapan praktis, dengan implementasi saat ini memerlukan tuntutan komputasi ekstrem yang digambarkan Buterin sebagai tingkat komputasi "galaktik".

Obfuskasi Ketak-terbedakan Memproses Suara Terenkripsi Tanpa Mengekspos Surat Suara

Buterin menjelaskan bahwa obfuskasi ketak-terbedakan adalah bentuk kriptografi yang dirancang untuk menyembunyikan cara kerja perangkat lunak sambil tetap memungkinkannya menghasilkan keluaran yang benar saat dijalankan. Program yang diobfusasi dapat memproses suara terenkripsi dan hanya mempublikasikan jumlah akhir tanpa mengekspos surat suara individu atau mengungkapkan logika internalnya. Pendekatan ini akan menghilangkan kebutuhan akan komite ambang, yang saat ini berbagi tanggung jawab untuk mendekripsi data pemilu. Menggabungkan iO dengan infrastruktur blockchain dapat memungkinkan pemungutan suara yang privat dan tahan terhadap kolusi dengan hampir tanpa kepercayaan pada komite yang bertanggung jawab menangani surat suara atau mengungkapkan hasil.

Infrastruktur Blockchain Tetap Penting untuk Manajemen Status

Buterin menyatakan bahwa blockchain masih akan sangat penting karena perangkat lunak yang diobfusasi tidak dapat mencegah dirinya sendiri dari disalin atau secara independen mempertahankan status yang berubah. Keterbatasan ini membuat program yang diobfusasi tidak cocok sendiri untuk aplikasi yang melibatkan saldo atau sistem stateful lainnya. Infrastruktur blockchain akan diperlukan untuk mengelola status bersama yang tidak dapat dipertahankan secara aman oleh program yang diobfusasi secara independen.

Implementasi Saat Ini Memerlukan Tingkat Komputasi Galaktik

Meskipun para peneliti baru-baru ini telah mendemonstrasikan cara untuk membangun iO menggunakan asumsi keamanan yang wajar, Buterin mengatakan implementasi saat ini memerlukan tingkat komputasi "galaktik". Beberapa pendekatan membutuhkan waktu lebih lama dari usia alam semesta untuk dieksekusi. Buterin menggambarkan obfuskasi sebagai arah penelitian jangka panjang daripada teknologi yang siap produksi, membandingkan tahapnya saat ini dengan penelitian zero-knowledge proof awal sebelum bertahun-tahun optimalisasi mengubahnya menjadi infrastruktur blockchain yang praktis.

FAQ

Apa itu obfuskasi ketak-terbedakan dalam pemungutan suara blockchain? Obfuskasi ketak-terbedakan adalah bentuk kriptografi yang dirancang untuk menyembunyikan cara kerja perangkat lunak sambil tetap memungkinkannya menghasilkan keluaran yang benar saat dijalankan. Dalam pemungutan suara blockchain, program yang diobfusasi dapat memproses suara terenkripsi dan hanya mempublikasikan jumlah akhir tanpa mengekspos surat suara individu atau mengungkapkan logika internalnya.

Mengapa blockchain masih diperlukan jika program pemungutan suara diobfusasi? Blockchain tetap penting karena perangkat lunak yang diobfusasi tidak dapat mencegah dirinya sendiri dari disalin atau secara independen mempertahankan status yang berubah. Ini membuat program yang diobfusasi tidak cocok sendiri untuk aplikasi yang melibatkan saldo atau sistem stateful lainnya, sehingga memerlukan infrastruktur blockchain untuk mengelola status bersama.

Seberapa praktis obfuskasi ketak-terbedakan untuk pemungutan suara saat ini? Implementasi saat ini memerlukan tingkat komputasi "galaktik", dengan beberapa pendekatan membutuhkan waktu lebih lama dari usia alam semesta untuk dieksekusi. Buterin menggambarkan teknologi ini sebagai arah penelitian jangka panjang daripada siap produksi, membandingkan tahapnya saat ini dengan penelitian zero-knowledge proof awal sebelum bertahun-tahun optimalisasi membuatnya praktis.