关键词： 区块链   智能合约   以太坊   医疗保险  

摘要： 近几年来,随着区块链技术的不断更新换代,区块链应用的业务场景越来越多。越来越多的从业人员开始关注区块链技术,并积极的搭建自己的区块链项目,甚至有些业内专家预言说区块链技术可能掀起互联网的第二次革命。就目前来说,区块链技术以其去中心化、开放性、自恰性、信息不可篡改、匿名性等特点,应用在法律行业,电力行业,金融行业等等。而在医疗保险行业之中,保险公司与投保人之间经常出现纠纷,纠纷的缘由可能是投保人提供虚假的个人信息骗保,要么是保险双方在理赔的过程中对于免责条款的认定有所不同。随着医疗信息数字化,可以将医疗信息数据存储在区块链中,这些数据真实可靠,无法篡改,实时同步。这样对于投保人以及保险公司的管理将带来莫大好处。在上述背景下,针对医疗保险领域,设计并实现一套基于区块链智能合约的医疗保险系统。首先,深入分析了区块技术,具体有hash算法(SHA256算法)、加密技术(主要是非对称加密算法)、分布式共识机制、Merkle树、以及区块链的构成等。通过研究以太坊以及其中涉及到的智能合约技术,可以运用搭建私有链的方式构建自己的区块链应用。具体方式为以私有链生成各个节点,将智能合约部署到私有链上,借助区块链私有链的去中心化,数据不可篡改,以及信息的可追溯性的特点,使得保险以及医疗数据的存储更加安全,保险的赔付更加值得信赖。其次,编写医疗保险方面的智能合约。具体为患者通过系统购买保险合同,并可以实时的查询自己的理赔情况,医疗机构通过平台系统上传患者的医疗健康信息,或者提交患者的医疗支付信息,保险公司通过平台制定患者的专属保险合同,或者对患者进行医疗赔付。最后,以智能合约为核心,开发了基于此的一套医疗保险系统,本系统具有清晰的赔付体系,为用户带来良好的用户体验,证明了此项研究的意义和价值。

关键词： 区块链   智能合约   物联网   接入认证系统   以太坊  

摘要： 智能家居是典型的物联网系统,其安全性具有重要意义。基于区块链分布式账本技术,研究了智能家居中终端的认证和授权机制和认证流程,设计了智能家居智能终端认证系统,实现了对于物联网设备的去中心化权限管理和认证操作,大幅度提高智能家居环境中物联网设备的安全性。

关键词： 区块链技术   新模式   激励机制   分布式账本   智能合约   数据共享  

摘要： 基于区块链技术的数据共享新模式通过分布式账本、数据隐私安全、数据精准确权、智能合约激励等机制有效解决了对等机构间数据共享的诸多问题。新模式可以应用在金融机构之间、政府各部门之间、不同企业主体之间,实现跨领域的数据共享应用。随着大数据时代的到来,通过数据共享消除信息孤岛已经成为各界的共识。传统的数据共享模式是通过统一的数据仓库或大数据

关键词： 区块链   茶叶追溯   共识机制   dBFT算法   智能合约  

摘要： 由于近年来食品安全事故频发,导致广大消费者对整个食品产业的安全状况产生诸多质疑。茶叶作为中国的第一大饮品,在走进世界贸易市场的过程中,存在茶叶信息缺失、农药残留、拼配作假等问题,对消费者的利益造成极大的危害。同时,在传统的茶叶产业链追溯体系中,存在着信息中心化管理、数据易受篡改、不透明等现象,导致茶叶的质量安全问题无法得到有效解决。区块链技术去中心化、防篡改等特点能很好地弥补传统追溯系统中的缺陷。本文利用区块链技术将茶叶产业链中的各个环节结合,优化各方遵守的共识策略,设计了一套公正公开的茶叶追溯方案。本文的主要工作如下:1)对传统的茶叶产业链进行调研分析,结合研究生阶段对农产品质量追溯课题的研究,提出将区块链技术应用到实际茶叶追溯项目中所产生的共识问题以及组织节点加入问题,分析列举了主流区块链平台的优劣,选择Ethereum作为本文的实验平台,为后面的研究工作提供理论依据和基础环境。2)结合茶叶追溯特点,对传统共识机制进行分析,针对其存在计算力浪费,投票不积极等缺陷,对dBFT算法进行改进,通过在投票机制中加入信用奖惩策略,激励茶叶追溯环节各节点投票,平衡节点选举公正性;在节点选择阶段,利用层次分析法建模将指标量化,更好地选出共识节点中的主节点和备份节点,使得茶叶追溯共识效率更高。3)分析节点新增步骤流程,结合茶叶追溯体系中节点变更情况,通过对Smart Contract智能合约的改进,实现节点动态添加,将新增配置信息写进合约交易中,通过主节点提交合约交易并达成共识,将配置信息进行更新,使新加入的节点在不影响平台总体性能的情况下,更高效地加入茶叶追溯体系,更好地参与区块共识。4)为了降低在茶叶产业链不透明情况下消费者所处的劣势,同时为了保证茶叶的品质,本文利用区块链技术对茶叶产业链中的信息进行跟踪记录。茶叶数据从源头追溯,将茶叶从种植采摘到包装销售中所涉及到的信息进行区块打包存储,同时引入政府监管部门监督,根据实际的茶叶产业链各环节的特点设计出基于区块链技术的茶叶追溯方案,极大程度保证追溯信息的准确性。

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

