Ethereum-medoprichter Vitalik Buterin heeft concrete cijfers gekoppeld aan een langlopende vraag in de cryptografie: hoe dicht geavanceerde privacy- en verificatietechnieën bij gewone rekenkosten staan. In een post van 6 september gaf Buterin een waarschijnlijkheid van 60% dat SNARK's, volledig homomorfe encryptie (FHE) en ononderscheidbaarheidsobfuscatie (iO) uiteindelijk onder een computationele overhead van 10x zullen werken, gemeten via totaal energieverbruik en geamortiseerde rekenkosten. Hij gaf alle drie bovendien 33% kans om voor gemiddelde praktische berekeningen in de buurt van 1+ε overhead te komen.

Ethereum-medoprichter Vitalik Buterin zei dat hij gelooft dat er een kans van 60% is dat SNARK's, volledig homomorfe encryptie en ononderscheidbaarheidsobfuscatie uiteindelijk kunnen worden geïmplementeerd met één cijfer… pic.twitter.com/kdtCcHwajq — Wu Blockchain (@WuBlockchain) September 6, 2026

Dat onderscheid is belangrijk, want de tijdlijn is smaller dan de kopkans suggereert. Buterin zei niet dat alle drie de technologieën vóór 2030 de drempel van onder 10x zouden overschrijden. In plaats daarvan zei hij dat er minstens één tegen het einde van het decennium een overhead van één cijfer kon bereiken, met SNARK's als meest waarschijnlijke kandidaat. Deze framing bouwt voort op een langstandig probleem in de toegepaste cryptografie: alle drie de technieken zijn al jaren theoretisch toepasbaar — FHE werd in 2009 voor het eerst geconstrueerd door Craig Gentry — maar hun computationele kosten hebben ze grotendeels beperkt tot onderzoeksomgevingen in plaats van productiesystemen.

SNARK's leiden de push naar rekenkosten onder 10x

SNARK's stellen een systeem in staat te bewijzen dat een berekening correct is uitgevoerd, zonder dat elke verifier het hele proces hoeft te herhalen. Daardoor zijn ze centraal komen te staan in Ethereum's zero-knowledge-schalingsmodel. Zero-knowledge rollups passen deze aanpak al toe: ze verwerken transactiebatches buiten Ethereum's basilaag en dienen vervolgens geldigheidsbewijzen in bij Mainnet, waardoor het netwerk die transacties kan verifiëren met behoud van Ethereum's beveiligingsgaranties.

Bewijsgeneratie blijft echter een grote beperking. Complexe bewijzen vergen nog steeds aanzienlijke rekenkracht en sommige workloads zijn afhankelijk van gespecialiseerde hardware. Toch zei Buterin dat de efficiëntiekloof begint te sluiten. In augustus wees hij op onderzoek waaruit bleek dat bepaalde inferentie-workloads voor grote taalmodellen een bewijsoverhead van minder dan 10x naderden. Hij noemde ook gespecialiseerde hashfuncties, waar al een overhead van één cijfer is behaald.

Naarmate bewijskosten dalen, kan die verbarding directe gevolgen hebben voor Ethereum's toekomstige architectuur. De zkEVM-roadmap van het netwerk voorziet dat validators bewijzen van volledige blokken verifiëren in plaats van elke transactie onafhankelijk opnieuw uit te voeren. Voldoende efficiënte bewijsgeneratie zou Ethereum daarom in staat stellen gaslimieten te verhogen zonder proportionele toename van validatorhardware, waardoor goedkopere SNARK's relevant worden voor zowel schaalbaarheid als validatorefficiëntie. Deze trend is ook zichtbaar in het bredere zero-knowledge-ecosysteem, waar bewijssystemen opeenvolgende optimalisatie-inspanningen hebben ondergaan om prover-tijd en hardwareafhankelijkheid te verminderen.

FHE en iO staan voor hogere barrières

Terwijl SNARK's zich richten op het verifiëren van berekeningen, betreft FHE een andere uitdaging: privacy. Het maakt berekeningen mogelijk op versleutelde gegevens zonder de onderliggende informatie eerst te onthullen. NIST beschrijft FHE als een privacy-versterkende technologie die willekeurige functies op versleutelde gegevens kan toepassen zonder toegang tot de geheime ontsleutelingssleutel. Voor blockchains zou die mogelijkheid privé-automated market makers, vertrouwelijke kredietmarkten en verzegelde biedingen kunnen ondersteunen — toepassingen die direct worden genoemd in Ethereum's privacy-roadmap. FHE brengt echter nog steeds aanzienlijk hogere computationele kosten met zich mee dan gewone verwerking van platte tekst, waardoor het bereiken van een overhead onder 10x een grote stap richting breder praktisch gebruik zou betekenen.

Ononderscheidbaarheidsobfuscatie vormt een nog zwaardere uitdaging. De technologie wil software transformeren met behoud van functionaliteit, zodat equivalente geobfusceerde programma's computationeel ononderscheidbaar zijn. Recent onderzoek heeft iO's theoretische fundamenten versterkt, maar de praktische kosten blijven extreem hoog; Buterin heeft traditionele constructies omschreven als feitelijk "galactisch" in computationele kosten. Om die kosten te verlagen, heeft zijn recente werk benaderingen onderzocht zoals diamond iO en local mixing. Diamond iO verlaagt de theoretische last maar blijft onpraktisch, terwijl local mixing een andere route volgt waarvan de veiligheid nog niet is bewezen.

Elke technologie richt zich desondanks op een eigen deel van het bredere cryptografische probleem. Goedkopere SNARK's kunnen verifieerbare berekeningen tot routine maken, FHE kan privé-berekeningen over gedeelde gegevens uitbreiden en efficiënt iO kan de interne logica van uitvoerbare software helpen beschermen. Vooralsnog blijft Buterins schatting van 60% een persoonlijke waarschijnlijkheidsbeoordeling en geen toezegging in Ethereum's roadmap.

Bron: Blockonomi