关键词： 智能合约   法律性质   合同效力  

摘要： 智能合约是一种用计算机语言代替法律语言去记录条款的合约,其原理是将合约置于一种开放的分布式数据库中,实现合约自动化管理,从而减少人为干预、降低合同风险。但由于计算机语言与传统语言之间存在天然差别以及分布式账本具有不可更改等特性,智能合约与传统法律制度存在冲突,亟待解决。本文将从智能合约运用中遇到的法律问题、智能合约的性质争议及合同性质论证、智能合约法律效力的特殊性、智能合约法律性质与效力制度的构建与完善四个部分论述和分析智能合约的法律性质与效力。文章第一部分提出了智能合约在运用中遇到的法律问题。首先,区块链技术下的智能合约是否应该纳入法律范畴讨论,智能合约与传统合约有何区别;其次,明确智能合约法律问题的基础,在确定智能合约法律性质与法律效力的基础上才能讨论智能合约的法律问题。文章第二部分主要是对智能合约性质争议及合同性质的论证。主要围绕两个方面展开:一方面是学界对智能合约性质的观点讨论,代表学说有自助行为说、程序说等;另一方面是对智能合约合同性质的论证。智能合约有符合合同法律关系的要件,分别是合同的主体、客体和权利义务的内容文章第三部分通过四个方面分析智能合约作为合同其法律效力的特殊性。首先,智能合约通过加密处理后的代码形式呈现合同的内容,其合同效力的认定及解释规则具有特殊性;其次,智能合约缔约主体能力的判断具有特殊性,通过注册主体并不能探知智能合约缔约主体的行为能力,且智能合约提供方的主体地位在法律上的界定并不清晰,导致其法律责任不明确;再次,智能合约在意思表示方面表现出了极强的特殊性,其意思表示形成的判断以及意思表示的错误和撤销等传统法律问题难以通过现有法律规则实现;最后,智能合约的执行方式决定了智能合约的履行效力与一般合同的区别,智能合约履行规则、解除规则、违约责任都具有特殊性。文章第四部分结合目前的立法现状,从《合同法》、《民法总则》《电子商务法》等相关的制度缺陷为切入,探讨智能合约需要克服与现有法律系统的对接和协调问题,才能获得长足的发展。主要从四个方面展开:一是对智能合约运用中的现有相关制度缺陷的探讨,二是对《合同法》及其司法解释的完善建议,三是对《民法总则》适用于智能合约的特殊规则的确定,四是对目前民事法律对区块链电子证据的认定。通过对目前法律规定的完善,减少智能合约适用过程中的不确定性,避免由此引发的法律风险。

关键词： 订单农业   区块链   智能合约   超级账本  

摘要： 近年来,随着养殖业的发展和互联网技术的普及,基于网络交易平台的订单农业成为了供销双方新型的农业生产合作模式,它不仅解决了养殖者与市场供需不平衡的问题,还有效降低了盲目性的投入。但订单农业存在着交易互信问题以及业务链不透明现象,容易出现资金短缺、单方违约和产品质量等问题。目前解决该类问题的方式大多是人为判断和法律监管,然而传统的“担保”模式不能从根源上解决供应质量问题,法律决策也不能有效落地实施。随着物联网的发展和大数据时代的到来,基于智能合约的区块链技术为解决订单农业问题提供了新的解决思路。本文利用区块链技术的防篡改、可溯源等优势,研究了基于区块链的农业订单技术,并开展了以下工作:(1)开发了一种基于区块链的农业订单平台,将区块链技术与农业养殖业务相结合。利用超级账本Fabric模型中的链码和共识机制实现了交易过程中的合同上链和信息查询,不但能防止信息存储时单方对合同信息改写,还可以将交易信息透明化,真正避免了交易中互信、篡改等问题。(2)对订单农业中所涉及的管理模块和订单交易等需求进行全面的分析和实现,并将投资者的相关业务引入到该平台中,实现了供应方、市场、参养者的三方智能化管理。(3)针对区块链技术中信息获取滞后和查询缓慢的问题,利用物联网技术和数据库技术对该订单平台进行改进。将采集设备、传输系统和农业订单平台进行连接,实现了畜牧业养殖环境信息实时上传、数据定时更新和信息及时共享。实际测试表明,该平台不但能够对农业订单信息快速上链和存储,还能在部分节点失效的情况下保证系统的稳定性和数据的健全性。

