Vitalik Buterin Ethereum (2)

Vitalik ziet veel sneller Ethereum voor zich: bloktijd kan naar 4–8 seconden

Ethereum Nieuws23 sep , 16:16
Vier tot acht seconden voor een nieuw block. Daarna mogelijk nog maar enkele tientallen seconden voordat dat block definitief vaststaat.
Vitalik Buterin schetste woensdag in Shanghai een veel sneller toekomstbeeld voor Ethereum. Tegelijk verwacht hij dat STARK-bewijzen de komende twee jaar op steeds meer plekken diep in het protocol terechtkomen.
Buterin sprak via video tijdens de twaalfde Global Blockchain Summit in Shanghai. Zijn grotere boodschap: Ethereum moet niet sneller worden doordat iedere node simpelweg steeds meer werk doet, maar doordat zware berekeningen vaker compact cryptografisch kunnen worden bewezen.

Van 12 seconden naar mogelijk 4 tot 8

Ethereum werkt momenteel met slots van twaalf seconden. Iedere slot is een mogelijkheid om een nieuw block toe te voegen.
Buterin ziet op langere termijn ruimte om dat terug te brengen naar ongeveer 4 tot 8 seconden.
Nog groter is het verschil bij finaliteit.
Dat is het moment waarop een block volgens het consensusmechanisme definitief is en niet normaal kan worden teruggedraaid. Ethereum.org spreekt momenteel van ongeveer vijftien minuten.
Buterin schetste in Shanghai een toekomst waarin dat mogelijk nog maar 8 tot 32 seconden duurt.
Dat zijn geen toegezegde releasedata.
Ethereum onderzoekt al langer kortere slots en snellere finaliteit, maar zulke veranderingen raken netwerkvertraging, validators en veiligheid tegelijk. Een bestaand draftvoorstel, EIP-7782, onderzoekt bijvoorbeeld zes seconden per slot.

Waarom enkele seconden zoveel uitmaken

Een kortere bloktijd betekent dat een transactie sneller in een block kan verschijnen.
Snellere finaliteit gaat verder. Een exchange, betaalapp of DeFi-toepassing krijgt dan veel eerder sterke zekerheid dat een transactie definitief is.
Voor gebruikers kan het verschil tussen vijftien minuten en enkele tientallen seconden enorm zijn.
Maar Ethereum kan die tijd niet zonder meer omlaag draaien.
Validators moeten blocks ontvangen, controleren en stemmen. Hoe korter ieder tijdvenster wordt, hoe groter het risico dat tragere deelnemers achterop raken.
Daarom hangt de snelheidswinst samen met andere veranderingen in het protocol.

STARKs moeten veel dieper Ethereum in

Buterin ziet vooral zero-knowledge proofs als een van de grote veranderingen van de afgelopen tien jaar.
Het principe is relatief eenvoudig.
Een partij voert een zware berekening uit en levert vervolgens een cryptografisch bewijs dat het resultaat klopt. Andere partijen kunnen dat bewijs controleren zonder dezelfde volledige berekening opnieuw te hoeven uitvoeren.
STARKs zijn een specifieke familie van zulke bewijzen.
Ze gebruiken geen elliptische-curveconstructies zoals verschillende andere proofsystemen. Daardoor worden ze ook gezien als interessant voor een toekomst waarin krachtige quantumcomputers een groter risico vormen.
Ethereum noemt STARKs al als quantumresistente route voor delen van zijn toekomstige cryptografie.

‘Overal STARKs’ is nog geen harde deadline

Buterin ging in Shanghai verder.
Hij verwacht dat protocolupgrades in de komende twee jaar STARKs op steeds meer plaatsen gaan gebruiken. In zijn presentatie sprak hij over een situatie waarin deze bewijzen uiteindelijk vrijwel overal in de technische routekaart terugkomen.
Dat moet niet worden gelezen als een garantie dat Ethereum over exact twee jaar volledig op één STARK-systeem draait.
Verschillende onderdelen bevinden zich nog in ontwikkeling.
Een concreet voorbeeld is EIP-8288, dat Buterin zelf mede heeft geschreven.
Dat voorstel wil handtekeningen en cryptografische bewijzen buiten het block samenvoegen en daarna met één recursief STARK-bewijs aantonen dat ze geldig zijn.

Eén bewijs kan veel zwaar werk vervangen

Daar zit een belangrijk deel van de mogelijke winst.
EIP-8288 beschrijft bijvoorbeeld quantumveilige handtekeningen en STARK-bewijzen die afzonderlijk veel data en rekentijd kunnen kosten.
In plaats van al die objecten rechtstreeks in een block te stoppen, kunnen ze worden samengevoegd.
Het block bevat vervolgens één bewijs dat laat zien dat alle onderliggende onderdelen correct zijn.
Dat verandert de manier waarop een blockchain kan opschalen.
Niet iedere node hoeft dan noodzakelijk ieder zwaar cryptografisch onderdeel op dezelfde traditionele manier te verwerken.
Veel werk kan eerder in de keten plaatsvinden, waarna het netwerk vooral het bewijs controleert.

FOCIL verdeelt macht rond transactieselectie

