Highlights

  • Vitalik Buterin memperkirakan peluang 60% bahwa SNARKs, fully homomorphic encryption, dan indistinguishability obfuscation mencapai overhead komputasi di bawah 10 kali lipat.
  • Ia memberi peluang 33% ketiga teknologi tersebut pada akhirnya mencapai overhead mendekati nol pada skala besar.
  • SNARKs sudah menjadi yang paling matang di antara ketiganya, mencapai overhead satu digit pada kasus-kasus khusus seperti fungsi hash khusus.
  • Indistinguishability obfuscation tetap yang paling belum praktis, masih membutuhkan runtime ekstrem meski secara teori sudah sahih.

Co-founder Ethereum Vitalik Buterin mengatakan ia meyakini ada peluang 60% bahwa SNARKs, fully homomorphic encryption, dan indistinguishability obfuscation pada akhirnya bisa berjalan dengan overhead komputasi satu digit jika memperhitungkan konsumsi energi gabungan dan biaya komputasi yang diamortisasi. Ia juga memberi probabilitas 33% bahwa ketiga teknologi yang sama bisa mencapai overhead mendekati nol, secara matematis dinyatakan sebagai pengali sedikit di atas 1, pada skala operasional besar. Estimasi ini mencakup tiga primitif kriptografi berbeda namun saling terkait yang bersama-sama menjadi fondasi visi jangka panjang untuk komputasi privat dan dapat diverifikasi di Ethereum: SNARKs, yang memungkinkan seorang prover membuktikan sebuah komputasi dilakukan dengan benar tanpa mengungkap data yang mendasarinya; fully homomorphic encryption, yang memungkinkan komputasi langsung pada data terenkripsi tanpa pernah mendekripsinya; serta indistinguishability obfuscation, yang menyamarkan sebuah program sedemikian rupa sehingga pengamat hanya bisa melihat outputnya, tidak pernah cara kerja internalnya.

SNARKs Memimpin, Obfuscation Tertinggal Jauh

Dari ketiganya, Buterin melihat SNARKs sebagai yang jauh lebih matang, mencatat bahwa overhead yang bisa dicapai sudah mencapai satu digit dalam skenario khusus seperti verifikasi fungsi hash khusus dan beberapa tugas inferensi model bahasa besar tertentu. Ia memperkirakan SNARKs akan mencapai overhead satu digit secara lebih luas, mencakup komputasi tujuan umum, bukan hanya kasus penggunaan sempit, pada akhir dekade ini. Indistinguishability obfuscation berada di ujung spektrum yang berlawanan. Buterin sebelumnya pernah menyebutnya sebagai final boss kriptografi dalam esai panjang yang dipublikasikan Juni, dengan berargumen bahwa meski konstruksi saat ini secara teori sudah bisa digunakan (polynomially bounded), runtime praktis yang dibutuhkan begitu berbagai primitif kriptografi ditumpuk bersama membuat implementasi saat ini secara efektif tidak bisa digunakan di luar lingkungan riset, karakterisasi yang dilaporkan The Block pada saat itu. Fully homomorphic encryption menempati posisi tengah, lebih praktis diterapkan saat ini dibanding obfuscation namun masih membawa overhead jauh di atas capaian SNARKs pada domain-domain sempit.

Kenapa Timeline Ini Penting bagi Ethereum

Ketiga primitif ini bukan sekadar keingintahuan riset abstrak bagi Ethereum secara khusus; mereka mewakili fondasi teknis untuk fitur-fitur yang sudah lama diinginkan ekosistem namun belum bisa dirilis dengan biaya yang layak, termasuk transaksi privat yang tidak memerlukan perantara tepercaya, state smart contract terenkripsi yang tetap bisa dikomputasi validator yang tidak tepercaya, dan inferensi AI yang dapat diverifikasi di mana output sebuah model bisa dipercaya tanpa mengekspos bobot atau data yang mendasarinya. Estimasi Buterin ini pada dasarnya menempatkan probabilitas, bukan jaminan, kapan fondasi tersebut menjadi praktis, dan ini muncul ketika roadmap riset Ethereum yang lebih luas semakin menekankan baik resistensi kuantum maupun kriptografi tingkat lanjut, tercermin dalam langkah Ethereum Foundation meninggalkan fungsi hash Poseidon demi roadmap tahan kuantum dan dalam roadmap Lean Ethereum yang lebih luas yang diungkap Buterin dengan memprioritaskan keamanan kuantum. Peluang 60% mencapai overhead di bawah 10 kali lipat adalah sinyal yang cukup bullish dari sosok paling sentral bagi arah teknis Ethereum, tetapi ini juga secara implisit mengakui adanya peluang nyata, kurang lebih dua dari lima menurut framing-nya sendiri, bahwa teknologi-teknologi ini tetap terlalu mahal secara praktis untuk masa mendatang.

Taruhan praktisnya melampaui roadmap Ethereum sendiri. Jika SNARKs, FHE, dan iO semuanya mencapai overhead di bawah 10 kali lipat, terobosan yang dihasilkan akan menyentuh DeFi yang menjaga privasi, penggunaan blockchain publik secara rahasia oleh perusahaan, dan sistem AI yang outputnya bisa diverifikasi secara kriptografis tanpa mengekspos model yang bersifat proprietary — aplikasi-aplikasi yang sudah dibangun banyak tim di seluruh ekosistem dengan asumsi kriptografi yang mendasarinya pada akhirnya akan mengejar kebutuhan penggunaan tersebut.

Yang Perlu Diperhatikan

Penanda jangka pendek terdekat adalah apakah overhead SNARKs untuk komputasi tujuan umum, bukan hanya kasus-kasus khusus yang sudah tercapai, terus bergerak menuju satu digit sesuai timeline yang digambarkan Buterin, kurang lebih pada akhir dekade ini. Kemajuan pada benchmark performa fully homomorphic encryption dan demonstrasi kredibel apa pun dari indistinguishability obfuscation yang praktis, bahkan dalam setting yang sempit, juga akan menjadi sinyal konkret bahwa probabilitas 60% dan 33% yang ditetapkan Buterin sedang bergerak menuju realisasi, bukan tetap sebatas teori.

Baca juga: Vitalik Buterin Ungkap Roadmap 'Lean Ethereum', Prioritaskan Keamanan Kuantum

FAQ

Apa sebenarnya yang diprediksi Vitalik Buterin?
Ia memperkirakan peluang 60% bahwa SNARKs, fully homomorphic encryption, dan indistinguishability obfuscation mencapai overhead komputasi di bawah 10 kali lipat, serta peluang 33% ketiganya mencapai overhead mendekati nol pada skala besar.

Teknologi mana dari ketiganya yang paling maju?
SNARKs, yang sudah mencapai overhead satu digit dalam kasus-kasus khusus seperti verifikasi fungsi hash khusus, meski penggunaan tujuan umum belum diperkirakan tercapai hingga mendekati akhir dekade.

Apa itu indistinguishability obfuscation?
Ini adalah teknik kriptografi yang menyamarkan sebuah program sehingga pengamat hanya bisa melihat outputnya, tidak pernah logika internalnya. Buterin menyebutnya sebagai final boss kriptografi karena ketidakpraktisannya saat ini.

Kenapa ini penting khusus bagi Ethereum?
Teknologi-teknologi ini menjadi fondasi fitur yang sudah lama diincar seperti transaksi privat dan komputasi state smart contract terenkripsi, dan estimasi ini muncul berdampingan dengan dorongan Ethereum yang lebih luas menuju kriptografi tahan kuantum.