DAPP:智能合约的保障:法律代码科技_DAppLinks

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

正如前文所述尼克.萨博对智能合约的定义:“智能合约就是执行合约条款的可计算交易协议”,即智能合约是反映契约的算法合同和可执行代码合同,即当事人同意依据一定的计算机算法来确定合同的内容、订立合同和履行合同的行为,是一种特殊的软件。而契约精神的基础和保障是法律,合约代码必须蕴含着法律关系和利益交易,所以智能合约是信息技术和法律的融合体,只有两者较好地结合才能实现前文所述的第二代契约型智能和约和第三代“代码即法律”型智能合约。笔者认为这两者的融合到应用会形成一个新的技术领域—法律代码科技,这将是一个巨大的技术和社会学合作工程,也是数字社会技术发展的必然趋势。

1.?计算法律学的发展和影响

信息技术和法律相结合不是一个新话题,计算法律学是具有悠久历史的研究领域。计算法律学也被称为法律计算学,是法律的一个分支,可以认为是借助信息化技术来辅助法律的研究和实用,计算法律学主要是关注法律定量模拟和分析技术,例如,使用计算法律学可以对法律问题进行计算和建模。

研究:TikTok上加密相关视频超三分之一具有误导性:4月22日消息,根据DappGambl研究显示,超过三分之一的加密TikTok视频具有误导性。其中,47%的TikTok创作者试图通过推动服务来赚钱,包括KimKardashian、JakePaul和SouljaBoy在内的主流创作者。此外,带有加密相关标签的TikTok视频,例如crypto、cryptok、cryptoadvice、cryptocurrency、cryptotrading和cryptoinvesting,累计产生了超过60亿次观看。[2023/4/22 14:20:11]

早在十七世纪末,莱布尼兹就第一次提出制造一台机器来回答法律知识时,那将是非常有意思的一件事。1949年,一个小众的学术领域出现,关注利用有关电子和计算的方法来解决法律的问题,并且被称为“判决法理学”。判决法律学以前被认为是关注于司法行为的定量分析的,应用在通信与信息理论的法律解释中,并由电子和机械的方式来制定法律概率的计算方法。

在1958年,在英国国家物理试验室召开的“思维过程机器化”会议上,法国科学家吕西安·梅尔提交了一篇论文,提出了使用计算解决法律的问题的益处,论文还提到使用像人工智能杰出人物明斯基提出的一种研究方法。吕西安·梅尔认为法律可由两个不同的部门来组成。其一是“文件或信息机器”,其二是“咨询机器”??。前者可以为法律研究者提供相关的案例和法律奖学金,后者是可以回答向它提出的任何法律问题;后者可以替代很多律师回答一些简单性并且有确切答案的问题。1970年,吕西安·梅尔的首款机器面世,八十年代,第二代机器问世。二代咨询机的性能有所提高,它可以回答吕西安·梅尔提问的一些咨询性问题,当人们向其输入法律问题时,其可以自动输出答案。

研究:60%的北美人在没有做尽职调查的情况下投资于加密货币:金色财经报道,根据Bybit和Toluna的研究,64%的北美人在投资加密货币前花不到两个小时或根本不做研究。近50%的北美受访者承认,在评估了短短几个小时的利弊之后,就成为了HODLers,而15%的人说他们完全依靠社交媒体和朋友的建议。

年轻一代比年长者更容易忽视尽职调查的过程。33%的X一代和47%的Boomers在投资一个加密货币项目之前至少要花几天时间。[2023/1/22 11:25:24]

1987年,举办了第一届关于AI和法律的国际会议。之后举办的会议开始更加深入的研究该领域。到2005年,自动化和科技可以改变律师们的角色,它们可以监督过程、促进积极地工作和越来越多的计算机管理。一方面,法律专家预测,这将有助于法律自助,特别是在合同建立、企业规划和预测规则变化等方面。另一方面,智能电脑也演示了计算机法学的潜在能力。

近年来,英美等国家已经开始着手研究各自法律体系下智能化的计算法律学这一课题,随着自然语言输入、人工智能技术的突破和大数据技术的发展,计算法律学原先所遇到的难以克服的难题,现在正在被逐渐突破。?IBM公司基于Watson系统正在研发法律咨询服务系统,可在一定程度上替代初级律师的工作。2011年,IBM的Watson软件成为世界第一个能解决有“常识”问题的软件,在这之前一直这被认为这是不可能的,2015年6月22日,IBM宣布将运用Watson软件来分析法律契约合同。麻省理工设计了身份验证方案,身份管理框架,其中心思想为绝对可信的身份管理,架构了一种全新的计算框架。一些学者也开始研究人工智能技术对法律的影响以及对所涉法律问题的研究。

研究:美国采用加密技术最充分的州是佛罗里达州:12月10日消息,Invezz进行的研究将佛罗里达州视为美国的加密货币之都,因为它积极参与新兴的加密经济。迈阿密是人均比特币 ATM 数量最多的城市之一,每 100,000 人拥有 14.63 台,也是公众对加密货币感兴趣的比例最高的城市之一,每 1,000 人在谷歌上搜索加密货币主题的次数为 210.28 次。

在加密货币排名方面,佛罗里达州获得了最高的分数 9.35,德克萨斯州和伊利诺伊州紧随其后,分别为 8.71 和 8.03。佛蒙特州是美国唯一没有比特币 ATM 的州。另一方面,德克萨斯州拥有 4,101 台 ATM,这是全美最大的加密 ATM 网络。怀俄明州等对加密货币友好的司法管辖区每 100,000 人拥有最多的区块链公司,超过 20 家,而加利福尼亚州的总数最多,为 2,670 家。[2022/12/10 21:36:21]

