Contract
Noun · Development
Definitions
A formal specification of the obligations and guarantees between software components. In Design by Contract, preconditions, postconditions, and invariants define what a function expects, promises, and maintains. In blockchain, a smart contract is self-executing code deployed on-chain.
In plain English: An agreement between parts of a program about what data they will send and receive, like a handshake deal that the code enforces automatically.