En ny ramme sigter mod skjulte risici i DeFi

Decentralized Finance, eller DeFi, er et åbent finansielt system bygget på offentlige blockchains, som bruger selvudførende kode i stedet for traditionelle finansielle institutioner som banker og mæglere. Dette kan medføre store forbedringer i effektivitet og uafhængighed fra det traditionelle finansielle system, men også nye risici.

Den første type risiko er knyttet til de såkaldte “smart contracts”, som udgør rygraden i DeFi. Hvis de er dårligt skrevet eller direkte ondsindede, kan en enkelt dårlig smart contract forårsage økonomiske tab. Og da der næsten ingen institutioner eller regulatorer beskytter DeFi‑brugere, kan det være svært at genvinde tabte eller stjålne midler.

Heldigvis, efterhånden som DeFi er modnet, er der opstået standarder for sikre smart‑contract‑designs, som i høj grad har forbedret sikkerheden mod sådanne risici.

Men efterhånden som DeFi bliver mere kompleks, anvendes en række forskellige smart contracts til at bygge forskellige DeFi‑protokoller. Dette skaber en ny type risiko, hvor interaktionen mellem nyudrullede contracts og den eksisterende blockchain udnyttes til at forårsage økonomiske tab.

Et nyt papir af italienske forskere ved University of Cagliari og University of Trento foreslår en ny ramme for at håndtere sådanne risici. Deres papir, accepteret til offentliggørelse i Journal of Logical and Algebraic Methods in Programming, har titlen “En formel ramme for den økonomiske sikkerhed af DeFi‑kompositioner”.

DeFi & maksimal udtrækningsværdi (MEV)

MEV forklaret

For at forstå situationen med smart contracts og DeFi, skal investorer forstå begrebet maksimal udtrækningsværdi (MEV).

MEV er den maksimale værdi, som en modstander kan udtrække ved strategisk interaktion med et blockchain‑system. Det er typisk forbundet med validatorer, minere og sequencere, der omarrangerer eller udvælger transaktioner, men det kan også opstå, når almindelige brugere udnytter smart‑contract‑logik, protokolafhængigheder, prisforskelle eller midlertidig adgang til kapital.

“Selvom MEV introducerer dynamikker, der kan ulempe brugere og forvride incitamenter, er det også et gennemsigtigt og observerbart fænomen, der er iboende i den offentlige blockchain‑infrastruktur.”

Pranav Garimidi og Joseph Bonneau

Ændring af MEV med nye contracts

MEV er den nye risikovektor, der stammer fra integrationen af nye smart contracts med de gamle.

“Modstandere kan udnytte utilsigtede interaktioner mellem protokoller for at opnå økonomisk profit på bekostning af ærlige brugere.

Dette er et voksende problem, efterhånden som DeFi udvider sig, og nye løsninger skaber nye risici.

“Disse risici forværres yderligere af nye platforme, der gør det muligt for brugere at problemfrit skabe vilkårlige sammensætninger af DeFi‑protokoller”

Dette rejser derfor et grundlæggende spørgsmål for DeFi, som kræver et solidt svar: under hvilke betingelser er en DeFi‑komposition sikker?

Af denne grund foreslår forskerne, der skrev denne undersøgelse, et nyt koncept for DeFi‑sammensætning, kaldet “MEV non-interference”, som kræver, at interaktioner med den eksisterende blockchain‑tilstand ikke øger den maksimale udtrækningsværdi (MEV), der kan opnås fra et sæt nyudrullede contracts.

De anvendte derefter denne ramme på repræsentative DeFi‑kompositioner (børser, automatiserede market makers, optioner, udlåns‑puljer, routere og arbitrage‑contracts) og viste, at den skelner sikre kompositioner fra sårbare.

Fra blockchain‑ til contract‑niveauanalyse

For at fastslå MEV non-interference er det ikke nok blot at se på MEV på blockchain‑niveau. I stedet er det nødvendigt at kontrollere non‑interference‑principper med eksisterende contracts.

