Ethereum-medoprichter Vitalik Buterin heeft een bijgewerkte versie van zijn roadmap uit 2023 gepubliceerd, waarbij kwantumveiligheid en privacy naar een hogere prioriteit zijn verheven, terwijl verifiable delay functions (VDFs) en diverse eerdere Ethereum Virtual Machine (EVM)-verbeteringen minder prioriteit hebben gekregen.

De herziene roadmap introduceert native rollups, blob- en gas-futures, nieuwe state-types en post-kwantum-schalingsmechanismen. Buterin onderzoekt ook uitvoeringsarchitecturen buiten de EVM, met RISC-V, LeanISA, recursieve STARKs en AI-ondersteunde formele verificatie als prominente aandachtsgebieden. De roadmap fungeert als Buterins persoonlijke technische visie op de evolutie van het Ethereum-protocol in plaats van een bindend ontwikkelingsschema, al signaleert deze regelmatig richtingen die van invloed zijn op client-teams en de bredere onderzoeksgemeenschap.

Herziening van de roadmap en nieuwe prioriteiten

Volgens Buterin zijn diverse onderdelen uit de vorige roadmap herordend. Kwantumveiligheid krijgt nu meer aandacht, terwijl VDFs en een aantal EVM-verbeteringen op de prioriteitenlijst naar beneden zijn verplaatst. Andere technische ontwerpen zijn geëvolueerd via nieuwere benaderingen. De verhoogde prioriteit van kwantumveiligheid weerspiegelt een groeiend besef binnen de cryptografiegemeenschap dat voldoend krachtige kwantumcomputers op termijn de elliptische-kromme-handtekeningen zouden kunnen compromitteren waarmee Ethereum-accounts momenteel worden beveiligd.

Opvallend is dat Verkle-bomen zijn vervangen door unified binary trees en PBT (Post-Quantum Binary Trees), en dat state expiry is vervangen door nieuwe state-types. Privacy is verheven tot een first-class status binnen de bijgewerkte plannen van Ethereum, waarbij Buterin keyed nonces, recent roots, componenten van FOCIL, lean privacy pools en wormholes noemde als relevante functies.

De roadmap omvat ook post-kwantum-scaling via leanSPHINCS-handtekeningen en zkzk-frames. Blob- en gas-futures zijn toegevoegd aan de geplande infrastructuur van Ethereum.

Native rollups zijn opgenomen in de roadmap naar aanleiding van vooruitgang in SNARK-technologie (succinct non-interactive arguments of knowledge). Buterin merkte op dat de technologie in 2023 nog niet voldoende volwassen was voor een dergelijke benadering.

Uitvoering buiten de EVM verkennen

Buterin schetste een bredere visie op de execution layer van Ethereum en suggereerde dat zkzk-frames het protocol zouden kunnen leiden naar het blootleggen van een instructieset buiten de EVM. LeanISA en RISC-V behoren momenteel tot de belangrijkste kandidaten. RISC-V is een open-standaard instructiesetarchitectuur die breed wordt toegepast in academische en industriële hardwareprojecten, en de overweging ervan voor Ethereum toont interesse in een uitvoeringsmodel met breed beschikbare tooling en formeel specificatiewerk.

Hij beschreef beide opties als eenvoudiger, nieuwer en efficiënter dan de EVM. Buterin opperde ook de mogelijkheid om de EVM te herpositioneren als een intermediate representation bovenop een andere instructieset. Hij waarschuwde echter dat diepere exploratie voorlopig te vroeg is voor de huidige strawmap.

Nieuwe state-types vertegenwoordigen volgens Buterin ook een afwijkende schalingsbenadering. Deze ontwerpen benadrukken gespecialiseerde mechanismen in plaats van het maximaliseren van elke categorie Ethereum-activiteit.

STARKs en AI-ondersteunde verificatie

Buterin identificeerde recursieve STARKs en AI-ondersteunde formele verificatie als terugkerende thema's in de bijgewerkte roadmap. Recursieve STARKs verschijnen in meerdere protocol-lagen van Ethereum, en één enkel verificatieprimitief kan mogelijk gelijktijdig de execution-, consensus- en data-lagen bedienen.

Hij benadrukte dat formele verificatie essentieel wordt voor de veilige implementatie van dergelijke gedeelde componenten. Bredere formele-verificatie-inspanningen worden in toenemende mate gekoppeld aan moderne AI-tools, wat leidt tot meer nadruk op wiskundige codeverificatie in de hele roadmap. Deze convergentie weerspiegelt een bredere trend in software engineering, waarbij AI-gedreven tooling wordt ingezet om correctheidseigenschappen te bewijzen in complexe systemen die moeilijk alleen via testen te valideren zijn.

Buterin stelde dat de langetermijndoelstellingen van Ethereum kwantumveiligheid, verbeterde privacy, robuuste beveiliging, censuurbestendigheid en grotere schaalbaarheid omvatten. Hij beschreef ook een doelarchitectuur voor Ethereum die in de loop der tijd lean en efficiënt blijft.