VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts

VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts

Explore a highly precise safety verifier for Ethereum smart contracts in this 17-minute IEEE conference talk. Delve into the pressing issue of ensuring smart contract safety and learn about VeriSmart, an exhaustive, precise, and fully automated verification tool. Discover the key features of VeriSmart, including its inference and use of transaction invariants. Examine the algorithm behind VeriSmart and its experimental setup. Compare its performance against bug-finders and explore incorrect CVE reports identified by the tool. Gain insights into the general applicability of VeriSmart and understand its potential impact on improving smart contract security in the Ethereum ecosystem.