智能合约的保护：法律规范技术

作者：胡凯，北京航空航天大学分布式实验室

如前所述，Nick Saab将智能合约定义为“智能合约是执行合约条款的可计算交易协议”，即智能合约是反映合约的算法合约）和可执行代码合约，即双方同意确定合约内容，合同的订立和履行按照一定的计算机算法进行，是一种特殊的软件。合同精神的基础和保障是法律，合同法必须包含法律关系和利益交易。因此，智能合同是信息技术与法律的融合。只有二者有机结合，才能实现上述第二代合同智能合同和第三代“法即法典”智能合同。笔者认为，二者结合应用将形成一个新的技术领域——法律代码技术，这将是一个巨大的技术和社会学合作项目，也是数字社会技术发展的必然趋势。

一。计算定律的发展及其影响

信息技术与法律的结合并不是一个新的课题。计算规律是一个历史悠久的研究领域。计算法学，又称法律计算，是法学的一个分支。可以考虑借助信息技术协助法律的研究和应用。计算法学主要研究法律的定量模拟与分析技术。例如，它可以用来计算和模拟法律问题。

早在17世纪末，当莱布尼茨第一次提出建立一个机器来回答法律知识时，这将是非常有趣的。1949年，出现了少量的学术领域，中心化于利用电子和计算方法解决法律问题，被称为“判决法学”以前，人们认为，判决法学侧重于对司法行为的定量分析，并将其应用于通信与信息理论的法律解释中，而法律概率的计算方法则是通过电子手段和机械手段制定的。

1958年，在英国国家物理实验室举行的“思维过程机械化”会议上，法国科学家卢西恩·迈耶发表了一篇论文，提出了利用计算解决法律问题的好处。文中还提到了人工智能领域杰出人物明斯基提出的一种研究方法的运用。卢西恩迈耶认为，法律可以由两个不同的部门组成。一个是“文件或信息机”，另一个是“咨询机”前者可以为法律研究者提供相关案例和法律奖学金，后者可以回答任何向其提出的法律问题；后者可以代替许多律师回答一些简单而准确的问题。1970年，卢西恩·迈耶的第一台机器问世，1980年代，第二代机器问世。改进了第二代咨询机的性能。它可以回答卢西恩梅耶尔提出的一些咨询问题。当人们向它输入法律问题时，它可以自动输出答案。

1987年，第一届人工智能与法律国际会议召开。此后，会议开始对这一领域进行更深入的研究。到2005年，自动化和技术可以改变律师的角色，他们可以监控过程，促进积极的工作和越来越多的计算机管理。一方面，法律专家预测，这将有助于法律自助，特别是在合同订立、业务规划和预测规则变化等方面。另一方面，智能计算机也显示出计算机法律的潜在能力。

近年来，美国等国家在各自的法律体系下开始研究智能计算法的课题。随着自然语言输入、人工智能技术的突破和大数据技术的发展，计算规律以前遇到的难题正在逐步突破。IBM正在开发一个基于Watson系统的法律咨询服务系统，可以在一定程度上替代初级律师的工作。2011年，IBM的Watson软件成为世界上第一款能够解决“常识”问题的软件。在此之前，人们认为这是不可能的。2015年6月22日，IBM宣布将使用Watson软件分析法律合同。MIT设计了一个认证方案和身份管理框架，其核心思想是绝对可信的身份管理，并构建了一个新的计算框架。一些学者也开始研究人工智能技术对法律的影响以及涉及的法律问题。

总之，目前计算法学的研究重点是对法律决策及其关系的实证分析。这些发展通常是通过引文来分析的。由于法律引文的广泛性，可以建立一个引文网络。为了实现相关性，参考网络允许使用图遍历算法，以及使用各种距离度量来找到它们之间的数学关系。在司法程序和法律应用中，这些分析可以揭示重要的总体模式和趋势。

2。法律代码技术

从计算法学的发展和研究可以看出，法律界很早就开始利用信息技术进行相关工作。计算技术与法学的融合将对虚拟网络世界产生深远的影响。随着数字社会的发展，特别是区块链上智能合约模式的出现，一种新的运营计算架构应运而生，Gartner称之为可编程经济，网络虚拟经济逐渐占据了全国的半壁江山，法律与代码技术有着更深层次的融合需求。如何确保支配数字社会的计算机代码与支配现实社会的法律规则相一致？如何通过法典法实现虚拟世界的法律法典体系，已成为一个巨大的发展挑战。近年来，国家设立了多个互联网法院试点，甚至有报道称，区块链上的证书可以作为法院的标准。计算法的思想并不能解决这些问题。

