Abstrakt. I denna uppsats utforskar vi anmärkningsvärda likheter mellan multi-transaktionella beteenden hos smarta kontrakt i kryptovalutor som Ethereum och klassiska problem med delad minneskonvergens. Vi undersöker två verkliga exempel från Ethereum blockchain och analyserar hur de är sårbara för buggar som påminner mycket om dem som ofta förekommer i traditionella samtidiga program. Vi utvecklar sedan relationen mellan observerbara kontraktsbeteenden och välstuderade konvergensämnen, såsom atomicitet, interferens, synkronisering och resursägande. Den beskrivna avtals-som-konkurrenter analogi ger djupare förståelse för potentiella hot mot smarta kontrakt, indikerar bättre tekniska metoder och möjliggör tillämpning av befintliga toppmoderna formella verifieringstekniker.
Sergey och Hobor utforska likheter mellan multi-transaktionella beteenden av smarta kontrakt i Ethereum och delad-minneskonvergensproblem REF.
A Concurrent Perspective on Smart Contracts
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}