总之,计算法律学当前的研究重点是法律决策和他们之间的相互关系的实证分析。这些进展通常利用引证分析。由于法律的广发引证,可以构建一个引用网络。为了实现相互关联,引用网络允许使用图形遍历算法,以及使用各种距离度量,以找到它们之间的数学关系。在司法诉讼和法律应用中,这些分析可以揭示重要的总体格局和趋势。

研究:54%的硬钱包所有者的密钥易受攻击:金色财经报道,根据Ngrave的一项调查,十分之七的加密货币投资者拥有一个硬件钱包,其中54%的人将他们的备份短语保存在纸上,而这些投资者中有50%将他们的完整备份保存在一个地方。Ngrave的2022年加密安全自审计报告显示,如果有人找到他们的备份,50%的硬件钱包所有者的密钥将被泄露。该公司首席执行官鲁本·梅雷(RubenMerre)对这份报告发表了评论,并表示:我们年度安全自审计的结果表明,投资者用来确保其资产安全的方法存在明显差距,尤其是在高调和高价值的违规行为变得越来越普遍的时候。(cryptoslate)[2022/4/6 14:06:35]

2.?法律代码科技

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

研究:包含比特币的投资组合表现要好于仅由传统资产组成的投资组合:1月24日消息,波兰华沙大学(Warsaw University)经济学家进行了一项研究,在分析了有和没有比特币的投资组合后表示,比特币应该被添加到投资组合中。经济学家表示,此项研究旨在验证将比特币纳入由不同市场资产组成的投资组合中是否会改变有效边界,以及验证比特币是否能够获得一定的分量并改善整个投资组合的风险回报率。根据众多研究发现,比特币与其他资产不相关,从而使其成为投资组合的多元化工具。在经过大量分析,经济学家得出结论:将比特币包含在投资组合中确实可以提高其效率,即包含比特币的投资组合表现要好于仅由传统资产组成的投资组合。(Trustnodes)[2021/1/24 13:19:43]

美国著名学者莱思格在十年前提出“代码即法律”的观点,引发了人们对于计算机代码与现实世界中的法律的关系的思考。我们要关注的不是法律的信息化支持,而是数字化、代码化的法律,形成代码法律条文代码或代码即法律,类似于金融科技的诞生带来的金融和科技交叉产业的蓬勃兴起,法律和科技交叉也必将在数字社会这个更广阔的领域兴起,笔者称之为法律代码科技。

法律代码科技是法律学和信息技术的融合,综合采用计算法律、软件编码、人工智能、区块链和智能合约等技术来实现对法律、法规、合同、章程等法律文件的代码化表达和自动运行,以及如何保障通过计算机代码所设定的规则与现实世界中的法定规则保持一致,成为数字社会的隐形法律,实现“代码即法律”过程的代码化。其核心要点一是将法律文本、模板或契约等法律文件通过人工智能、软件工程等技术转换为各种计算机可以执行的代码;其二是这些代码需要具有代码法典的作用,一旦确立不可更改;其三是代码需和法律文本保持一致或要符合法律条文,克服自然语言的二义性;其四是产生代码的过程是公信的、合规的和法律认可的。

区块链的出现为法律代码技术的发展提供了信任机制和法律代码载体,体现了智能化和程序代码结合诠释法律文本和契约的方式,因此给法律代码化带来了可实现的契机和巨大的发展空间。法律代码科学是一种新的科技融合,是一种新的视野,是法律学、人工智能、区块链和智能合约等技术的融合是一个全新的研究视角,重点是要解决智能合约的法律效力问题。不仅可以将法律要素融入到自动执行的智能合约代码,使智能合约具有法律效力,具有电子证据和电子合同的职能,且生命周期具有法律保障机制,这也是智能合约被大量接受运行的前提。智能合约的智能化包括合约内容的智能化和合约生产的智能化,应当充分挖掘法律通常的认识方式和思维方式,在对法律规则进行代码化处理时,采用自然语言识别、形式化方法、认知理论和机器学习方法尽可能使复杂法律规则能够准确地自动转换为智能合约代码。同时,智能合约生产过程必须更为智能,更容易为用户理解、编写、部署和执行监管。

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

这个架构维护与构建一个共享的法律文本代码库,采用人工智能技术和描述语言构建代码库,每个遵守社区使用协议的用户都可以使用与贡献自己的法律电子文本和代码。如图1所示,法律共享社区定义好法律文本模型以及对应的模型描述语言和技术架构,基础设施将物理硬件组合管理起来为上层提供服务接口,定义好服务接口,利用区块链提供服务注册、查找功能,管理控制用户使用法律技术服务,实现按需所取。

首先,法律共享社区管理、维护共享库上的法律文本代码库,律师事务所、律师、学者等都可以直接使用这个共享库中的法律文本代码,但正确性由使用者自身验证,除此之外,还可以上传共享自己建立的新的文本代码模板到区块链中的更新列表中,被社区管理成员认可的模板会被加入共享库中。

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

法律文本的数据模型可以将任何法律文本表示为简单的嵌套列表,用户先定义好文本模型,然后迭代定义文本模型中的模块,不断细化,最终得到完成的法律文本。

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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

大币网

[0:0ms0-1:894ms