Five LLMs show high false-positive rates on smart contract audits; a vulnerability-specific prompt cuts false alarms, but recall on Solidity v0.8 re-entrancy and arithmetic bugs falls sharply.
Smart Contract Templates: foundations, design landscape and research directions
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an automatable and enforceable agreement. We explore a simple semantic framework for smart contracts, covering both operational and non-operational aspects, and describe templates and agreements for legally-enforceable smart contracts, based on legal documents. Building upon the Ricardian Contract, we identify operational parameters in the legal documents and use these to connect legal agreements to standardised code. We also explore the design landscape, including increasing sophistication of parameters, increasing use of common standardised code, and long-term research.
citation-role summary
background 1
citation-polarity summary
fields
cs.CR 1years
2025 1verdicts
REJECT 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities
Five LLMs show high false-positive rates on smart contract audits; a vulnerability-specific prompt cuts false alarms, but recall on Solidity v0.8 re-entrancy and arithmetic bugs falls sharply.