关键词： 智能合约   支付联动条款   区块链   合同交互式系统  

摘要： 围绕合同法应当如何对智能合约支付联动条款进行规制这一主题,本文共分为五个部分展开。在初界定智能合约支付联动条款概念和类型后,主要讨论如何判断智能合约支付联动条款的合同效力、当智能合约支付联动条款无效后该如何予以救济?因事后救济成本过高时又该如何对智能合约支付联动条款进行有效的事前规制等三个具体问题。第一部分,智能合约支付联动条款合同法规制的基本理念。智能合约支付联动条款基于计算机程序“if-then”的语言逻辑使其他智能合约的执行作为预设条件,从而形成的一个合同交互式系统。智能合约支付联动条款可类型化为三种形式,包括附条件生效型、合同联立型、合同联结型,分别对应于合同法上的附条件生效条款、合同联立条款以及公司契约理论中的合同联结体。因此,对智能合约支付联动条款的合同法规制应当遵循类型化思维。另外,虽然能够与现有合同法规范相对应,但各种类型的智能合约支付联动条款仍存在一定差异,在建构具体规制时应结合智能合约技术特点予以特别关注。智能合同的此类特殊性要求提供特殊的合同法规范,包括特殊的理念与特殊的规则。这些特殊理念与特殊规则最终表现在国家意志对当事人设定权利义务关系自由进行的特殊限制,具体而言,就是特殊的效力判断规则、救济规则、合约条款控制规则、合同联结型智能合约支付联动条款的组织性治理规则,等等。第二部分,智能合约支付联动条款的效力判断规则。与传统合同相比,智能合约支付联动条款在有效要件的构造上并无太大区别,除合约代码能够被准确识别这一特殊要件外,仍应当具备相应民事行为能力、意思表示真实、不违反法律强制性规定等一般要件。当然,在适用于不同类型的智能合约支付联动条款时,相应要件应根据条款的特点进行特别限制。此外,鉴于智能合约支付联动条款是数个智能合约相互联结的纽带,其中任一智能合约的无效都将引起整个合同交互式系统效力变动,因此,从效率价值层面考虑,尽量避免整个条款的无效是司法判定中应秉持的态度。第三部分,智能合约支付联动条款无效的救济规则。智能合约条款无效的处理规则难以适用合同法的一般规定。因为在智能合约条款无效后,要求区块链交易数据的恢复不仅成本耗费巨大,还会减损区块链安全可信任的技术优势与去中心化监管的特点。折价返还也并非理性选择,因为条款的联动性导致其具有成本巨大的显著局限。可行的做法是,采取合约内部共识机制与司法外部干预相结合的方式。第四部分,智能合约支付联动条款的条款控制规则。根据格式条款的效力控制原理,智能合约支付联动条款也需要条款控制规则。但是,以事后救济为显著特征的合同法的相关制度因成本高企,并不事宜。为此,应将重心转移到事前。就具体规制措施而言,实践中已自发形成一定的习惯措施,如模板合约条款的强制订立、合约平台分类适用、引入第三方中介审查机构;本文也赞同理论界关于增加法律限制程序、将人为判断引入智能合约预言机系统的建议。作为市场交易规则的体现,合同法应当积极吸收借鉴这些规制措施。第五部分,合同联结型智能合约支付联动条款的组织治理规则。合同联结型智能合约支付联动条款所形成的合同交互式系统呈现出公司组织形态特征,包括法律人格、有限责任、股份自由转让、董事会结构下的经营管理及投资者共享所有权等公司核心特征。以公司法理论视角建立组织治理规则或将是一条可行路径。该路径规则不仅以公平价值为导向,强调对普通投资用户的保护,同时也以效率价值为导向,以期减少当事人缔约成本。

关键词： 基于区块链   智能合约   传统合同法   挑战  

摘要： 现阶段,随着社会的不断发展,我国的现代化建设也有了很大的提高.本文主要围绕智能合约进行阐述.首先,背景知识介绍,即智能合约的定义、特征;其次,介绍了智能合约可能对传统合同法提出的挑战.

