第三节 北航数字社会与区块链实验室

项目名称：北京航空航天大学（北航）“数字社会与区块链实验室”核心成员：蔡维德、David Harel、Vitalik Buterin等成立地点：北京

成立时间：2015年10月

项目说明：区块链技术及其在互联网金融、版权保护、电子合同等领域的应用研究。

北京航空航天大学（北航）“数字社会与区块链实验室”成立于2015年10月，主要研究区块链、智能合约、计算法律学和数字社会等技术与应用。实验室的核心成员为蔡维德（北航）、David Harel（以色列魏茨曼科研究院，美国和以色列院士）、Vitalik Buterin（以太坊）、罗佳（中经网）、朱岩（北京科技大学）、朱皡罡（北航）、张辉（北航）、郁莲（北大）、白晓颖（清华）、刘璘（清华）、胡凯（北航）、孟坤（北京信息科技大学）、Alan Hart（伦敦律师）等。

Gartner 在2015年宣称2016年将是数字社会的开端，将会有大量的“白领”工作，包括市场报告、法律文件、白皮书、股东报告、新闻稿和文章等，会由人工智能机器来分析及撰写。

在区块链技术研究方面，该实验室聚焦于区块链技术及其在互联网金融、版权保护、电子合同等领域的应用。私有区块链在企业内部、企业之间建立可信的分布式记账本，具有数据来源可靠、数据链完整可追踪、数据存储不可更改等特性，可为互联网上新型经济和社会形态的审计、司法等监管机制提供具有公证力的基础证据。实验室在基于区块链结构的非中心化数据存储、抽象数据结构及数据管理服务、数据加密、分布式一致性算法及节点信用评估等方面开展相关研究。

智能合约是区块链的一个重要应用。在数字化的交易过程和系统中，建立可执行的合约，实现价值交换行为、合同执行过程、法律法规约束规则等活动的自动执行，是互联网信任管理的有力保障。实验室结合实际应用，针对智能合约的形式化定义和描述形式、自动化执行机制等关键问题开展相关研究。

计算法律学是法律和计算机科学与技术交叉学科的前沿探索性研究，而智能合约是计算法律学的一个应用。计算法律学这一概念的提出已经历经几十年，但早期的研究侧重于法律逻辑思考、法律知识库、实证分析、法律知识关系可视化等方面的工作，随着智能系统研究的发展、大规模计算能力和海量数据分析处理技术的大幅度提升，以自然语言处理为基础，以智能推理、搜索和优化技术为支撑，法律数字化和执行自动化的研究将开拓出一片崭新的研究领域。因为计算法律学与当地法律相关，所以虽然已有很多基于国外法律方面的工作，但它在中国法律界还是一个新领域。计算法律学包括证据的收集、验证，以及电子证据在司法上的验证，通过认知计算来分析法律及案例，从而提升法律服务的效率与水平。

在数字社会中，用区块链进行数据的存储，用智能合约来构造及执行法律上的合约，用计算法律学、认知计算来了解中国法治，包括立法、司法等。