Benchmarking Zero-Shot Reasoning Approaches for Error Detection in Solidity Smart Contracts

Eduardo Sardenberg, Antonio José Grandson Busson, Daniel de Sousa Moraes +2

Smart contracts play a central role in blockchain systems by encoding financial and operational logic. Still, their susceptibility to subtle security flaws poses significant risks…