关键词： 区块链   智能合约   分布式发电市场化交易   风险因子   最优反应   过网费  

摘要： 在售电侧改革稳步发展的背景下,配电网中将有越来越多的用户由传统的消费者转变为产消者,具备参与市场化交易的能力。通过设定交易机制可以将各利益相关方联系起来,利用区块链安全可信、公开透明、集体维护的技术特征,为分布式能源的交易执行和信息安全问题提供新的解决方案。但目前将区块链应用于能源领域的尝试很大程度上还处于理论研究与概念验证阶段,缺乏交易模型与市场规则,亟需开展相关研究。首先,介绍区块链技术原理,概述区块链与智能合约在能源领域的工程应用与体系构想,以及区块链与分布式交易相结合的国内外研究现状,为后续研究奠定基础。其次,研究基于区块链技术考虑风险态度的分布式交易机制,提出结合区块链特点的交易规则与交易流程。采用考虑风险态度的双边报价策略,根据市场成员的初始参数自动地完成每轮报价的计算与自适应调整,建立考虑过网费的双向拍卖市场出清模型,提出基于区块链的安全校核与阻塞管理方法。算例结果表明,考虑过网费的市场出清模型可以鼓励分布式发电和用户就近完成交易。然后,研究基于区块链技术应用最优反应的分布式交易机制,提出结合区块链特点的交易规则与交易流程。基于非合作博弈理论,将最优反应动态应用于双边报价优化过程,考虑过网费修正效用函数,寻求所有市场成员满意的个体优化策略耦合点,提出预测误差处理机制,结合区块链技术完成交易结算。算例结果表明,考虑过网费的最优反应动态调整报价策略有利于达到促进分布式能源就地消纳的目标。最后,研究基于以太坊Remix的智能合约编写与调试。结合考虑风险态度和应用最优反应两种交易机制,完成报价优化、双向拍卖、阻塞管理与结算等几个智能合约的变量创建与函数实现,在链下完成报价优化计算,在链上完成市场出清与交易结算,并在以太坊Remix开发环境下进行智能合约的编译与调试。测试结果表明,智能合约中的函数能够满足预期功能要求,实现自动信任的电力交易。

关键词： 区块链   智能合约   形式化验证   测试平台  

摘要： 2018年5月，习近平总书记在两院院士大会上的讲话中指出，“以人工智能、量子信息、移动通信、物联网、区块链为代表的新一代信息技术加速突破应用。”区块链技术的发展机遇前所未有。然而，目前的区块链技术仍处于实验阶段，其概念、技术架构、技术特点、发展路线以及治理与监管等方面还没有一个统一的标准。市面上还缺少一个测试框架，能够对不同的区块链系统进行分析和比较，评估区块链作为一种分布式数据处理技术的可行性，同时帮助区块链开发人员识别瓶颈并进行相应地改进。　　本文依托于真实的应用需求和环境，设计了一个可以快速测试区块链技术的平台。本测试平台有如下几项特色：一是可以为区块链平台和应用提供持续且快速的反馈，降低区块链开发的成本;二是可以发现区块链平台相关缺陷，避免缺陷重现;三是为区块链应用开发人员提供了区块链的评估功能，满足其应用程序设计的需要;四是可以帮助智能合约开发者评估智能合约的编写效果，避免智能合约漏洞。　　本文的研究包括需求理解与分析、相关理论研究、算法设计与验证、平台设计与实现四个方面。主要贡献在于区块链智能合约的形式化验证和区块链的功能与性能的自动化测试框架设计。在区块链智能合约的形式化验证上，首先研究了现有的形式化验证理论以及智能合约安全性问题，然后结合CSP理论在并发环境下的理论特性，设计了一种利用CSP和FDR来验证智能合约可能存在的并发情况下的安全漏洞的验证方法。在区块链的功能与性能的自动化测试框架上，首先研究了区块链的功能与性能指标特性，然后制定了相关的测试指标，并基于这些测试指标，设计了一个区块链的功能与性能的自动化测试框架。　　最后，本文通过集成智能合约的形式化验证功能以及区块链功能与性能的自动化测试功能，实现了区块链技术的测试平台，并通过实验验证了上述智能合约形式化验证方法的有效性和自动化测试框架的可行性。本研究依托于真实的应用需求和环境，填补了区块链测试方面的空白，因此本课题具有一定的理论和实践意义。

