Smart Contract
- Formal
-
They are logical rules (e.g. business or regulation) encoded on a Blockchain that supports smart contracts and are enforced by the participants of the network.
- Practical
-
Programmable languages such as Ethereum’s Solidity allow smart contract developers to encode any business rules on to its Blockchain. This allows for significant cost cuts on intermediary services such as banking, advertising, energy and more.