关键词： 区块链   智能合约   安全电子投票   零知识证明   去中心化   多候选人投票  

摘要： 随着社会的进步,很多的应用场景都需要投票表决。在互联网时代下,电子投票以成本低、工作效率高、失误少的优势取代了传统的纸质投票形式,由于电子投票系统的数据存放在中心数据库,存在如下问题:投票数据不够公开透明且容易被篡改伪造;用户的私密信息存在被泄露的风险;选民无法验证投票结果。而区块链技术来源于比特币的,其本质是一个基于共识机制、无中心化的数据库,具有去中心化、可溯源、不可篡改性和准匿名性等特点。区块链技术可以弥补目前投票系统中的不足,使投票过程公开透明,防止欺诈选票,增强投票数据的安全性,实现投票结果可验证。因此,研究结合区块链的应用具有非常重要的意义和前景。本文主要的研究工作包括以下几个方面:1、本文详细介绍了安全高效的电子投票系统在国内外的发展历程,深入研究了以以太坊为代表的区块链的相关技术与理论,详细介绍了结合区块链的电子投票系统的发展状况。2、本文提出了基于分布式EIGamal加密体制和零知识证明协议的电子投票方案。该方案能实现多候选人的投票方式,具备自我计票功能,无需第三方计票机构,具有较好的实用性。方案中利用分布式EIGamal加密体制保证了选票内容的安全传输,同时根据EIGamal体制的乘法同态性可以实现加密选票的统计,保护了选票的隐私性。另外,方案采用零知识证明协议,能够保证投票者及选票内容的合法性,防止重复投票。通过安全性分析,本文方案在满足电子投票协议的基本要求下,对投票者的隐私信息做到最大化的保护。3、本文设计及实现了基于本文提出的安全投票方案的智能合约。该合约分为三部分:主合约,通过合约的地址和应用程序二进制接口文件调用另外两个智能合约的功能;投票协议合约,控制投票过程中的关键环节;加密合约,负责创建离散对数知识证明协议和合法性知识证明协议的验证参数及选票加密的方法。4、本文开发实现了基于以太坊平台的区块链投票系统。采用***技术和Electron技术实现投票系统的投票者和投票发起人两个客户端,通过以太坊***库开发了一套调用投票方案智能合约相关方法的接口,用于投票系统完整地执行投票协议的业务逻辑。然后在以太坊私的链上进行系统性能测试,记录关键方法的计算成本和Gas消耗。测试结果表明,本文设计的基于区块链的投票系统具有良好的性能,同时也证明了本文的投票方案的可行性和正确性。

关键词： 智能合约   区块链   零知识证明  

摘要： 随着互联网技术的发展,互联网已逐渐渗透入人们生活的各方面中,资产的数字化将成为一种趋势。智能合约技术有助于保障数字资产的安全性,并为资产的转移提供便利。通过将合约以代码的形式建立,并记录到不可更改的区块链中,合约的真实性和可靠性可获得保障。然而,新兴的智能合约技术正面临着巨大的安全风险,2016年6月17日,运行于以太坊公有链中的The DAO智能合约系统受到黑客攻击,导致至少6000万美元的财产流失。这在很大程度上制约了社会对于区块链与智能合约的信任。在现有的以太坊、Hyperledger等项目中,由于需要在矿工节点上运行复杂、有状态的智能合约程序,这赋予了矿工过多的权力,在空间开销、隐私性方面都将产生严重问题,甚至可能影响整个区块链网络的货币稳定性。针对矿工权力的问题,本文将矿工的记账权与智能合约程序的执行相互分离。本文提出了一种非交互式的智能合约模型,这是一种基于承诺的合约表示形式,通过该方式可以描述现实中所存在的一大类合约。智能合约程序的执行结果将由若干复合承诺兑现与否来决定,每个承诺的兑现与否将由第三方节点进行计算,矿工只需要依据承诺的兑现情况进行相应的记帐。对于第三方节点,其数据均来源于区块中,从而保证承诺兑现结果的有效性和可验证性。针对用户隐私,本文在使用简洁非交互式零知识证明(zk-SNARK)技术的区块链项目ZCash的基础上进行了扩展,使其具有验证承诺的功能,从而确保了在区块数据公开的情况下,用户账户无法被追踪。在上述基础上,本文研究并设计了包含第三方认证以及匿名转账的区块链协议,对其中所存在的安全风险进行了分析。最后,本文设计了基于承诺的区块链智能合约应用,通过本文所提出的智能合约框架,实现了一个用于数字资产的众筹平台。用户资金转移通过区块链货币执行,并且平台重要数据都有相应的区块记录,防止平台或恶意用户对其进行篡改,提高了平台的公信力。本文主要针对区块链上的智能合约所面临的安全问题进行研究,并结合实际需求,提出了基于承诺的智能合约模板设计,解决智能合约使用过程中的一些安全问题,从而促进智能合约技术的发展。

