A smart contract is computer code that deterministically executes an algorithm to determine property rights according to the signed statements of individuals. They enable a community to efficiently and unambiguously reach a shared consensus on who owns what.