Assertion: contract's condition | /r/HasProperty | pre-determined
Facets:
Source sentences:
text: While blockchain acts as a kind of database, confirming that transactions have taken place, smart contracts execute pre-determined conditions; think about a smart contract as a computer executing on "if/then," or conditional, programming.