Rekan pendiri Ethereum, Vitalik Buterin, menerbitkan sebuah analisis pada 29 Juni 2026, yang menyebut indistinguishability obfuscation (iO) sebagai masalah paling sulit yang belum terpecahkan dalam kriptografi. Skema iO saat ini secara teknis berfungsi tetapi memiliki waktu proses yang diperkirakan Buterin melebihi usia alam semesta dengan beberapa orde magnitudo. Terobosan ini penting untuk aplikasi blockchain karena implementasi iO yang berhasil akan memungkinkan sistem voting tanpa kepercayaan dan kontrak pintar privat tanpa memerlukan pihak ketiga yang tepercaya.
Buterin Menjelaskan Mekanisme Indistinguishability Obfuscation
Dalam postingan blognya, Buterin menggambarkan iO sebagai teknik kriptografi yang menyembunyikan kode itu sendiri, membedakannya dari enkripsi (yang menyembunyikan data dalam perjalanan) dan bukti tanpa pengetahuan (yang memverifikasi data tanpa mengungkapkannya). Obfuskasi mengacak logika internal sebuah program sehingga pengamat tidak dapat menentukan cara kerjanya, bahkan saat melihatnya berjalan.
Indistinguishability obfuscation secara spesifik berarti bahwa jika dua program menghasilkan keluaran yang identik menggunakan logika internal yang berbeda, versi yang diobfuskasi tidak dapat dibedakan satu sama lain. Program tersebut dieksekusi, menghasilkan keluaran nyata, dan tidak mengungkapkan apa pun tentang proses internalnya.
iO Memungkinkan Protokol Blockchain Tanpa Kepercayaan
Buterin menghubungkan iO langsung dengan kasus penggunaan blockchain dalam analisisnya. Program yang diobfuskasi tidak dapat menyimpan status seperti saldo atau catatan transaksi karena mereka tidak dapat mencegah diri mereka disalin. Blockchain menyediakan infrastruktur penyimpanan status yang tidak dimiliki oleh program yang diobfuskasi.
Menggabungkan program yang diobfuskasi dengan blockchain menciptakan apa yang digambarkan Buterin sebagai 'pihak ketiga tepercaya tanpa kepercayaan' — sebuah sistem yang menegakkan aturan, memproses masukan, dan menghasilkan keluaran yang jujur tanpa memerlukan kepercayaan pada pembuatnya. Salah satu aplikasi yang disebutkan Buterin adalah sistem voting yang aman, privat, dan tahan manipulasi tanpa komite multisig, tanpa pengaturan tepercaya oleh sekelompok kecil, dan tanpa asumsi bahwa beberapa peserta tetap jujur.
Peneliti Mencapai Konstruksi iO yang Terbukti Aman
Para peneliti telah mengejar iO yang terbukti aman selama sekitar 20 tahun. Pendekatan awal berulang kali dipatahkan. Buterin merujuk pada hasil tahun 2001 yang menunjukkan bahwa versi ideal dari obfuskasi tidak mungkin secara matematis, mendorong para peneliti untuk mengalihkan fokus ke iO sebagai target terbaik berikutnya.
Dalam beberapa tahun terakhir, para kriptografer mengembangkan konstruksi yang mencapai iO di bawah apa yang disebut Buterin sebagai 'asumsi keamanan yang wajar.' Konstruksi ini mewakili kemajuan nyata di bidang ini.
Skema iO Saat Ini Menghadapi Keterbatasan Runtime
Skema iO saat ini secara teknis bersifat polinomial, artinya mereka berskala dengan ukuran input daripada meledak secara eksponensial. Namun, Buterin menggambarkan overhead aktual sebagai 'galaktik.' Skema tersebut menumpuk beberapa lapisan alat kriptografi canggih di dalam satu sama lain, dengan setiap lapisan membungkus lapisan di bawahnya.
Hasilnya adalah sistem di mana memproses satu input memerlukan faktor overhead yang diperkirakan di atas 10 pangkat 10. Persyaratan keamanan mendorong ukuran ciphertext ribuan kali lebih besar dari konstruksi standar. Perkiraan Buterin menempatkan runtime yang diharapkan pada skema saat ini melebihi usia alam semesta.
Buterin Menjabarkan Tiga Jalur Penelitian
Buterin menjabarkan tiga jalur yang sedang dikejar para peneliti untuk membuat iO praktis. Jalur pertama melibatkan optimalisasi konstruksi yang ada menggunakan rekayasa yang lebih cerdas dan bantuan AI untuk mengurangi overhead di setiap hambatan, mirip dengan bagaimana kinerja SNARK meningkat drastis setelah tahun 2010.
Jalur kedua membangun iO menggunakan asumsi kriptografi yang lebih agresif namun lebih sederhana, menukar ketelitian teoretis dengan kecepatan praktis. Jalur ketiga mencari pendekatan yang sama sekali baru untuk obfuskasi, mungkin di luar matematika berbasis kisi yang mendasari sebagian besar pekerjaan saat ini.
Keberhasilan iO Akan Mengubah Protokol Kriptografi
Buterin menyatakan bahwa keberhasilan di salah satu jalur ini akan menghasilkan versi kriptografi di mana protokol apa pun yang dapat dijelaskan dengan pihak ketiga tepercaya dapat dibangun tanpa pihak tersebut. Aplikasi termasuk kontrak pintar privat, sistem kredensial anonim, komputasi terenkripsi pada data sensitif, dan sistem tata kelola yang tahan terhadap manipulasi orang dalam.
"Jika kita berhasil di salah satu jalur, imbalannya tinggi: ada pengertian nyata di mana kita telah 'memecahkan kriptografi': protokol apa pun yang dapat dijelaskan menggunakan pihak ketiga tepercaya yang diidealkan, asalkan lawan diizinkan untuk memutar balik waktu, akan dapat diimplementasikan dengan aman. Namun untuk sampai ke sana masih merupakan tantangan yang berat," tulis Buterin. Ia menambahkan bahwa meskipun teknologinya belum siap, peta jalannya lebih jelas dari sebelumnya.
Tanya Jawab
Apa yang diidentifikasi Vitalik Buterin sebagai masalah paling sulit yang belum terpecahkan dalam kriptografi pada 29 Juni 2026?
Vitalik Buterin menyebut indistinguishability obfuscation (iO) sebagai masalah paling sulit yang belum terpecahkan dalam kriptografi dalam sebuah analisis yang diterbitkan pada 29 Juni 2026. Ia menjelaskan bahwa meskipun skema iO saat ini secara teknis berfungsi, mereka memiliki waktu proses yang melebihi usia alam semesta dengan beberapa orde magnitudo.
Apa tiga jalur penelitian yang dijabarkan Buterin untuk membuat iO praktis?
Buterin menjabarkan tiga jalur: mengoptimalkan konstruksi yang ada menggunakan peningkatan rekayasa dan bantuan AI, membangun iO dengan asumsi kriptografi yang lebih sederhana namun lebih agresif, dan menemukan pendekatan yang sama sekali baru untuk obfuskasi di luar matematika berbasis kisi saat ini. Ia menyatakan bahwa keberhasilan di jalur mana pun akan memungkinkan protokol seperti voting tanpa kepercayaan dan kontrak pintar privat.
Mengapa blockchain membutuhkan indistinguishability obfuscation?
Buterin menjelaskan bahwa program yang diobfuskasi tidak dapat menyimpan status seperti saldo atau catatan transaksi karena mereka tidak dapat mencegah penyalinan. Blockchain menyediakan infrastruktur penyimpanan status yang tidak dimiliki program yang diobfuskasi. Menggabungkan keduanya menciptakan 'pihak ketiga tepercaya tanpa kepercayaan' yang menegakkan aturan dan menghasilkan keluaran yang jujur tanpa memerlukan kepercayaan pada pembuatnya.
