Naniniwala si Vitalik Buterin na mas malapit na sa totoo ang banal na kaluwasan ng kriptograpiya kaysa sa karamihan ang iniisip, at isinasagawa niya ang pagtukoy ng mga numero. Sa isang pagsusuri noong Setyembre 6, ang co-founder ng Ethereum ay nag-estima ng 60% na posibilidad na tatlo sa pinakamahalagang cryptographic primitives—ang SNARKs, fully homomorphic encryption, at indistinguishability obfuscation—ay makakamit ang sub-10x overhead habang isinasaalang-alang ang kabuuang pagkonsumo ng enerhiya at amortized computing costs.
Lumikha siya ng higit pa, nagbigay ng 33% na posibilidad na makamit ng mga teknolohiyang iyon ang halos sero overhead (ipinahayag nang matematikal bilang 1+ε) sa malalaking iskala. Ang ibig sabihin: may halos isang-sa-tlong pagkakataon na ang pagpapatakbo ng encrypted computations ay maaaring maging halos magkano ang pagpapatakbo nito nang malinaw.
Tatlong teknolohiya, isang pangarap
Ang SNARKs (Succinct Non-interactive Arguments of Knowledge) ay nagpapahintulot sa iyo na patunayan na tama ang isang bagay nang hindi ipinapakita ang nakalalagong data. Sila ang pundasyon ng zero-knowledge proof, na nagpapagana sa lahat mula sa Layer 2 rollups ng Ethereum hanggang sa mga transaksyon na nagpapanatili ng privacy.
Ang FHE (Fully Homomorphic Encryption) ay nagpapahintulot sa pagkalkula sa encrypted data nang hindi pa nasisira ang encryption.
Mayroon din ang iO (indistinguishability obfuscation), na i-label ni Buterin mismo bilang ang “final boss” ng kriptograpiya sa isang pagsusuri noong Hunyo 29. Ang iO ay nagpapahintulot sa iyo na i-scramble ang isang computer program nang ganap na paraan na hindi makakapag-alam sino man kung paano ito gumagana sa loob, kung ano lang ang output nito. Ang mga kasalukuyang implementasyon ay inilalarawan bilang polynomially bounded ngunit epektibong hindi gamit dahil sa napakalaking mga pangangailangan sa runtime na nagmumula sa paglalagay ng iba’t ibang primitives.
Ang SNARKs ay nasa unahan
Sa mga tatlong teknolohiya, itinuturing ni Buterin ang SNARKs bilang pinakamalawak na naging matatag. Binanggit niya na ang maaabot na overhead para sa SNARKs ay nasa iisang digit na antas na sa mga espesyalisadong sitwasyon, lalo na para sa mga dedikadong hash function at tiyak na mga gawain sa inference ng malalaking language model.
Inaasahan ni Buterin na makarating ang SNARKs sa single-digit overhead multiples sa mas malawak na saklaw sa huli ng dekada.
Tatlong daan patungo sa huling boss
Sa kanyang nakaraang komentaryo noong Hunyo, inilahad ni Buterin ang tatlong posibleng landas ng pananaliksik para gawing praktikal ang iO. Ang unang landas ay ang pagpapabuti ng mga umiiral na konstruksyon batay sa lattice. Ang pangalawa ay batay sa paggamit ng mas malakas na kriptograpikong aksiyoma, na nagtatawid ng teoretikal na pag-iingat para sa praktikal na bilis. Ang ikatlo ay nangangailangan ng buong bagong paraan, mga di-lattice na pagkakasunod-sunod na maaaring iwasan ang mga kasalukuyang hadlang.
Lumikha siya ng eksplisitong pagkukumpara sa paano umunlad ang SNARKs pagkatapos ng 2010, na nagmumungkahi na maaaring sundin ng iO ang parehong landas, bagaman ang puntos ng pagkakaroon ay nangangahulugang mas masama.
Ang mga proyeksyon ni Buterin ay umabot hanggang sa dulo ng dekada para sa SNARKs at malamang ay higit pa para sa FHE at iO. Walang mga pagbabago sa protokolo o mga milestone sa pag-unlad na kinalakihan ng kanyang mga estima, na nananatili sa loob ng personal na pananaw na nakatuon sa mga pilosopikal na epekto kaysa sa komersyal na aplikasyon.