Dette er grunden til, at forskerne introducerede begrebet local MEV. Dette er et nyt mål for økonomiske angreb, der kvantificerer det maksimale tab, som modstandere kan påføre et givet sæt af offers contracts.

“I modsætning til klassisk MEV, der er defineret for en hel blockchain‑tilstand, fokuserer local MEV på de contracts, hvis sikkerhed er under analyse. Dette skift fra et globalt til et lokalt perspektiv er den afgørende ingrediens i vores tilgang.”

Denne ramme hjalp dem med at analysere repræsentative DeFi‑kompositioner, da de brugte en samling af repræsentative DeFi‑kompositioner, herunder børser, AMM’er, binære optioner, udlåns‑puljer, swap‑routere og arbitrage‑protokoller.

Mod audit af økonomiske interaktioner

Forfatterne af undersøgelsen giver mange detaljerede eksempler på, hvordan dette analyse‑framework kan anvendes til at opdage sårbarheder og risici fra nye contracts, som oracle-manipulation, flash‑låneangreb, eller tidligere skjulte afhængigheder.

Dette omfattede en stærkere modstander‑model (velhavende modstandere), hvor modstanderen antages altid at besidde nok tokens til at påføre det maksimale mulige tab på offers contracts.

Samlet set giver det udviklere et mere praktisk grundlag for at teste, om nye integrationer udsætter brugerkapital for indirekte angreb, der udnytter effekten på eksisterende smarte kontrakter.

Det skal dog bemærkes, at denne ramme ikke er et produktionsklart sikkerhedssystem, men kun et formelt grundlag. Den udelader også mempool‑aktivitet, gasomkostninger, token‑frysningsangreb, dynamisk prisfastsættelse og noget Ethereum (ETH ) adfærd såsom reentrancy og cykliske afhængigheder.

Således, som ofte i DeFi, skyldes forbedring af sikkerheden ikke kun perfekte algoritmer og matematisk sikker sammensætning, men også tilpasning til den virkelige Ethereum‑implementering.

Investering i Decentraliseret Finans

Chainlink

Chainlink (LINK ) Chainlink er et decentraliseret netværk, der forbinder blockchain‑smarte kontrakter med data fra den virkelige verden, eksterne API’er og traditionelle betalingssystemer. Chainlink er bredt anvendt af store markedsinfrastrukturer, finansielle institutioner og DeFi‑protokoller til at muliggøre avancerede anvendelsestilfælde, herunder Swift, Euroclear, MasterCard, Fidelity International, UBS, ANZ, Aave, GMX, Lido og mange flere.

Source: Chainlink

Chainlink løser et grundlæggende problem for blockchain‑DeFi‑protokoller: blockchains er isolerede miljøer; som standard kan de ikke få adgang til ekstern information.

Dette gør dem sårbare over for “manipulation af prisorakler”, hvor smarte kontrakter udføres i henhold til falske data, for eksempel en forkert pris på et værdipapir. Med Chainlink skal sådanne smarte kontrakter udføres automatisk baseret på verificerede begivenheder fra den virkelige verden.

Derfor adresserer Chainlink direkte denne form for sammensætningrisiko. Dette gør Chainlink nyttig for flere anvendelsestilfælde:

• Leverer yderst præcise, manipulationssikre markedspriser for kryptovalutaer, råvarer og aktier.
• Leverer kryptografisk sikre, tilfældige tal direkte on-chain til blockchain‑spil og NFT‑distributioner.
• Cross-Chain Interoperability Protocol (CCIP) til kommunikation mellem blockchain‑netværk eller med traditionel bankinfrastruktur som SWIFT.

Investorer i LINK‑tokenet bør dog være opmærksomme på, at udviklere bruger LINK‑tokens til at betale Chainlink‑nodeoperatører for at hente, validere og levere data.

De bør også være opmærksomme på, at LINK ikke giver direkte ejerskab af aktier, men deltagelse i den tilknyttede infrastruktur.

Seneste Chainlink (LINK) aktienyheder og udviklinger

Studie refereret

^{1. Massimo Bartoletti, Riccardo Marchesin, og 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}