关键词： 智能合约   隐私保护   词法分析   全同态加密   商品交易的加乘运算  

摘要： 智能合约是部署在区块链上不依赖可信第三方自动化执行交易协议的可执行代码。然而,由于交易数据等所有交易内容公开共享于区块链节点,导致区块链系统存在交易隐私泄露威胁。虽已有学者提出解决方案,但找到保持交易吞吐量和保护交易隐私之间的平衡点仍是一个挑战。鉴于此,本文以区块链智能合约为研究主题,进行以下研究:(1)分析了智能合约语言Solidity词法规则并给出各词法单元正规式定义;设计了 Solidity的词法分析器SLA并建立其自动机模型;给出基于SLA的智能合约敏感交易数据的自动化分离算法,使隐私保护对象更具针对性。(2)为提高单次加密效率及密文单次传输效率,给出NTRU-FHE17改进方案,把NHTU-FHE17方案明文空间由单比特范围的二元有限域Z2推广到p元有限域Zp,证明了改进方案的正确性、同态性及安全性。基于Ubuntu18.04+NTL库,验证改进方案的正确性、同态性并分析其效率。利用改进方案将敏感交易数据加密为对应密文。为保证敏感交易数据加密前后在智能合约中的数据类型不变,设计了改进方案密文向量整数化算法及其逆算法用于完成交易验证。(3)以商品交易为应用场景,基于词法分析器SLA和NTRU-FHE17改进方案,设计了智能合约隐私保护协议SCPPP并给出协议可证实性、不可否认性等功能分析;建立了基于SCPPP协议的区块链交易模型;基于Ubuntu18.04+Remix+Metamask+Ropsten,实现了没有隐私保护功能的多商品交易智能合约MTSC部署并完成交易;基于SLA分离MTSC敏感交易数据并分离其分离效率。(4)理论及实验表明:词法分析器SLA具有较高分离智能合约敏感交易数据的效率,其基本不影响区块链交易吞吐量;NHTU-FHE17改进方案具有较高的安全性及效率;与已有的同类方案相比,论文方案首次将词法分析和全同态加密与区块链智能合约结合,一定程度上解决了区块链隐私保护问题。

关键词： 区块链   智能合约   粮食大宗交易  

摘要： 电商行业经过20年的发展,各种电商平台技术日益成熟,目前已经入全面纵向发展阶段。为推进辽宁粮食电商贸易与物流服务,辽宁粮食电商贸易与物流服务进行深入研究,辽宁省粮食集团与沈阳师范大学联合实施了“东北粮食现货电商交易及物流服务平台”的项目建设。东北粮食现货电商交易及物流服务平台的整个交易流程中的合同签署部分采用了第三方机构电子合同的形式。电子合同可以在PC机或手机上进行合同的签署,提高了签署效率;数字签名保障合同的安全性。但是同时,电子合同需要第三方平台进行运营,具有中心化的特点,会给用户带来一定的风险;而且用户签订一份电子合同也需要向电子合同平台支付一定的签署费用。区块链作为一个新兴的概念有其独特的属性——去中心化。区块链技术具有去中心化、时间戳数据、方便编程和安全有保障等特点,特别适合构建可编程的虚拟货币系统、金融交易系统乃至其他合适应用场景社会系统。区块链是一台“信任”的机器。以密码学、反向链接数据结构和共识机制为核心技术要素,可在保护网络数据完整性、网络可靠通信与溯源领域得到广泛应用。区块链利将每一个包含数据的区块按照时间顺序依次相连,组合成一条数据链,并依靠密码学算法来保证的不可篡改性和不可伪造性的分布式账本,主要解决了交易双方的信任和交易过程的安全问题。去中心化是区块链技术的天然属性,避免第三方平台的参与,降低风险。利用区块链的公开性,分布式,低成本,高安全性,可溯性,智能合约等诸多优良特性来解决交易信用,数据互通,数据存储,数据安全中的多种问题,探索和展望其在网络电商领域的应用,为未来相关研究提供一定的参考价值。区块链作为一种不依赖第三方的,通过分布式节点来进行储存网络数据、验证信息并传递给其他节点的技术解决方案,是集成了多种底层技术的一个创新应用。区块链不仅拥有广阔的发展前景,并且有巨大的市场空间,但是与当初的设想还有一定差距。

