智能合约：重构社会契约（非签名）

图书标准信息

• 作者 蔡维德 著
• 出版社 法律出版社
• 出版时间 2020-09
• 版次 1
• ISBN 9787519748777
• 定价 58.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 291页
• 字数 340千字

【内容简介】

《智能合约――重构社会契约》是以合规为视角的智能合约著作，区分智能合约和链上代码，结合计算机与法律的融合演进，全面介绍智能合约的发展趋势。 

系统思考:从尼克·萨博首提“智能合约”概念，到伊恩·格里格创造出“李嘉图合约”，到维塔利克·布特林开创以太坊，再到美国和英国律师开启的雅阁项目，系统剖析合规智能合约发展的重要历程。 

权*把脉:分析当前美国商品期货交易委员会、英国法律协会、英国中央银行、美国斯坦福大学法律规约协议团队、国际金融标准组织国际掉期与衍生工具协会等权*机构的新研究成果，很多观点不谋而合。 

中国实践:比格犬模型、皋陶模型、熊猫模型等方案模型，既深含中国文化底蕴，又切合中国现实场景，引领中国智能合约创新方向。 

应用剖析:深度剖析智能合约在司法、金融、保险、政务等领域的应用创新，探索智能合约为公司、企业和消费者提供的重要价值。 

2020年8月，世界银行认定智能合约技术促进普惠金融，助力供应链金融和保险业务。和中国皋陶模型观点一致，世界银行也建议制定智能合约标准，包括验证和安全性标准。

【作者简介】

蔡维德，国家特聘专家，北京航空航天大学博士生导师，清华大学长江学者讲座教授；麻省理工学院学士，加州大学伯克利分校计算机科学专业博士，在美国明尼苏达大学和亚利桑那州立大学从事教育研究30余年。现任国家科技部重大项目负责人，英国伦敦大学学院区块链技术中心科学顾问，北航数字社会与区块链实验室主任，天德科技首席科学家，中国信息界区块链研究院院长，中国亚洲经济发展协会区块链产业专业委员会会长，国家大数据（贵州）综合试验区区块链互联网实验室主任，赛迪（青岛）区块链研究院名誉院长。发表论文600余篇，著作8本，论文被引用超过1.2万次， h-index> 59。蔡维德，国家特聘专家，北京航空航天大学博士生导师，清华大学长江学者讲座教授；麻省理工学院学士，加州大学伯克利分校计算机科学专业博士，在美国明尼苏达大学和亚利桑那州立大学从事教育研究30余年。现任国家科技部重大项目负责人，英国伦敦大学学院区块链技术中心科学顾问，北航数字社会与区块链实验室主任，天德科技首席科学家，中国信息界区块链研究院院长，中国亚洲经济发展协会区块链产业专业委员会会长，国家大数据（贵州）综合试验区区块链互联网实验室主任，赛迪（青岛）区块链研究院名誉院长。发表论文600余篇，著作8本，论文被引用超过1.2万次，h-index> 59。近期主要成就：将计算法学与沙盒监管理念引入中国，并首次将产业沙盒应用于区块链领域。拥有自主知识产权的区块链底层和互链网核心技术，包括天德链、数链中心、泰山沙盒等。

【目录】

目  录 

第一部分 智能合约是新技术、新思路 

第一章 区块链横空出世 

  一、从比特币到区块链 

  二、从互联网到互链网 

第二章 智能合约的到来 

  一、合同的代码化与法律的代码化 

  二、智能合约简史 

  三、认识现代智能合约 

  四、智能合约的误区 

第三章 智能合约带来社会治理的新思路 

  一、新技术推动新监管方法 

  二、智能合约推动法治改革 

  三、智能合约要求新法律人才 

  四、智能合约改变公司管理模式 

  五、智能合约促进社会进化 

第二部分 完善法律基础，保障智能合约执行 

第四章 智能合约的法理变革――以中国为例 

  一、智能合约的法理基础 

  二、智能合约在法律执行中的价值内涵 

  三、智能合约面临的法律风险――以合同为例 

  四、智能合约的法律规制 

第五章 英国法律界在智能合约上的讨论 

  一、英国法律委员会和英国司法工作组对智能合约展开工作 

  二、英国法律界关心的问题 

  三、对英国法律界讨论的补充 

第六章 智能合约与法律自动执行 

  一、科技与法律结合的历史 

  二、科技与法律结合的现状 

  三、科技与法律结合的未来 

第七章 ISDA金融智能合约交易的法律研究和主协议 

  一、ISDA的思想哲学 

  二、智能衍生品交易总协议 

  三、事件 

  四、讨论 

第三部分 创新智能合约基础设施，提升法律执行效率 

第八章 李嘉图合约开启“可计算的合约” 

  一、原始李嘉图合约与原始智能合约的异同 

  二、作业流程 

  三、李嘉图合约案例 

  四、总结 

第九章 雅阁项目为智能法律合约开发开源框架 

  一、雅阁项目的诞生 

  二、雅阁项目的开发工具 

  三、雅阁项目合约建造流程 

  四、雅阁模型合同样本 

  五、总结 

  附录：延迟交付和罚款示例 

第十章 LSP与可执行的法律 

  一、认识LSP 

  二、法言法语设计 

  三、模型设计 

  四、开发的工具 

  五、讨论 

第十一章 比格犬模型实现智能合约 

  一、比格犬模型的提出 

  二、智能合约如何与法律结合 

  三、智能合约软件的特点 

  四、基于模型驱动的智能合约开发 

  五、基于领域工程的智能合约开发 

第十二章 预言机的设计与实现 

  一、预言机并非用来“预言” 

  二、预言机系统的设计与实现 

  附录：智能合约的安全标准 

第四部分 智能合约的实际应用 

第十三章 当前智能合约平台与语言 

  一、以太坊 

  二、超级账本 

  三、天秤币 

  四、天德区块链智能合约 

  五、其他重要平台 

第十四章 智能合约在中国司法执行的应用 

  一、“智能合约+司法”的突破 

  二、智能合约在司法执行的实践 

第十五章 智能合约在数字法币领域的应用 

  一、英国中央银行在数字法币领域的尝试 

  二、英国中央银行提出三大智能合约架构 

第十六章 智能合约在金融领域的应用 

  一、“智能合约+金融”蓄势待发 

  二、智能合约在金融领域的应用实践 

  三、保险智能合约备受资本青睐 

第十七章 智能合约在政务民生中的应用 

  一、数字政务时代“奇点”来临 

  二、智能合约带来政务民生的变革 

  三、“ABCD5”奠定数字政务 

  附录：使用CodeTract制定的智能合约的服务示例 

第五部分 积极拥抱智能合约革命（趋势展望） 

第十八章 智能合约与数字新社会 

  一、链满天下，打造数字社会 

  二、节约成本，改善社会生活 

  三、创造信任，促进价值流动 

  四、治理变革，重塑未来秩序 

第十九章 皋陶模型指引智能合约的未来 

  一、天人合一：智能合约与区块链融合 

  二、民本思想：智能合约需要以人为本 

  三、司法公正：标准化是公正的基础 

  四、德法结合：智能合约要拥抱监管 

  五、利泽中华：中国智能合约发展方向 

  六、圆梦中国：智能合约与中国梦 

参考文献 

后 记 蔡维德谈为何研究区块链和智能合约