Ontwikkelaars die prioriteit geven aan beveiliging kunnen verwachten dat bugvrij coderen haalbaar wordt in de jaren 2030, volgens Ethereum medeoprichter Vitalik Buterin.
Na de controversiële hard fork van Gnosis Chain om $9,4 miljoen terug te vorderen van de Balancer hack, zei Ethereum medeoprichter Vitalik Buterin dat de overtuiging dat "bugs onvermijdelijk zijn, je kunt geen bugvrije code maken" niet langer waar zal zijn in de jaren 2030.
Wat zei Vitalik Buterin over coderen?
Vitalik Buterin heeft via een interactie op het sociale mediaplatform X voorspeld dat bugvrije code werkelijkheid wordt in de jaren 2030.
De discussie begon toen Gnosis Chain aankondigde dat het op 22 december een hard fork uitvoerde, zoals gerapporteerd door Cryptopolitan. De hard fork herstelde $9,4 miljoen die gestolen was tijdens de Balancer exploit in november 2024, waarbij meer dan $128 miljoen werd weggesluisd over meerdere blockchains. Het herstel vereiste dat de meeste validators nieuwe software adopteerden, en degenen die niet updaten worden gestraft.
Dit stuitte natuurlijk op enige weerstand van blockchain-aanhangers die de stap bekritiseerden omdat het ingaat tegen het principe van onveranderlijkheid. Een X-gebruiker met de bijnaam 'colluding node' zei dat het echte probleem is hoe blockchain-applicaties worden gebouwd. Ze betoogden dat het gebruik van smart contracts in programmeerbare virtuele machines de verkeerde aanpak is.
"Er zijn maar 7 contracten die het schrijven waard zijn, en die zouden gewoon verankerd moeten worden in de basislaag en beveiliging moeten krijgen van clientdiversiteit," schreef de gebruiker.
Buterin reageerde vervolgens door te verduidelijken dat formeel geverifieerd niet gelijk is aan aantoonbaar bugvrij. Hij ging verder door te suggereren dat aantoonbaar bugvrije code misschien niet eens mogelijk is.
"Ik zou zelfs zo ver gaan te zeggen dat 'aantoonbaar bugvrij' niet mogelijk is, omdat 'bugvrij' betekent 'geen kloof tussen intentie en code-uitvoering', en onze intentie is een uiterst complex object waar we slechts beperkt toegang toe hebben."
Formele verificatie gebruikt wiskundige methoden om te controleren of veiligheidskritieke systemen correct functioneren. De techniek wordt sinds de jaren zestig gebruikt in gebieden zoals lucht- en ruimtevaarttechniek.
Wanneer gebruikt in smart contracts, kan formele verificatie bewijzen dat de bedrijfslogica van een contract voldoet aan een vooraf gedefinieerde specificatie; ondanks het feit dat Balancer-contracten 11 keer geaudit waren door vier afzonderlijke beveiligingsbedrijven, glipte er toch een kritieke fout doorheen.
Is een bugvrije code-toekomst mogelijk?
Buterin stelde voor dat de oplossing meerdere lagen van redundantie zijn om kloven tussen intentie en uitvoering eruit te filteren. Hij wees op typesystemen als een vorm van redundantie, en het formeel verifiëren van specifieke beweringen over code als een andere laag.
Formele verificatie kan problemen detecteren zoals integer underflows en overflow, re-entrancy en slechte gasoptimalisaties die langs auditors en testers kunnen glippen. Traditionele testen kunnen daarentegen alleen controleren op de aanwezigheid van fouten in plaats van hun afwezigheid.
Buterin merkte op dat sommige software bugs zal blijven hebben omdat functionaliteitswinsten in bepaalde gevallen belangrijker zijn dan perfectie. Maar ontwikkelaars die prioriteit geven aan beveiliging zullen de tools hebben om werkelijk bugvrije code te bereiken.
Verscherp je strategie met mentorschap + dagelijkse ideeën – 30 dagen gratis toegang tot ons handelsprogramma
Bron: https://www.cryptopolitan.com/vitalik-predicts-bug-free-smart-contracts/