关键词： 加密数字货币   区块链   智能合约   货币债务属性   风险  

摘要： 随着2009年以来基于区块链底层技术的新型“数字货币”——比特币、莱特币等加密数字货币的相继问世,全球交易支付领域频频出现以此类币种作为支付手段的情况,接受加密货币的商家亦不断增多,似乎一种新的货币形态正呼之欲出;但与此同时,各类加密数字货币价格的暴涨暴跌、部分国家对该类币种的严厉监管,使得人们对其本质认知存在重重疑虑且迟迟未能消散,与之相关的货币本质问题也同样亟待澄清。当前加密数字货币根据其基于区块链或智能合约技术而划分为两大类:以比特币为代表的加密数字货币和基于智能合约的加密数字代币。针对这两类不同的“币种”,学界主流观点从传统的货币商品本质视角出发,一方面对比特币等加密数字货币的本质展开争论,另一方面则较为一致地确认了加密数字代币的证券、债务属性。但是,社会学、历史学等学科的证据表明,传统理论中的货币商品本质观有悖于历史事实,因而也不适合于解读加密数字货币的本质与风险。然而另一方面,值得注意的是,相关历史证据已经证明,货币本质上是一种基于国家主权的债务关系凭证,并非仅仅是某种物品。因此,“债务本质观”视角才是解读认识货币本质,进而加密数字货币本质及相关风险隐患的“正途”。基于此,本文依据货币的债务本质与国家属性,对两类加密数字货币的本质属性分别进行了剖析。文章首先通过在第二部分详尽介绍加密数字货币的技术原理与市场现状,从而阐明了其被部分观点视为“货币”的技术和现实原因,包括具备类似贵金属般的物理特性(去中心化、总量固定等)、被部分商家和政府接受为支付工具、非法交易中用于标价等等。与此同时,本文在第三部分深入阐释了加密数字货币本质及风险分析的理论视角——“货币债务本质观”,通过对历史事实与相关理论的梳理,发现货币起源于债务的表示与流通,并且历史上从来都是国家债务的表现形式,而且国家税收机制在货币的产生、流通过程中发挥着根本性的保障作用;此外,货币还因其债务关系的缔结方式与偿付可靠性的不同,而呈现出金字塔形的层级结构。由此,进一步分析加密数字货币的本质及风险便顺理成章。本文在第四部分通过将两类加密数字货币同国家货币进行比较,得出结论,认为对于比特币等加密数字货币而言,其在本质上并未作为任何主体债务的表现形式,因而不是货币,充其量不过是以国家货币标价的、暂时用以方便媒介的一种商品,并且如果以此种商品充当国家货币,将致使国家货币主权受到削弱,并制约整个经济体系中信用秩序的扩展;而对于基于智能合约的加密数字代币而言,其无疑具有典型的低层级债务属性,并存在着权益模糊不清、非理性创造与债务链条扩展,以及民间“美元化”等风险隐患。

关键词： 区块链   智能合约   代码   “硬分叉”  

