Assertion: smart contract | /r/HasProperty | application
Facets:
Source sentences:
text: Smart contracts are applications that run on the Ethereum Virtual Machine.