“代码即规则”是对智能合约的简化描述。更准确地说,它是部署在区块链上、按交易输入读取和修改共享状态的程序,执行结果由网络共识验证。

开发者把编译后的代码部署到链上,用户或其他合约向其发送调用。每个验证节点按同一虚拟机规则计算,只接受符合代码和账本状态的结果。
为保证所有节点得到一致结果,合约不能随意访问本地文件、系统时钟或普通网络接口。
它适合把资产转移、权限、抵押、清算和投票等规则放在多方可验证的环境中。去中心化交易、稳定币、数字收藏品和DAO都可以由多个合约组合构成。
可组合性能够加快创新,也会让一个底层组件的风险向多个应用传导。
代码只执行它能够读取的条件,无法自动理解当事人真实意思、欺诈、不可抗力或管辖法律。业务涉及现实权利时,仍需身份、证据、线下协议和争议解决机制。
检查代码是否开源验证、管理员能做什么、能否升级或暂停、外部数据从哪里来,以及审计是否覆盖当前版本。审计能减少未发现缺陷,但不是永不出错的保证。
智能合约用共识网络执行可验证规则,优势是透明、可组合和减少单方控制;边界则是代码缺陷、管理权、外部数据和现实法律关系。