关键词： 可信网络   网络身份管理   身份基密码   区块链   密钥撤销   智能合约  

摘要： 现有互联网因最初缺乏安全性设计而易遭受攻击,要实现网络可信,最根本是要实现网络实体身份持有和使用的可信追责。也即网络身份和所进行的网络行为能够真正追责到其所有者,才能避免各种欺骗攻击,保证网络实体可信和网络行为可信。可信网络依赖于网络身份的可信管理,它首先为每个网络身份赋予公钥,通过密码认证加密等手段,为所有身份的分配、认证、授权和使用等网络行为附加可信证明,实现通信与服务的可认证性、完整性和机密性,最终实现网络实体与行为的可信可追责。当前现有的网络身份可信管理多依赖传统的公钥基础设施PKI,身份持有者被分配身份标识的同时,需要利用第三方CA为其签署证书。它在网络控制层面和网络应用层面都存在一些问题:(1)相对分散的网络应用层面服务实体身份管理中,CA的安全可信问题突出,证书的签发和撤销易被恶意利用,难以监管;(2)而依赖集中式信任机构的安全身份管理方案往往不透明,缺乏审计,中央集权存在职权滥用的弊端;(3)证书管理复杂导致在网络控制层面的可布署性降低,复杂的证书查询和验证给网络带来了很大速度时延和性能损耗;带外安全加固的方式使得原有协议更加复杂。针对上述问题,本文首先将新型信任体制——区块链引入到网络实体身份管理当中,分别在服务证书和互联网编号管理方面,设计有效安全的管理机制和基础设施,其次将新型密码体制——身份基密码应用到网络身份管理中,重点研究密钥撤销问题,进一步为域间路由安全设计新的基于身份基密码的路由认证授机制。本文的主要研究工作和贡献包括:1、提出一个基于公开区块链的可扩展撤销和证书透明方法BRT来增强SSL PKI的安全性,从而有效地处理诸如证书撤销和更新、证书监管、证书透明性证明。通过一个链上审计机制和链下存储/计算机制,BRT不需要直接在区块链上记录证书,仅在链下记录附加的、可审计的公共日志和撤销信息。BRT能够抵御恶意操纵,DDos和镜像世界等攻击,通过受激励的日志监控和行为异常报告机制,实现经济有效的证书签发透明和撤销更新。2、针对集中式信任机构互联网资源实体编号管理缺乏审计的问题,提出了一个值得信赖的基于区块链的互联网编号管理基础设施BGPCoin。它通过分散的基础设施记录互联网号码分配和授权,并通过跟踪号码资产的所有权和使用权的变化,支持BGP路由器用以匹配源路由通告,检测和丢弃前缀劫持。BGPCoin满足透明性,可审计性和安全性,并可增量部署。3、对网络身份基密码的撤销管理问题进行深入研究,提出了两种可撤销身份基加密方案,匿名可撤销身份基加密方案ARIBE和层次不受限的可撤销层次身份基加密方案U-RHIBE。针对ARIBE的设计,我们克服了在指数逆构造在添加可撤销功能的困难,提出通过拉格朗日系数方法实现构造,并利用完全子树方法实现O(log N)量级的密钥更新。接着我们提出首个具有自适应身份安全的层次不受限的可撤销层次加密方案U-RHIBE,并具有抗解密密钥泄露和短公共系统参数的特性。通过仔细的形式化证明,U-RHIBE覆盖了6种优势属性:自适应身份安全,层次不受限的密钥分发,高效撤销,无状态的密钥更新,抗密钥泄露和抗内部入侵。4、针对BGPsec证书管理复杂,部署动力不足等缺陷,提出一种基于身份基密码的网络路由自认证授权通告与聚合认证机制SIRAA,不需要使用由可信第三方维护的CA机构所签发的数字证书对BGP实体的身份和公钥进行绑定,从而避免建立管理PKI的负担以及管理和认证公钥证书带来的开销,因此可减少路由器的计算和存储开销。我们设计一个可部分聚合的前向安全的层次身份聚合签名HIBPAS,并基于HIBPAS提出SIRAA用于BGP路径通告与授权的证明与认证。SIRAA能够很好保持经典BGP安全方案所能达到的安全性,并相比其他改进的BGP安全通告方案,能够在存储效率、计算开销等方面取得很好的平衡,具有良好的可行性。

