Een nieuw kader richt zich op verborgen risico’s in DeFi

Decentralized Finance, of DeFi, is een open financieel systeem dat is gebouwd op openbare blockchains en zelfuitvoerende code gebruikt in plaats van traditionele financiële instellingen zoals banken en makelaars. Dit kan leiden tot grote verbeteringen in efficiëntie en onafhankelijkheid van het traditionele financiële systeem, maar brengt ook nieuwe risico’s met zich mee.

Het eerste type risico is gekoppeld aan de zogenaamde “smart contracts” die de ruggengraat van DeFi vormen. Als ze slecht geschreven of ronduit kwaadaardig zijn, kan een enkel slecht smart contract financiële verliezen veroorzaken. En omdat er weinig tot geen instellingen of toezichthouders zijn die DeFi‑gebruikers beschermen, kan het moeilijk zijn om verloren of gestolen fondsen terug te krijgen.

Gelukkig zijn er, naarmate DeFi volwassen werd, standaarden voor veilige smart‑contractontwerpen ontstaan die de veiligheid ten opzichte van dergelijke risico’s sterk hebben verbeterd.

Naarmate DeFi echter complexer wordt, worden verschillende smart contracts gebruikt om uiteenlopende DeFi‑protocollen op te bouwen. Dit creëert een nieuw type risico, waarbij de interactie tussen nieuw uitgerolde contracts en de bestaande blockchain wordt benut om economische verliezen te veroorzaken.

Een nieuw artikel van Italiaanse onderzoekers van de University of Cagliari en de University of Trento stelt een nieuw kader voor om dergelijke risico’s aan te pakken. Hun artikel, geaccepteerd voor publicatie in het Journal of Logical and Algebraic Methods in Programming, draagt de titel “Een formeel kader voor de economische veiligheid van DeFi‑composities”.

DeFi & Maximal Extractable Value (MEV)

MEV uitgelegd

Om de situatie rond smart contracts en DeFi te begrijpen, moeten investeerders het concept Maximal Extractable Value (MEV) doorgronden.

MEV is de maximale waarde die een tegenstander kan extraheren door strategisch te interageren met een blockchain‑systeem. Het wordt vaak geassocieerd met validators, miners en sequencers die transacties herschikken of selecteren, maar het kan ook ontstaan wanneer gewone gebruikers de logica van smart contracts, protocol‑afhankelijkheden, prijsverschillen of tijdelijke toegang tot kapitaal exploiteren.

“Hoewel MEV dynamieken introduceert die gebruikers kunnen benadelen en prikkels kunnen vervormen, is het tevens een transparant en waarneembaar fenomeen dat inherent is aan de infrastructuur van openbare blockchains.”

Pranav Garimidi en Joseph Bonneau

MEV veranderen met nieuwe contracts

MEV is de bron van de nieuwe risicovector die voortkomt uit de integratie van nieuwe smart contracts met bestaande contracts.

“Tegenstanders kunnen onbedoelde interacties tussen protocollen exploiteren om een economisch gewin te behalen ten koste van eerlijke gebruikers.

Dit is een groeiend probleem, nu DeFi uitbreidt en nieuwe oplossingen nieuwe risico’s creëren.

“Deze risico’s worden nog verder verergerd door opkomende platforms die gebruikers in staat stellen om moeiteloos willekeurige composities van DeFi‑protocollen te creëren.”

Dit roept een fundamentele vraag op voor DeFi die een solide antwoord vereist: onder welke voorwaarden is een DeFi‑compositie veilig?

Om deze reden stellen de onderzoekers die deze studie schreven een nieuw concept voor DeFi‑composability voor, genaamd “MEV non-interference”, dat vereist dat interacties met de bestaande blockchain‑status de Maximal Extractable Value (MEV) die kan worden verkregen uit een reeks nieuw uitgerolde contracts niet verhogen.

Vervolgens pasten ze dit kader toe op representatieve DeFi‑composities (exchanges, geautomatiseerde market makers, opties, leen‑pools, routers en arbitrage‑contracts) en toonden aan dat het veilige composities onderscheidt van kwetsbare.

Van blockchain‑ naar contract‑niveau analyse

Om MEV non-interference te bepalen, is het niet voldoende om alleen naar MEV op blockchain‑niveau te kijken. In plaats daarvan is controle op non-interference‑principes met bestaande contracts noodzakelijk.

Daarom introduceerden de onderzoekers het concept van local MEV. Dit is een nieuwe maatstaf voor economische aanvallen die het maximale verlies kwantificeert dat tegenstanders kunnen toebrengen aan een bepaalde set slachtoffer‑contracts.

