Extension: Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges
Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges presents the following source proposition: Smart contracts are self-executing programs that facilitate trustless transactions between multiple parties, most commonly deployed on the Ethereum blockchain. This proposition is pertinent to Kaal's source-bound claim that A pure code is law smart contract between anonymous parties creates a zero sum scenario in which each party is incentivized to deliver only the minimum that satisfies the rigid self executing terms, so this type of business ultimately degenerates. The proposed response is an extension: the relationship should remain limited to the retrieved source proposition and the mapped Kaal claim unless fuller source review supports a broader conclusion.
smart-contractshistorical-responsescholarly-literatureopenalex