Ethereum medeoprichter Vitalik Buterin zegt dat de race om zero-knowledge proofs snel genoeg te maken voor Ethereum voorbij is, en dat veiligheid nu de hoogste prioriteit moet krijgen. Zijn opmerking kwam na ZKsync’s claim van real-time bewijzen op één grafische kaart.
In 7.200 opeenvolgende mainnet blocks leverde ZKsync’s nieuwe Airbender Prime prover 99% van de proofs in minder dan 10 seconden. Deze cijfers komen echter uit ZKsync’s eigen beoordeling.
Waarom is sneller bewijzen belangrijk voor Ethereum
Ethereum validators voeren nu elke transactie opnieuw uit om een block te controleren. Zero-knowledge proofs (ZK proofs) laten zien dat een berekening correct is uitgevoerd, zonder alles opnieuw te moeten doen. Zo kunnen validators volstaan met het nakijken van een kort bewijs.
Zo’n verandering kan het werk dat validators per block doen flink verminderen. Ethereum voegt elke 12 seconden een block toe en volgens ZKsync duurde het in hun test nooit zo lang om een block te bewijzen.
ZKsync zegt dat ETHproofs, een openbare prover ranglijst, Airbender Prime op de eerste plaats zet qua gemiddelde bewijstijd. Ze zeggen ook dat lagere hardware-eisen het bewijzen mogelijk maken voor meer instituties en zelfstandige operators.
“Op dit moment vind ik dat de strijd om snelheid nu echt gewonnen is, en de hoogste prioriteit voor zkEVM’s moet nu volledig naar veiligheid verschuiven.”
Vitalik Buterin, medeoprichter van Ethereum, op X
Naast snelheid noemt Buterin drie eisen voor zkEVM’s, de systemen die bewijzen dat Ethereum goed draait. Ze moeten exact overeenkomen met de Ethereum-specificatie, de bewijskosten in lijn houden met de block-gaslimiet, en gebaseerd zijn op een goed onderbouwd bewijssysteem.
Hij wil dat elk onderdeel formeel geverifieerd wordt – dus wiskundig bewijs in plaats van alleen testen.
Beïnvloedt een snellere prover de Ethereum koers
Niet direct. Airbender Prime is een ZKsync-tool en geen wijziging van het Ethereum-protocol. Het heeft dus geen invloed op de voorraad, kosten of staking-beloningen van Ethereum (ETH).
Een koerseffect zou eerder kunnen ontstaan door het sentiment rondom de roadmap, samen met macro-economische omstandigheden en geldstromen.
Toch draait de grotere inzet om geloofwaardigheid. ZKsync biedt de technologie aan banken. Zij stellen dat zelfs als een server gehackt wordt, een regel-overtredende boekhoudupdate niet wordt geaccepteerd.
Een snelle prover met een fout erin zou dat ondermijnen. Formele verificatie en audits bepalen straks welke zkEVM’s Ethereum echt kan vertrouwen.
