SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection

arXiv:2406.10054v1 Announce Type: cross
Abstract: As decentralized applications (DApps) proliferate, the increased complexity and usage of smart contracts have heightened their susceptibility to security incidents and financial losses. Although various vulnerability detection tools have been developed to mitigate these issues, they often suffer poor performance in detecting vulnerabilities, as they either rely on simplistic and general-purpose oracles that may be inadequate for vulnerability detection, or require user-specified oracles, which are labor-intensive to create. In this paper, we introduce SmartOracle, a …

applications arxiv complexity contract contracts cs.cr cs.se dapps decentralized decentralized applications detection financial incidents issues losses oracle performance poor security smart smart contract smart contracts tools vulnerabilities vulnerability vulnerability detection