Et nytt rammeverk retter seg mot skjulte risikoer i DeFi

Desentralisert finans, eller DeFi, er et åpent finanssystem bygget på offentlige blokkjeder som bruker selvutførende kode i stedet for tradisjonelle finansinstitusjoner som banker og meglere. Dette kan gi store forbedringer i effektivitet og uavhengighet fra det tradisjonelle finanssystemet, men også nye risikoer.

Den første typen risiko er knyttet til de såkalte «smartkontraktene» som utgjør ryggraden i DeFi. Hvis de er dårlig skrevet eller direkte ondsinnede, kan en enkelt dårlig smartkontrakt forårsake økonomiske tap. Og med få eller ingen institusjoner eller regulatorer som beskytter DeFi‑brukere, kan det være vanskelig å få tilbake tapte eller stjålne midler.

Heldigvis, etter hvert som DeFi modnet, oppsto standarder for sikre smartkontraktdesign som i stor grad forbedret sikkerheten mot slike risikoer.

Ettersom DeFi blir mer komplekst, brukes en rekke smartkontrakter til å bygge ulike DeFi‑protokoller. Dette skaper en ny type risiko, hvor samspillet mellom nyutplasserte kontrakter og den eksisterende blokkjeden utnyttes til å påføre økonomiske tap.

Et nytt papir av italienske forskere ved Universitetet i Cagliari og Universitetet i Trento foreslår et nytt rammeverk for å håndtere slike risikoer. Deres papir, akseptert for publisering i Journal of Logical and Algebraic Methods in Programming, har tittelen «Et formelt rammeverk for den økonomiske sikkerheten til DeFi‑sammensetninger».

DeFi & Maksimal Uttakbar Verdi (MEV)

MEV forklart

For å forstå situasjonen med smartkontrakter og DeFi, må investorer forstå begrepet Maksimal Uttakbar Verdi (MEV).

MEV er den maksimale verdien en motstander kan hente ut ved å strategisk samhandle med et blokkjede‑system. Det er vanligvis knyttet til validatorer, minere og sekvenserere som omorganiserer eller velger transaksjoner, men kan også oppstå når vanlige brukere utnytter smartkontraktslogikk, protokollavhengigheter, prisavvik eller midlertidig tilgang til kapital.

«Mens MEV introduserer dynamikker som kan sette brukere i en ugunstig posisjon og forvrenge insentiver, er det også et transparent og observerbart fenomen som er iboende i offentlig blokkjede‑infrastruktur.»

Pranav Garimidi and Joseph Bonneau

Endring av MEV med nye kontrakter

MEV er den nye risikovektoren som oppstår fra integrasjonen av nye smartkontrakter med eldre.

«Motstandere kan utnytte utilsiktede interaksjoner mellom protokoller for å oppnå økonomisk gevinst på bekostning av ærlige brukere.

Dette er et voksende problem, ettersom DeFi ekspanderer og nye løsninger skaper nye risikoer.

«Disse risikoene forverres ytterligere av fremvoksende plattformer som lar brukere sømløst lage vilkårlige sammensetninger av DeFi‑protokoller»

Dette reiser derfor et grunnleggende spørsmål for DeFi som krever et solid svar: under hvilke forhold er en DeFi‑sammensetning sikker?

Av denne grunn foreslår forskerne som skrev denne studien et nytt konsept for DeFi‑sammensetningsdyktighet, kalt “MEV‑ikke‑interferens”, som krever at interaksjoner med den eksisterende blokkjede‑tilstanden ikke øker den Maksimale Uttakbare Verdien (MEV) som kan oppnås fra et sett av nyutplasserte kontrakter.

De anvendte deretter dette rammeverket på representative DeFi‑sammensetninger (børser, automatiserte markedsmakere, opsjoner, utlåns‑puljer, rutere og arbitrage‑kontrakter), og viste at det skiller sikre sammensetninger fra sårbare.

Fra blokkjede‑ til kontraktsnivåanalyse

For å fastslå MEV‑ikke‑interferens er det ikke nok å kun se på MEV på blokkjedenivå. I stedet må man undersøke prinsipper for ikke‑interferens med eksisterende kontrakter.