关键词： 中小企业贷款   区块链   智能合约  

摘要： 我国中小企业具有数量众多,经营范围广泛,覆盖行业齐全等特点,能够满足小批量个性化的生产需求。中小企业对于国民经济增长有着重要的意义,中小企业的健康发展有利于增加就业岗位和提高市场活跃度,同时中小企业也是科技创业领域的主力军。中小企业资金短缺与借款困难间的矛盾催生了许多监管不严乱象丛生的借贷平台,中小企业借贷难的问题仍然亟需解决。近年来,随着比特币的火热,人们越来越关注其底层技术区块链技术的发展,基于区块链的智能合约的种种优势和特点能够应用于中小企业借贷,优化现有模式,解决诸多问题。本文分析了中小企业现行借贷模式的现状,并着重具体分析了P2P抵押贷款平台模式的现状。介绍了区块链和基于区块链的智能合约的主要特点,并对基于区块链的智能合约应用于中小企业融资的适用性及智能合约本身在执行过程中可能存在的限制性问题进行了分析,并简要介绍了现阶段智能合约的实际落地应用。结合案例,本文着重分析了基于BCOS的贷款资金供应端的银行间对账管理平台的应用情况,设计探讨了基于BCOS的抵押贷款平台模式,基于BCOS的对账管理平台可用于抵押贷款模式中的资金存管环节中,针对该应用场景下的关键性问题的解决进行了探究,对BCOS所应做出的适应性改进进行了具体的研究和分析。对于区块链未来在金融领域的应用进行了批判性的思考和展望。该案例的研究旨在优化中小企业的融资模式,在一定程度上缓解中小企业借贷难的问题,帮助中小企业健康发展,促进国民经济的长期稳定发展。

关键词： 区块链   智能合约   部分盲签名   隐私保护   PBFT  

摘要： 区块链技术作为数字加密货币的底层技术,随着比特币在科技界及金融界的活跃而备受关注。其去中心化、透明可信、不可篡改等特质,也为智能合约提供了可信的执行环境,保障了智能合约的公平公正执行。以太坊基于区块链技术,提供了智能合约的完整解决方案,使区块链的应用领域得以扩展。近年来,众多行业联盟应用联盟链解决去中心化问题并取得成效,使得联盟链成为企业级应用的首选。由于区块链中的交易存储于全局账本中,智能合约的整个生命周期均全网广播并被记录,这使得合约的隐私无法得到保障。同时,以太坊现阶段仍采用工作量证明机制实现数据的一致性,而该共识机制并不适用于联盟链环境。针对以上问题,本文基于以太坊联盟链展开研究,通过对区块链相关技术,智能合约技术以及所涉及密码学技术的研究,提出一种基于盲签名技术的智能合约模型。模型融入指定验证者的部分盲签名算法,该算法的限制验证性、不可否定性以及部分盲性保证了智能合约的隐私性。同时针对工作量证明机制的效率低下及算力浪费等问题,提出采用PBFT作为模型的共识机制,并对其加以改进,设计了适用于联盟链应用的改进的实用拜占庭容错算法。最后本文基于所提出模型,搭建了一个简易的去中心化股权转让系统,该系统中交易相关操作通过区块链中智能合约实现。

