Vitalik Buterin percaya bahwa holy grail kriptografi lebih dekat dari yang disadari kebanyakan orang, dan ia memberikan angka pastinya. Dalam analisis pada 6 September, salah satu pendiri Ethereum memperkirakan probabilitas 60% bahwa tiga primitif kriptografi paling penting—SNARKs, enkripsi sepenuhnya homomorfik, dan obfuskasi ketidakdapatdibedakan—akan mencapai overhead kurang dari 10x saat mempertimbangkan konsumsi energi gabungan dan biaya komputasi yang diamortisasi.
Dia bahkan melangkah lebih jauh, memberikan peluang 33% bahwa teknologi-teknologi yang sama akan mencapai overhead hampir nol (dinyatakan secara matematis sebagai 1+ε) pada skala besar. Artinya, ada sekitar satu dari tiga peluang bahwa menjalankan komputasi terenkripsi bisa menjadi hampir semurah menjalankannya dalam bentuk jelas.
Tiga teknologi, satu ambisi
SNARKs (Succinct Non-interactive Arguments of Knowledge) memungkinkan Anda membuktikan sesuatu itu benar tanpa mengungkapkan data dasarnya. Mereka adalah tulang punggung dari zero-knowledge proof, yang menjadi dasar dari segala hal mulai dari rollup Layer 2 Ethereum hingga transaksi yang menjaga privasi.
FHE (Fully Homomorphic Encryption) memungkinkan komputasi pada data terenkripsi tanpa pernah mendekripsinya.
Kemudian ada iO (indistinguishability obfuscation), yang oleh Buterin sendiri disebut sebagai “bos akhir” kriptografi dalam analisis tanggal 29 Juni. iO memungkinkan Anda mengacak program komputer sedemikian rupa sehingga tidak ada yang bisa memahami cara kerjanya secara internal, hanya output yang dihasilkan. Implementasi saat ini digambarkan sebagai terbatas secara polinomial namun secara efektif tidak dapat digunakan karena kebutuhan waktu eksekusi yang ekstrem yang disebabkan oleh lapisan berbagai primitif.
SNARKs memimpin rombongan
Dari ketiga teknologi tersebut, Buterin melihat SNARKs sebagai yang paling matang. Ia mencatat bahwa overhead yang dapat dicapai untuk SNARKs sudah mencapai angka satuan dalam skenario khusus, khususnya untuk fungsi hash khusus dan tugas inferensi model bahasa besar tertentu.
Buterin memperkirakan SNARKs akan mencapai overhead multiplikator satu digit secara lebih luas pada akhir dekade ini.
Tiga jalan menuju bos akhir
Dalam komentarnya pada Juni sebelumnya, Buterin menguraikan tiga jalur penelitian potensial untuk membuat iO praktis. Yang pertama melibatkan mengoptimalkan konstruksi berbasis kisi yang ada. Yang kedua bergantung pada asumsi kriptografi yang lebih kuat, menukar kehati-hatian teoretis demi kecepatan praktis. Yang ketiga memerlukan metode sama sekali baru, pendekatan non-kisi yang bisa menghindari hambatan saat ini sepenuhnya.
Dia menarik paralel eksplisit terhadap bagaimana SNARKs berkembang pasca-2010, menyarankan bahwa iO mungkin mengikuti lintasan serupa, meskipun titik awalnya jauh lebih buruk.
Proyeksi Buterin mencakup hingga akhir dekade untuk SNARKs, dan kemungkinan lebih jauh lagi untuk FHE dan iO. Tidak ada perubahan protokol atau tonggak pengembangan yang terkait dengan perkiraannya, yang tetap berada dalam lingkup pribadinya dengan fokus pada implikasi filosofis daripada aplikasi komersial.