美国著名学者莱斯格十年前提出了“法典即法律”的思想，引起人们对现实世界中计算机法典与法律关系的思考。我们要注意的不是法律的信息支持，而是数字和编码的法律，形成法典法律条文的法典或法典，即法律。类似于金融科技诞生带来的金融与科技交叉产业的蓬勃发展，法律与科技交叉产业必将在数字社会的更广阔领域崛起。作者称之为法律代码技术（LawCtech:lawcodetech）

法律代码技术是法律科学与信息技术的融合。综合运用计算法、软件编码、人工智能、区块链、智能合约等技术，实现法律、法规、合同、章程等法律文件的编码表达和自动操作，如何保证计算机代码所设定的规则与现实世界中的法律规则相一致，成为数字社会的隐形法则，实现“代码就是法律”的编码过程。重点是：一是将法律文本、模板、合同等法律文件通过人工智能、软件工程等技术转化为各种计算机可以执行的代码；二是这些代码需要具有代码的功能，这一点一旦确立就无法改变；第三，代码生成需要与法律文本一致或符合法律规定，以克服自然语言的模糊性；第四，代码生成的过程是公众信任、遵守和法律承认。

区块链的出现为法律代码技术的发展提供了信任机制和法律代码载体（智能合约），体现了智能与程序代码相结合的方式来解读法律文本和合同，为法律代码带来了巨大的机遇和发展空间。法律法典学是一门融合了科学技术的新学科、新视野、新研究视角的法学、人工智能、区块链和智能合约的融合，以解决智能合约的法律效力为重点。不仅可以将法律要素整合到自动执行的智能合同编码中，使智能合同具有法律效力，具有电子证据和电子合同的功能，并具有生命周期内的法律保障机制，这也是智能合约被大量接受和运作的前提。智能合约的智能包括合约内容的智能和合约生产的智能。我们要充分探索法律认识和思维的共同方式。在对法律规则进行编码时，应采用自然语言识别、形式化方法、认知理论和机器学习等方法，使复杂的法律规则准确、自动地转换为智能合同编码，智能合约的生产流程必须更智能，更易于用户理解、编写、部署和执行监管。

3一种基于区块链的实现架构

该体系结构维护和构建了一个共享的法律文本代码库，并使用人工智能技术和描述语言构建了代码库。遵守社区使用协议的每个用户都可以使用和贡献自己的合法电子文本和代码。如图1所示，法律共享社区定义了法律文本模以及相应的模描述语言和技术架构。基础设施管理物理硬件的组合，为上层提供服务接口，定义服务接口，使用区块链提供服务注册和搜索功能，管理和控制用户使用法律技术服务，实现按需访问。

首先，合法共享社区管理和维护基于共享数据库的合法文本代码。律师事务所、律师和学者可以直接使用共享数据库中的法律文本代码，但其正确性是由用户自己验证的。此外，他们还可以上传并共享自己的新文本代码模板到区块链中的更新列表，由社区管理成员批准的模板将添加到共享库中。

其次，基于不同的目的，多个用户可以基于共享的法律数据库按需组合智能合约管理服务。其中，协同编辑可以保证私有合同文本代码的安全协同。首先，可以通过将法律文本共享数据库的内容复制到区块链来构建私有法律数据库，区块链可以控制可编辑人员的编辑权限，编辑人员将更新合同请求上传到区块链的更新列表中，最同意的更新将更新到合同中。通过使用区块链的分布式存储一致性，私有法律数据库和共享数据库将同步更新。

法律文本的数据模可以将任何法律文本表示为一个简单的嵌套列表。用户首先定义文本模，然后迭代地定义文本模中的模块，然后不断地对它们进行优化以获得最终的合法文本。

数据模可以将任何智能合约表示为一个简单的嵌套列表，并根据输入参数将其转换为合法文档。同时，您需要将代码与特定的文本模板匹配。当有人提交特定模板的请求和模板请求的必要参数时，它将返回匹配的代码片段。这需要创建一个独立的“代码模板”数据库，将标准化代码片段与其相应的合同条款相关联。这些契约模块可以组合成一组“代码模板”实验室正在深入推进相关技术、经济模式和社区体系建设的完善。