Skip to main content

Smart Contract

blockchain · scripting

Blockchain-enforced program or script logic that controls how assets or state may change.

1.definition

A smart contract is code or script evaluated under blockchain rules. It can enforce authorization, value movement, timeouts, and state transitions using data available to the virtual machine.

2.models

Account-based contracts commonly keep persistent storage at one address. UTXO contracts usually define spending conditions and carry state into successor outputs. Both models can express complex applications with different concurrency and transaction-construction tradeoffs.

3.limits

A contract cannot know an off-chain fact unless an oracle or participant supplies it. Frontends, admin keys, upgrade proxies, custodians, and legal enforcement may remain intermediaries even when settlement logic is on-chain.

4.risk

Code bugs, unclear permissions, oracle manipulation, composability, and recovery design can cause loss. Audits and formal methods reduce uncertainty but do not make a contract risk-free.

Related terms

All terms and definitions may update as the Cryptionary improves.