摘要： 智能合约是部署在区块链上不依赖可信第三方自动化执行交易协议的可执行代码。然而,由于交易数据等所有交易内容公开共享于区块链节点,导致区块链系统存在交易隐私泄露威胁。虽已有学者提出解决方案,但找到保持交易吞吐量和保护交易隐私之间的平衡点仍是一个挑战。鉴于此,本文以区块链智能合约为研究主题,进行以下研究:(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改进方案具有较高的安全性及效率;与已有的同类方案相比,论文方案首次将词法分析和全同态加密与区块链智能合约结合,一定程度上解决了区块链隐私保护问题。

关键词： 区块链技术   智能合约   法律属性  

摘要： 本文旨在辨析智能合约的内涵并探讨其法律属性,最后前瞻性地提出立法监管的一些建议.

关键词： 区块链   以太坊   智能合约   代码审计   Solidity  

摘要： 随着区块链技术的飞速发展,从金融到供应链,从版权保护到物联网,区块链逐渐渗透到各行各业。与此同时,区块链自身的安全问题也越来越引起人们的重视,区块链相关安全事故频发,给用户带来极大的经济损失,更体现出了安全的重要性。区块链具有去中心化、不可篡改、匿名性三大特性,由于其利用了公钥签名、哈希算法、梅克尔树等密码学技术,使得区块链一直被认为是安全高效的电子货币。然而事实证明,只要是人类编写的程序,比如区块链客户端、钱包应用、交易所等,难免出现各种各样的被黑客利用的漏洞。例如2015年比特币主程序爆出整数溢出漏洞,造出天价比特币,导致比特币区块回滚;2016年以太坊“The Dao”事件中,黑客利用智能合约的重入攻击漏洞盗走价值六千万美元的以太币,并导致以太坊硬分叉;各大交易所持续不断被黑客入侵,盗走巨额电子货币的事件屡见不鲜。本论文正是基于这样一个背景,研究针对区块链的攻击方法和防御技术,揭露区块链相关系统的脆弱性事实,主要是终端安全、Web交易所安全和智能合约安全,并提出相应的防御技术。本论文研究成果与创新点主要包括:1、本论文通过三个真实案例详细分析了区块链系统的脆弱性和攻击方式。第一个案例是对一款比特币钱包应用(APP,Application)的木马分析,第二个案例是对一个在线运营中的电子货币交易所的Web安全分析,第三个案例是对一款以太坊分布式应用(DAPP,Distributed Application)的安全分析。本论文运用软件逆向、渗透测试、机器学习等方式对这些应用的脆弱性进行分析,并提出相应的利用方式或防护方法。2、本论文针对区块链智能合约的特性提出了对Solidity进行代码审计的防御方案。本论文详细分析了基于以太坊虚拟机(EVM,Etheruem Virtual Machine)的编程语言Solidity的现存漏洞,如重入攻击、整数溢出、变量覆盖、蜜罐合约、拒绝服务等。研究其形成原理、利用方式和危害,大部分漏洞都列出了示例代码和攻击步骤,所有代码均经过测试和验证。由于区块链无中心、不可篡改的特性,部署在区块链上的智能合约一旦出现安全问题,很难通过升级、打补丁等措施来补救。目前比较有效的防护方案是在合约部署前对源代码进行安全审计。本论文深入学习和研究了基于EVM的开源代码审计工具Oyente,然后对其进行了功能扩展,使其支持更多的漏洞类型检测,包括对“变量覆盖”、“隐藏源代码”、“孤立代码块”、“危险函数调用”四种类型的检测。

关键词： 区块链   智能合约   数字版权   法律规制  

摘要： 近年来区块链相关领域研究和学术文献都提出了关于如何部署该项技术来管理受版权保护的数字作品和邻近版权对象的多样化建议,这反映了区块链智能合约在数字版权领域的应用计划已被逐步提上日程,可以说智能合约的应用正在改变数字版权内容在数字世界中的分布方式。在区块链技术基础下,智能合约可以实现前所未有的关于版权所有权,透明度和后续变更可追溯性信息的可访问性,通过一套标准化的自我执行逻辑可以有效的提高商业效率,降低交易和法律成本。与既有的网络著作权授权流程模式相比,智能合约将有助于在数字版权保护中形成新的作品互动模式。在当前的数字版权领域,技术界和市场资本多围绕着这项技术的安全性和可靠性进行研究和推广,各国纷纷立法响应,我国也相继出台了多项规定及政策性意见推动智能合约的应用落地。但不容忽视的是将智能合约这项技术措施应用在数字版权保护中时,在现行法律框架内还将遭遇到诸多难题。本文通过对区块链智能合约技术特性进行了解研究,结合当前正在运行的的线上著作权登记制度,阐释了智能合约应用在数字版权保护领域中的重要作用,并综合各国相关立法实践及我国对此技术的法律规制状况,提出区块链上的智能合约在数字版权保护中所产生的法律和实际可执行性的潜在问题,包括技术特性在数字版权作品保护中与知识产权法存在的矛盾、技术语言的转化、外部世界的互动等。最终尝试从兼容知识产权体系,改变区块链智能合约的技术特性,数据共享以及法律协调等方面提出完善建议。从总体来看,区块链对全球经济的巨大价值已经被充分认识到了。在此背景下,通过探讨区块链技术下的智能合约在数字版权应用和发展以及可能存在的法律问题,对我国数字版权行业的发展中可运用的新技术进行法律层面的思考和建议,有助于填补空白,以期在未来数字版权产业发展中更好的实现技术与法律的相互结合,保障数字版权人的合法权益,

关键词： 智能合约   区块链   合同  

摘要： 区块链中的智能合约是一种通过运用散列算法和计算机程序来编码合同条款并封存在区块链上的,可依据预设规则自我执行的数字化协议。一旦智能合约被部署在区块链里,当事人可以确信记录合同条款的合约代码将被永久封存下来,并具有不可篡改和伪造、匿名下的透明化、执行触发条件事项预设下的自动化履行等特征。区块链技术下的智能合约作为一种认知性技术应用,可替代传统合同法的部分功能,并将创设出新型学习性合同法制。《中华人民共和国合同法》的调整范围限于财产性合同,因而其调整范围不能涵盖智能合约,但基于具有合同属性的智能合约的推广,势必对我国的现有合同制度有所影响,《中华人民共和国合同法》有必要做针对性修改。而在合同法的语境下,区块链基础上的智能合约概言之为利用数字代码去表示合同条款并保障其执行的自动性。智能合约可以分为智能合约代码、智能法律合同以及智能替代合约。一般而言,智能合约签署双方达成意思表示一致后,将记载着合意内容的数字化协议嵌入到区块链交易上,则成立了一个智能合约。而智能合约嵌入方式的去中心化,是通过全网节点在运用单项哈希算法验证后的一致性认可。智能合约转化过程中出现的问题该如何解决?其次,智能合约存续期间所具有的程序约束力明显不等同于法律效力,智能合约的效力在目前仅可视为在当事人之间产生的可预期执行效力。笔者还将对区块链技术下的智能合约成立与生效的区分问题作出分析。此外,区块链技术支撑下的智能合约可实现对智能资产的有效控制,对占有理论是否产生影响?接下来,笔者将谈到目前智能合约缺乏救济方式的问题,且往往只能事后救济。此外,当事人通过订立智能合约的方式从事违法行为、智能合约主体的缔约能力问题、智能合约所具有的担保功能影响以及匿名交易中的用户信用问题该如何解决?而智能合约运行中的编码错误,能否适用重大误解理论呢?另外,智能合约执行机制以简单的预定义情境为主,面对不确定场景无法精准判断决策。最后,智能合约交易缺乏实时性,这对于时间利益往往很重要的智能合约缔约目的的实现带来巨大的风险。我国现行合同法律制度对智能合约的规定尚不够明确、充分,因而有必要完善我国的相关规范,包括智能合约机制,使智能合约在我国合同法律制度框架下运行。

关键词： 区块链   个人信息删除权   信息控制者   信息处理者   智能合约  

摘要： 在各国对个人信息的保护正在逐渐强化并探索区块链实际应用的同时,区块链信息不可删除等特征给个人信息删除权在区块链环境下的适用造成了一定的困难,其中的主要问题包括在区块链环境下,对地址及相关附加信息是否属于个人信息的界定、信息控制者与信息处理者的认定、个人信息删除权的内容与行使和个人信息删除权的救济。剖析区块链的特征与运行规则,明确区块链环境下地址、在一般情况下以明文形式和以加密形式存在的附加信息与被再识别情况下以加密形式和以哈希形式存在的附加信息属于个人信息。通过分析个人信息的实质要素与形式要素,明确区块链环境下的信息控制者为参与节点,信息处理者则为矿工节点与智能合约的开发者。区块链环境下地址基于合同或合法利益被限制删除,而一般情况下以加密形式或哈希形式存在的附加信息则可以通过销毁密钥或删除链下原文的方式进行删除。区块链环境下以明文形式或被再识别的以加密形式或哈希形式存在的附加信息则无法被删除,但在信息控制者经过合理风险提示并取得信息主体授权同意的情况下应当免除其删除义务。区块链环境下信息主体可以通过智能合约实施自助行为,信息控制者则可以通过智能合约进行自卫行为。信息主体还可以通过向人民法院起诉、请求行政部门执法或向公安机关报案等方式对个人信息删除权进行公力救济。