 The latter refers to a traditional natural language legally-binding agreement which has certain terms expressed and implemented in machine readable code.Byzantine fault-tolerant algorithms allowed digital security through decentralization to form smart contracts.Additionally, the programming languages with various degrees of Turing-completeness as a built-in feature of some blockchains make the creation of custom sophisticated logic possible.