关键词： 物联网安全   区块链   智能合约   去中心化  

摘要： 随着物联网的飞速发展,其爆发出的安全隐患日益增大.区块链技术从提出之日起就在网络安全方面有着得天独厚的优势,且区块链与物联网有很多契合点.本文主要研究利用区块链技术提高物联网安全性的思路和方法.

关键词： 区块链   智能合约   事务并发控制   多版本事务排序  

摘要： 区块链智能合约为不可信的分布式环境提供了去中心化的可信一致存储服务。但是相比于传统中心化数据库,目前区块链平台的吞吐量的过于低下导致它在多数应用中无法替代传统数据库。该性能问题部分源于目前的区块链不支持区块交易的并发执行,因此通过设计并发控制算法来并发执行智能合约可以提升区块链平台处理能力。在区块链网络中,验证者需要按照生产者采用的交易顺序确定性地重新执行区块并产生一致的最终状态,因此传统DBMS中的并发控制算法由于其结果的不确定性而无法直接应用在区块链中。针对智能合约的确定性并发问题,本文通过引入多版本交易排序（MVTO）的方法,提出了一个适用于区块链上的智能合约并发执行的并发框架。在该框架中,矿工使用传统事务并发控制发现某冲突可串行化的调度,在执行中记录交易写集以及调度的等价串行交易顺序到新区块中。其后,验证节点在执行该区块前,利用区块中交易的写集和执行顺序为每个冲突的合约状态上预先构建一个有序的版本链,静态地定义冲突操作之间的优先级关系。最后验证节点在执行该区块时,基于上述版本链使用MVTO算法来实现以相同的等价串行交易顺序确定性地并发执行该区块中的交易,从而达成分布式网络中合约状态一致性的最终目的。实验结果表明,相比于顺序执行,MVTO可以用3个线程的线程池执行实验智能合约达到2.5倍左右的提升。

关键词： 智能合约   区块链   P2P网络   轻客户端   分层确定性加密  

摘要： 随着数字货币相关技术和业务的迅猛发展,区块链技术与一致性共识机制受到很多关注,基于区块链技术的智能合约技术也逐渐成为研究热点。智能合约是一套以数字形式定义的承诺,合约参与方可以在上面执行这些承诺的协议。日常生活中,大部分在线交易需要依赖Paypal这样的第三方机构来保障交易双方的利益。这种依托于第三方的保障性需求,需要有信誉较高且普遍认可的保障提供方,还需要向其缴纳高昂的手续费。目前市面上出现了基于区块链技术的智能合约应用,依托一致性共识机制提供合约保障。但是目前的智能合约应用普遍是面向开发者的,过于依赖特定的平台环境与开发技术,对普通用户极其不友好。针对这一点,本文基于区块链开发了一个智能合约平台,用户可以从安卓端接入合约网络,在其上用户可以方便的参与到合约当中。该合约平台选取P2P网络来取代传统的C/S架构以摆脱对中心化服务器的依赖,实现了合适的区块及数据结构来保存合约及其执行状态以实现快速验证,实现了权益证明机制来保障平台一致性共识,最终完成了一个不需要第三方保障服务的合约平台。本篇论文首先针对现有较成熟的Bitcoin和Ethereum等区块链应用的底层实现进行分析,如一致性共识机制、挖矿算法、P2P网络连接等。然后围绕着移动终端的智能合约应用开展了用户需求分析与平台设计,针对智能合约的安全性、时效性等问题进行了详细的分析对比。平台设计实现过程中对各个模块进行了针对移动终端的优化,针对智能合约相对频繁的状态存储操作采用了新的存储数据结构,设计并实现了移动端快速查询的轻客户端和分层确定性加密账户,给出了基于安卓平台的智能合约平台的代码和合约样例,并针对实现的平台进行了功能测试。