Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts

Explore a groundbreaking approach to automatically synthesizing parametric gas upper-bounds for smart contracts in this 18-minute conference talk from OOPSLA2 2023. Delve into the novel use of theorems from polyhedral geometry and real algebraic geometry to address the critical issue of out-of-gas errors in blockchain environments. Learn about the Asparagus tool, which implements algorithms for Ethereum contracts written in Solidity, and discover how it outperforms existing methods in both applicability and bound tightness. Gain insights into the potential impact of this research on improving smart contract security and efficiency across various blockchain platforms.