Assertion: smart contract | /r/HasProperty | specified in protocol
Facets:
Source sentences:
text: A smart contract is a set of promises, specified in digital form, including protocols within which the parties perform on these promises.