Smart contracts: models Smart contracts lie on a spectrum Contract entirely Contract in code “Split” natural Natural language in code with duplicated language contract contract with natural language with encoded encoded payment version performance of mechanism 100% non-human Pe Autom Contract aspects rforma Code n ed at is ec UNRESTRICTED 156