Ethereum-medoprichter Vitalik Buterin geeft drie geavanceerde cryptografische technologieën — SNARKs, fully homomorphic encryption (FHE) en indistinguishability obfuscation (iO) — een kans van 60% dat ze uiteindelijk een computationele overhead van minder dan 10x bereiken. Buterin zei dat SNARKs vermoedelijk de eerste van deze technologieën zijn die die drempel bereikt, waarbij deze mijlpaal mogelijk tegen het einde van het decennium valt. De uitspraken werden gerapporteerd door Cointelegraph in een bericht op X.

De schatting wijst op een langetermijndoel voor efficiëntie van cryptografische technieken die al worden gebruikt, of worden onderzocht, voor toepassingen op het gebied van privacy, verificatie en berekening. SNARKs zijn al in productie ingezet in blockchainsystemen, terwijl FHE en iO grotendeels nog in de onderzoeksfase verkeren — relevante context voor waarom Buterin verwacht dat SNARKs als eerste de drempel overschrijden.

SNARKs zouden de drempel als eerste kunnen halen

Van de drie technologieën verwacht Buterin dat SNARKs als eerste een overhead van minder dan 10x bereiken, hoewel hij geen specifiek jaar noemde voor die ontwikkeling.

SNARKs, of succinct non-interactive arguments of knowledge, stellen één partij in staat te bewijzen dat een berekening correct is uitgevoerd, zonder dat een andere partij de volledige berekening onafhankelijk hoeft over te doen. De technologie is een belangrijk onderdeel geworden van zero-knowledgesystemen in de blockchainindustrie, waaronder zk-rollups die transacties off-chain bundelen en geverifieerde resultaten naar Ethereum sturen.

Het belang van de efficiëntiedrempel ligt in de computationele kosten die met cryptografische bewijzen gepaard gaan. Lagere overhead kan geavanceerde verificatietechnieken praktischer maken voor toepassingen waar rekenkracht en verwerkingstijd beperkende factoren zijn. Vandaag de dag is het genereren van bewijzen doorgaans veel duurder dan het direct uitvoeren van de onderliggende berekening, een van de redenen waarom deze technieken nog niet overal worden toegepast waar dat zou kunnen.

FHE en iO blijven onderdeel van de langetermijnverwachting

Buterin nam ook fully homomorphic encryption en indistinguishability obfuscation op in zijn beoordeling.

FHE maakt het mogelijk berekeningen op versleutelde data uit te voeren zonder deze eerst te ontsleutelen. Daardoor is het een belangrijk onderzoeksgebied voor toepassingen die berekening vereisen terwijl de onderliggende informatie vertrouwelijk blijft, zoals privacyvriendelijke dataverwerking. FHE werd eind jaren 2000 voor het eerst voorgesteld, en het terugdringen van de overhead is sindsdien een centrale uitdaging in het vakgebied.

Indistinguishability obfuscation is een geavanceerdere cryptografische techniek die het moeilijk moet maken om te achterhalen hoe een geobfusceerd programma werkt, terwijl de functionaliteit behouden blijft. De techniek is onderzocht als mogelijke basis voor een reeks privacy- en cryptografische toepassingen, hoewel praktische constructies over het algemeen als veel verder weg worden beschouwd dan bij SNARKs of FHE.

Buterins schatting van 60% betreft de mogelijkheid dat alle drie de technologieën uiteindelijk de drempel van minder dan 10x overhead bereiken. Zijn uitspraak stelt niet dat de mijlpaal daadwerkelijk wordt behaald, en geeft evenmin een gegarandeerde planning voor FHE of iO.

Doelstelling voor het einde van het decennium

De enige concrete timing in de uitspraak betreft de eerste technologie die naar verwachting de drempel haalt. Buterin zei dat dit vermoedelijk SNARKs zijn en dat dit tegen het einde van het decennium zou kunnen gebeuren.

De schatting plaatst efficiëntie, en niet de introductie van de onderliggende cryptografische technieken, centraal in de voorspelling. SNARKs, FHE en iO zijn al gevestigde onderzoeksgebieden binnen de cryptografie, maar het aanzienlijk verlagen van de computationele overhead blijft een belangrijke technische uitdaging. Vooruitgang in bewijssystemen in de afgelopen jaren, waaronder de ontwikkeling van nieuwere SNARK-constructies, heeft de overhead geleidelijk verlaagd — de trend waarop Buterins schatting doelt.

Voorlopig formuleert Buterins beoordeling een waarschijnlijkheid in plaats van een bevestigde ontwikkeling. De belangrijkste mijlpaal in zijn uitspraak is de vraag of SNARKs tegen het einde van het decennium een overhead van minder dan 10x kunnen bereiken.