“In tegenstelling tot klassieke MEV, die wordt gedefinieerd voor een volledige blockchain‑status, richt local MEV zich op de contracts waarvan de veiligheid wordt geanalyseerd. Deze verschuiving van een globaal naar een lokaal perspectief is de sleutelcomponent van onze aanpak.”

Dit kader hielp hen bij het analyseren van representatieve DeFi‑composities, aangezien ze een verzameling representatieve DeFi‑composities gebruikten, waaronder exchanges, AMM’s, binaire opties, leen‑pools, swap‑routers en arbitrage‑protocollen.

Op weg naar het auditen van economische interacties

De auteurs van de studie geven vele gedetailleerde voorbeelden van hoe dit analyse‑kader kan worden gebruikt om kwetsbaarheden en risico’s van nieuwe contracts te detecteren, zoals manipulatie van orakels, flash‑loan attacks, of eerder verborgen afhankelijkheden.

Dit omvatte een sterker adversair model (welgestelde tegenstanders), waarbij wordt aangenomen dat de tegenstander altijd voldoende tokens bezit om het maximale mogelijke verlies op de slachtoffer‑contracts toe te brengen.

Over het geheel genomen biedt het ontwikkelaars een praktischere basis voor het testen of nieuwe integraties het gebruikerskapitaal blootstellen aan indirecte aanvallen die gebruikmaken van het effect op bestaande slimme contracten.

Het moet echter worden opgemerkt dat dit raamwerk geen productieklare beveiligingsoplossing is, maar slechts een formele basis. Het sluit ook mempool‑activiteit, gaskosten, token‑bevriezingsaanvallen, dynamische prijsstelling en sommige Ethereum uit. (ETH ) gedragingen zoals re‑entrantie en cyclische afhankelijkheden.

Dus, zoals vaak in DeFi, komt het verbeteren van de beveiliging niet alleen voort uit perfecte algoritmen en wiskundig veilige compositie, maar ook uit aanpassing aan de implementatie van Ethereum in de echte wereld.

Investeren in gedecentraliseerde financiën

Chainlink

Chainlink (LINK ) is een gedecentraliseerd netwerk dat blockchain‑smart contracts verbindt met real‑world data, externe API’s en traditionele betaalsystemen. Chainlink wordt breed geadopteerd door grote marktinfrastructuren, financiële instellingen en DeFi‑protocollen om geavanceerde use‑cases mogelijk te maken, waaronder Swift, Euroclear, MasterCard, Fidelity International, UBS, ANZ, Aave, GMX, Lido en nog veel meer.

Bron: Chainlink

Chainlink lost een fundamenteel probleem van blockchain‑DeFi‑protocollen op: blockchains zijn geïsoleerde omgevingen; standaard kunnen ze geen externe informatie benaderen.

Dit maakt ze kwetsbaar voor “prijs-oracle-manipulatie”, waarbij slimme contracten worden uitgevoerd op basis van valse gegevens, bijvoorbeeld de verkeerde prijs voor een effect. Met Chainlink moeten dergelijke slimme contracten automatisch worden uitgevoerd op basis van geverifieerde gebeurtenissen uit de echte wereld.

Daarom pakt Chainlink dit type composabiliteitsrisico direct aan. Dit maakt Chainlink nuttig voor verschillende use‑cases:

• Biedt zeer nauwkeurige, manipulatie‑veilige marktprijzen voor cryptocurrencies, grondstoffen en aandelen.
• Biedt cryptografisch veilige, willekeurige getallen direct on‑chain voor blockchain‑gaming en NFT‑distributies.
• Cross‑Chain Interoperability Protocol (CCIP) voor communicatie tussen blockchain‑netwerken of met traditionele bankinfrastructuur zoals SWIFT.

Investeerders in de LINK‑token moeten zich er echter van bewust zijn dat ontwikkelaars LINK‑tokens gebruiken om Chainlink‑node‑operators te betalen voor het ophalen, valideren en leveren van data.

Ze moeten zich er ook van bewust zijn dat LINK geen direct eigendomsbelang biedt, maar deelname aan de gerelateerde infrastructuur.

Laatste Chainlink (LINK) aandelennieuws en ontwikkelingen

Gerefereerde studie

^{1. Massimo Bartoletti, Riccardo Marchesin, en Roberto Zunino. A formal framework for the economic security of DeFi compositions. Journal of Logical and Algebraic Methods in Programming. 23 september 2026. Artikel: 101171. 10.1016/j.jlamp.2026.101171}