智能合约程序不只是一个可以自动执行的计算机程序：它自己就是一个系统参与者。它对接收到的信息进行回应，它可以接收和储存价值，也可以向外发送信息和价值。这个程序就像一个可以被信任的人，可以临时保管资产，总是按照事先的规则执行操作。智能合约模型：一段代码（
在传统的借贷市场里，我们想要找银行借一笔贷款，需要一定的实体资产作为抵押，然后银行会对资产进行估值，审核，最后才能发放贷款。而在DeFi的世界里，借贷的流程也是一样，只不过把银行的角色给去掉，改为由代码写好的智能合约
随着区块链技术的愈演愈烈，很多人开始在以太坊（Ethereum）的“智能合约语言”上做文章。其中一部分是搞 PL 的人，他们试图对 Solidity 之类语言写的智能合约进行形式验证，号称要用严密的数理逻辑方法，自动的验证智能合约的正确性。其中一种方法是用“深度学习”，经
真正智能合约迟迟没有实现，一个重要原因是因为缺乏能够支持可编程合约的数字系统和技术。近些年区块链技术的出现解决了该问题，不仅可以支持可编程合约，而且具有去中心化、不可篡改、过程透明可追踪等优点，天然适合于智能合约。基于区块链的智能合约包括事务处
