EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain Ecosystems

Yixuan Liu, Yuxin Dong, Ye Liu +4

In recent years, smart contracts have become the backbone of decentralized applications (DApps), and off-chain systems such as bridges, wallets, and indexers rely heavily on event…