Difference between revisions of "Smart contract"

From PKC
Jump to navigation Jump to search
Line 4: Line 4:
#[[Ricardian Contract]]
#[[Ricardian Contract]]
#[[Social Contract]]
#[[Social Contract]]
=An Example=
{{LogiModel
|name=Smart Contract
}}


=Implementation Language=
=Implementation Language=

Revision as of 08:13, 13 June 2022

Smart contract(Q7544035) is an idea originally proposed by Finney. It is a kind of machine-executable contract that is guaranteed by some technical means to ensure the contract is executed according to some publicly acceptable interpretation. There are three kinds of related contracts:

  1. Smart Contract[1] [2]
  2. Ricardian Contract
  3. Social Contract

An Example

Template:LogiModel

Implementation Language

Smart contracts can be implemented using shared memory computers, such as Ethereum, which implements a programming language called Solidity.