Dette er grunnen til at forskerne introduserte begrepet lokal MEV. Dette er et nytt mål på økonomiske angrep som kvantifiserer det maksimale tapet en motstander kan påføre et gitt sett av offerkontrakter.

«I motsetning til klassisk MEV som er definert for en hel blokkjede‑tilstand, fokuserer lokal MEV på de kontraktene hvis sikkerhet er under analyse. Dette skiftet fra et globalt til et lokalt perspektiv er nøkkelkomponenten i vår tilnærming.»

Dette rammeverket hjalp dem med å analysere representative DeFi‑sammensetninger, da de brukte en samling av representative DeFi‑sammensetninger, inkludert børser, AMM‑er, binære opsjoner, utlåns‑puljer, swap‑rutere og arbitrage‑protokoller.

Mot revisjon av økonomiske interaksjoner

Forfatterne av studien gir mange detaljerte eksempler på hvordan dette analyse‑rammeverket kan brukes til å oppdage sårbarheter og risikoer fra nye kontrakter, som orakelmanipulering, flash‑lån‑angrep, eller tidligere skjulte avhengigheter.

Dette inkluderte en sterkere motstander­modell (velstående motstandere), hvor det antas at motstanderen alltid har nok tokens til å påføre det maksimale mulige tapet på offerkontraktene.

Alt i alt gir den utviklere et mer praktisk grunnlag for å teste om nye integrasjoner eksponerer brukernes kapital for indirekte angrep som utnytter effekten på eksisterende smarte kontrakter.

Det bør imidlertid bemerkes at dette rammeverket ikke er et produksjonsklart sikkerhetssystem, men kun et formelt grunnlag. Det ekskluderer også mempool‑aktivitet, gasskostnader, token‑frysningsangrep, dynamisk prising og noe Ethereum (ETH ) atferd som reentrancy og sykliske avhengigheter.

Så, som ofte i DeFi, kommer forbedring av sikkerhet ikke bare fra perfekte algoritmer og matematisk sikker sammensetning, men også fra tilpasning til Ethereum‑utplassering i den virkelige verden.

Investering i desentralisert finans

Chainlink

Chainlink Chainlink er et desentralisert nettverk som kobler blokkjede‑smarte kontrakter med virkelige data, eksterne API‑er og tradisjonelle betalingssystemer. Chainlink er bredt tatt i bruk av store markedsinfrastrukturer, finansinstitusjoner og DeFi‑protokoller for å åpne avanserte bruksområder, inkludert Swift, Euroclear, MasterCard, Fidelity International, UBS, ANZ, Aave, GMX, Lido og mange flere.

Kilde: Chainlink

Chainlink løser et grunnleggende problem for blokkjede‑DeFi‑protokoller: blokkjeder er isolerte miljøer; som standard kan de ikke få tilgang til ekstern informasjon.

Dette gjør dem sårbare for “manipulering av prisorakler”, hvor smarte kontrakter utføres basert på falske data, for eksempel feil pris på et verdipapir. Med Chainlink må slike smarte kontrakter utføres automatisk basert på verifiserte hendelser i den virkelige verden.

Derfor adresserer Chainlink direkte denne formen for sammensetningsrisiko. Dette gjør Chainlink nyttig for flere brukstilfeller:

• Tilby svært nøyaktige, manipulasjonsfrie markedspriser for kryptovalutaer, råvarer og aksjer.
• Tilby kryptografisk sikre, tilfeldige tall direkte on‑chain for blokkjedespill og NFT‑distribusjoner.
• Cross‑Chain Interoperability Protocol (CCIP) for kommunikasjon mellom blokkjednettverk eller med tradisjonell bankinfrastruktur som SWIFT.

Investorer i LINK‑tokenet bør imidlertid være klar over at utviklere bruker LINK‑token for å betale Chainlink‑nodeoperatører for innhenting, validering og levering av data.

De bør også være klar over at LINK ikke gir direkte eierandel, men deltakelse i den tilknyttede infrastrukturen.

Siste nyheter og utviklinger om Chainlink (LINK) aksjer

Referert studie

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