Buterin koppelde die ontwikkeling ook aan FOCIL.
Dat staat voor Fork-choice enforced Inclusion Lists en is vastgelegd in EIP-7805.
Per slot worden zestien validators geselecteerd. Zij stellen ieder een lijst op met transacties uit de publieke mempool die voor opname in aanmerking komen.
De uiteindelijke builder maakt nog altijd het block.
Maar die builder kan geldige transacties uit de ontvangen inclusion lists niet onbeperkt negeren zonder gevolgen voor de acceptatie van het block.
Het doel is vooral censuurbestendigheid.
Een kleine groep gespecialiseerde builders krijgt zo minder vrijheid om zelf te bepalen welke transacties wel of niet snel worden opgenomen.

FOCIL staat gepland voor Hegotá

FOCIL is ook geen losse presentatiegedachte meer.
Het protocolteam van de Ethereum Foundation noemt het de consensus-headliner voor Hegotá, de upgrade die na Glamsterdam volgt. De officiële Ethereum-routekaart plaatst Hegotá momenteel in 2027.
Het EIP zelf staat nog als draft geregistreerd.
Details kunnen dus nog veranderen voordat de code daadwerkelijk op mainnet draait.
Dat onderscheid is belangrijk: de richting is duidelijker geworden, maar de uiteindelijke technische uitvoering ligt nog niet volledig vast.

Ethereum wil af van ‘iedereen rekent alles opnieuw uit’

Onder al deze voorstellen ligt één grotere gedachte.
Vroege blockchains haalden hun zekerheid voor een belangrijk deel uit herhaling. Veel deelnemers verwerken dezelfde gegevens opnieuw om onafhankelijk vast te stellen dat dezelfde uitkomst klopt.
Dat model is sterk, maar duur wanneer de hoeveelheid werk sterk groeit.
Zero-knowledge proofs maken een ander model mogelijk.
Een berekening kan elders plaatsvinden. Het netwerk ontvangt daarna bewijs dat die berekening aan vooraf bepaalde regels voldeed.
De verschuiving is van alles opnieuw uitvoeren naar steeds meer resultaten cryptografisch bewijzen.
Daarmee kan Ethereum meer werk buiten het directe consensuspad plaatsen zonder simpelweg één centrale partij op haar woord te vertrouwen.

AI moet helpen bewijzen dat complexe code klopt

Buterin gaf kunstmatige intelligentie daarbij een opvallende rol.
Niet als vervanging voor cryptografie, maar als hulpmiddel bij formele verificatie.
Bij formele verificatie wordt wiskundig gecontroleerd of software daadwerkelijk voldoet aan een precieze specificatie.
Dat is belangrijk wanneer cryptografische systemen steeds ingewikkelder worden.
Menselijke ontwikkelaars kunnen grote codebases moeilijk volledig handmatig controleren. AI kan volgens Buterin helpen bij het maken en vergelijken van specificaties, het zoeken naar fouten en het ondersteunen van bewijswerk.
Dat betekent niet dat een AI-model simpelweg kan verklaren dat code veilig is.
Het uiteindelijke bewijs moet controleerbaar blijven.

Ook quantumveiligheid schuift dichterbij

STARKs passen daarnaast in de bredere voorbereiding op quantumcomputers.
Delen van de huidige Ethereum-cryptografie gebruiken technieken die op lange termijn kwetsbaar kunnen worden voor voldoende krachtige quantumcomputers.
De Ethereum-roadmap kijkt daarom naar hash-gebaseerde handtekeningen en STARK-systemen die niet dezelfde kwetsbaarheid hebben.
Ook staking raakt die discussie, omdat validators vandaag BLS-handtekeningen gebruiken.
Ethereum probeert zulke wijzigingen jaren voordat er een acute quantumdreiging bestaat technisch klaar te krijgen.

Sneller Ethereum is nog geen afgerond plan

De cijfers van Buterin springen eruit.
Vier tot acht seconden per block.
Acht tot 32 seconden tot finaliteit.
STARKs steeds dieper in het protocol.
Maar deze drie ontwikkelingen vormen niet één upgrade die al klaarstaat.
Kortere slots, nieuwe consensusmechanismen, FOCIL, bewijsaggregatie en quantumveilige cryptografie bewegen via verschillende onderzoeks- en EIP-trajecten richting het netwerk.
Daarmee is Buterins presentatie vooral een beeld van waar die trajecten samen naartoe kunnen leiden.
Niet een Ethereum dat sneller wordt omdat validators simpelweg harder moeten rekenen, maar een netwerk dat steeds meer werk verdeelt en daarna cryptografisch laat bewijzen dat het correct is.
Als dat lukt, wordt de grootste verandering mogelijk niet eens de daling van twaalf naar vier seconden.
Het is dat Ethereum probeert snelheid te winnen zonder daarvoor zijn controlemechanisme bij één partij neer te leggen.

Stop met te veel betalen voor je crypto. Bij de Amsterdamse exchange Finst handel je tegen de laagste tarieven van Nederland, zonder verborgen kosten.

👀 Bekijk Finst nu

Let op: Beleggen in crypto brengt risico’s met zich mee. Handel alleen met geld dat u kunt missen.

Ga verder met lezen
loading
Dit vind je misschien ook leuk
Laat mensen jouw mening weten

Loading