3 papers
cs.DC2025
Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
Atefeh Zareh Chahoki, Marco Roveri
Ethereum smart contracts operate in a concurrent environment where multiple transactions can be submitted simultaneously. However, the Ethereum Virtual Machine (EVM) enforces seque…
cs.CR2025
SoK: Concurrency in Blockchain -- A Systematic Literature Review and the Unveiling of a Misconception
Atefeh Zareh Chahoki, Maurice Herlihy, Marco Roveri
Smart contracts, the cornerstone of blockchain technology, enable secure, automated distributed execution. Given their role in handling large transaction volumes across clients, mi…
cs.CR2025
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution
Atefeh Zareh Chahoki, Maurice Herlihy, Marco Roveri
Conthereum is a concurrent Ethereum solution for intra-block parallel transaction execution, enabling validators to utilize multi-core infrastructure and transform the sequential e…