Verity ontdekt drie documentatiefouten in Ethereum EIP-8282
Verity heeft formele verificatie gedaan van Ethereum’s EIP-8282 voor builder staking deposit- en exit-contracten en vond drie mismatches tussen de documentatie en de code.
Meer nieuws over ETH
Wat er gebeurde
Verity voltooide een formele verificatie van de EIP-8282 builder staking deposit- en exit-contracten van de Ethereum Foundation. Tijdens die controle ontdekte het team drie mismatches tussen wat in de EIP staat en wat de code daadwerkelijk doet.
De review gebruikte AI-ondersteunde Lean-proofs om EVM-bytecode te verifiëren. De kernelementen van Lean controleerden de uitkomsten van die proofs. De verificatie behandelde verzoekindiening, wachtrijverwerking en de logica voor kosten en controle.
EIP-8282 is een companion proposal bij EIP-7732, dat het ePBS-mechanisme van Ethereum beschrijft. De formele verificatie keek niet naar consensus-layer scheduling of BLS-checks.
Na het vinden van de mismatches is de EIP aangepast. Het nieuws is gerapporteerd door Simon Yoon voor TokenPost.
Waarom dit telt
Voor beleggers betekent dit dat de specificatie van EIP-8282 is gecontroleerd en aangepast na technische ontdekkingen, wat invloed kan hebben op de betrouwbaarheid van de implementatie binnen het Ethereum-ecosysteem.
Waar je op kunt letten
- Status van de aangepaste EIP-8282 en eventuele vervolgverificaties
- Eventuele updates over audits of aanvullende checks voor consensus-layer scheduling en BLS
- Ontwikkelingen rond adoptie en implementatie binnen het Ethereum-netwerk (ETH)