摘要： 区块链技术支撑下的智能合约并不能一劳永逸地解决所有潜在的纠纷与冲突。世界上没有完美的法典,但有着丰富的法律适用经验以及这些经验背后对于解决社会冲突的各种可行的思路与方法。从某种意义上来说,人们应该考虑的并不是用智能合约来替代法律裁判,而是需要让它与现有的法律体系融合,并借助于法律所积累的历史经验来为各种利益冲突提供解决问题的思路。

关键词： 协同文本编辑   IPFS   以太坊   智能合约   CRDT   B-DS  

摘要： 协同文本编辑系统的目标在于提供物理空间分散的文字工作者合作编辑文档的可能性。当前多数基于C/S或B/S模式实现的协同文本系统虽然从功能角度提供了用户合作编辑文档的网络平台,但同时也因为对服务器的高度依赖往往存在明显的系统和数据安全漏洞。针对该问题,论文提出了一种基于IPFS和以太坊的去中心化网站构建模型,并联系相关协同编辑理论和应用框架实现了一个分布式协同文本编辑网站。主要工作总结如下:首先,研究并讨论了早期协同文本应用的构建方案,针对其高度中心化的结构缺陷结合去中心化应用不断发展的时代背景,提出了基于对等网络和分布式一致性维护算法CRDT实现Serverless协同编著网站的新的构建思路。其次,通过对传统B/S模式的改造,提出了一种基于IPFS和以太坊的去中心化网页应用架构模型B-DS。该模型使用IPFS和以太坊作为数据存储层,在提供可靠数据存储的同时向上提供可信计算和统一管理服务,实现了网页应用构建中去中心化的拓扑结构与统一管理的功能需求的有效统一。最后,根据对IPFS和以太坊的技术分析,结合实际应用需求对系统进行了相应的系统架构和功能设计,并最终在B-DS模型的基础上给出了网站的前后端实现方案和重点功能模块的实现过程。针对IPFS和以太坊的特殊应用背景,论文详细介绍了网站的部署过程,并从系统兼容性和功能方面对系统进行了相应的测试,确保平台的正常运行和使用。论文所实现的分布式协同文本编辑网站创新性的将IPFS和以太坊技术与协同理论相结合,设计并实现了对等网络中的分布式协同文本编辑网站应用,验证了在对等网络中构建Serverless网页应用的可行性,为解决当前网站建设中所存在的单点失效以及数据安全问题提供了一种新的解决思路。

关键词： 区块链   项目评审   虚拟投资   智能合约  

摘要： 互联网的快速发展,使得软件系统渗透到人们工作生活中的方方面面。将项目评审工作转移到线上,员工在线上发布项目,其他人员随时随地进行线上项目评审,使整个评审工作变得方便快捷,大幅度提高了工作的效率。中央数据库中存储着项目评审系统中的所有数据,所以风险较高。例如:中央数据库出现问题时,数据容易丢失;评审数据信息可能会被恶意篡改。本论文在使用区块链的基础上,开发了项目评审系统,保证系统信息的安全可靠和公开透明。论文完成了以下两方面工作:(1)在数据库的基础上实现项目发布与管理。其中包括项目发布、项目审核、用户管理和公告管理。用户在系统中填写项目相关信息,管理员对系统中的待审核项目进行审核。管理员对系统用户和公告也有管理权限。(2)在区块链技术的基础上实现项目评审与投资。系统为每个新添加的用户和新发布的项目创建区块链账号,利用系统发放的虚拟币对项目进行虚拟投资,通过虚拟投资的方式反映用户对项目的支持力。每次的虚拟币交易信息都在区块链的节点上存储,最后通过项目区块链账号里的虚拟币总数判定项目的评审结果。利用区块链技术将投资数据等重要信息存储到区块链,并在链上的每个节点达成共识,对数据存储备份以保证数据的安全,实现数据的分布式存储。最后对系统的功能进行测试,确保系统可支持用户线上进行项目发布和评审,评审数据存入区块链,最终实现了一个完整可靠的基于区块链技术的项目评审系统。