Vitalik Buterin percaya bahawa harta karun terbesar kriptografi lebih dekat daripada yang disedari kebanyakan orang, dan beliau sedang memberikan nombor-nombor untuknya. Dalam analisis pada 6 September, rakan penemu Ethereum menganggarkan kebarangkalian 60% bahawa tiga primitif kriptografi paling penting—SNARKs, enkripsi sepenuhnya homomorfik, dan pengaburan ketidaktahuan—akan mencapai beban kurang daripada 10x apabila mempertimbangkan penggunaan tenaga gabungan dan kos pengkomputeran yang diamortisasi.
Dia pergi lebih jauh lagi, memberikan kemungkinan 33% bahawa teknologi yang sama akan mencapai overhed hampir sifar (diekspresikan secara matematik sebagai 1+ε) pada skala besar. Terjemahan: terdapat kira-kira satu dalam tiga peluang bahawa menjalankan pengiraan tersulit boleh menjadi hampir seberapa murahnya menjalankan pengiraan tersebut dalam keadaan jelas.
Tiga teknologi, satu ambisi
SNARKs (Hujah Ringkas Tanpa Interaksi Pengetahuan) membolehkan anda membuktikan sesuatu itu benar tanpa mengungkapkan data asalnya. Mereka adalah tulang belakang bukti tanpa pengetahuan, yang menggerakkan segalanya daripada rollup Layer 2 Ethereum hingga transaksi yang melindungi privasi.
FHE (Penyulitan Homomorfik Penuh) membenarkan pengiraan pada data tersulit tanpa pernah membuka sulitannya.
Kemudian ada iO (indistinguishability obfuscation), yang oleh Buterin sendiri dilabel sebagai “bos akhir” kriptografi dalam analisis pada 29 Jun. iO membolehkan anda mengacaukan program komputer sedemikian rupa sehingga tiada siapa pun boleh mengetahui bagaimana ia berfungsi secara dalaman, hanya apa yang ia hasilkan. Pelaksanaan semasa digambarkan sebagai terbatas secara polinomial tetapi secara efektif tidak boleh digunakan disebabkan keperluan masa pelaksanaan yang ekstrem yang timbul daripada pelapisan pelbagai primitif.
SNARKs memimpin pasaran
Dari ketiga teknologi tersebut, Buterin melihat SNARKs sebagai yang paling matang. Beliau mencatat bahawa beban yang boleh dicapai untuk SNARKs sudah mencapai angka tunggal dalam skenario khusus, khususnya untuk fungsi hash khusus dan tugas inferens model bahasa besar tertentu.
Buterin menganggap SNARKs akan mencapai gandaan beban tunggal digit secara lebih luas pada akhir dekad ini.
Tiga jalan menuju bos akhir
Dalam ulasan Jun sebelumnya, Buterin merumuskan tiga laluan penyelidikan berpotensi untuk menjadikan iO praktikal. Yang pertama melibatkan pengoptimuman struktur berdasarkan kisi yang sedia ada. Yang kedua bergantung pada pengambilan andaian kriptografi yang lebih kuat, menukar kehati-hatian teoretikal demi kelajuan praktikal. Yang ketiga memerlukan kaedah baru sepenuhnya, pendekatan bukan-kisi yang boleh mengelakkan halangan semasa sepenuhnya.
Dia menarik perbandingan eksplisit terhadap bagaimana SNARKs berkembang selepas 2010, mencadangkan bahawa iO mungkin mengikuti lengkung yang serupa, walaupun titik permulaannya jauh lebih buruk.
Proyeksi Buterin meluas hingga akhir dekad untuk SNARKs dan kemungkinan lebih lanjut untuk FHE dan iO. Tiada perubahan protokol atau pencapaian pembangunan yang dikaitkan dengan anggarannya, yang tetap berada dalam lingkungan peribadi yang berfokus pada implikasi falsafah berbanding aplikasi komersial.