...
| Panel | ||||||
|---|---|---|---|---|---|---|
| ||||||
From Vitalik Buterin in ethereum blog: a smart contract is a mechanism involving digital assets and two or more parties, where some or all of the parties put assets in and assets are automatically redistributed among those parties according to a formula based on certain data that is not known at the time the contract is initiated. |
History
The phrase and concept of smart contracts was developed by Nick Szabo with the goal of bringing what he calls the "highly evolved" practices of contract law and practice to the design of electronic commerce protocols between strangers on the Internet. Nick is a computer scientist known for his research in digital contracts and digital currency. Although Szabo has repeatedly denied it, people have speculated that he is the one behind Satoshi Nakamoto, the designer of Bitcoins.
...
Definition
A smart contract is a collection of code (its functions) and data (its state) that resides at a specific address on the Ethereum blockchain. Contract accounts are able to pass messages between themselves as well as doing practically Turing complete computation. . They are little programs that execute “if this happens then do that”, run and verified by many computers to ensure trustworthiness.
A smart contract is a mechanism involving digital assets and two or more parties, where some or all of the parties put assets in and assets are automatically redistributed among those parties according to a formula based on certain data that is not known at the time the contract is initiated.
Properties
The key property of a smart contract is simple: there is only a fixed number of parties.
...
Smart contract code validation
On line tool on Etherscan.tools:
Decentralized applications
...