关键词： 区块链   政务服务   智能合约  

摘要： 政务服务供给是政府的一项重要职能。公民对政务信息的真实性、政务服务的便捷性、服务范围的广泛性要求不断提高,优化政务服务不仅是广大群众的期望,也是政府自身的责任所在。区块链的不可篡改性、可追溯性以及智能合约的发展在提高政务服务效率,保证政务信息真实、解决政务信息共享瓶颈问题上有极大的应用潜力。文章围绕区块链作为新技术嵌入政务服务应用进行整体分析。首先研究区块链在政务服务中的应用前景,以是否在政务服务中应用区块链作为政务服务新旧模式的区分,通过两种模式的对比,提出在政务服务中应用区块链技术可以弥补目前政务服务的不足之处。其次,通过对应用情况的总结,发现目前区块链在政务服务中应用还存在技术、管理、环境三个方面的问题。其中包括技术标准不统一、安全技术有隐患、智能合约有漏洞、数据管理不到位、权限管理不明确、管理制度不匹配、以及资源环境、社会环境、政策环境都需要优化的问题。最后针对存在的问题提出需要改进技术、完善管理、构建环境的相应对策。其中包括要统一技术标准、推动技术突破、弥补智能合约漏洞、加强数据管理、重视权限管理、制定管理制度、建立可持续的资源环境、优化社会环境、完善政策环境。

关键词： 区块链   建设工程供应链管理   智能合约  

摘要： 区块链技术具有去中心化、数据不可篡改的特性及智能合约的应用,为建设工程供应链管理提供了新思路.本文分析了建设工程项目供应链管理现状,指出目前存在的问题,探讨了区块链技术在对建设工程项目供应链管理中的应用,最后讨论区块链技术对建设工程项目供应链管理的意义.

关键词： 原始权益人   区块链技术   交通银行   中介机构   智能合约   信息不对称   区块链   尽职调查  

摘要： 众所周知,区块链技术的主要特点是公开透明、去中心化、防篡改、安全性高。经过几年的发展,该技术的行业关注度越来越高,实践案例越来越多。本期专题重点围绕基于区块链技术的资产证券化平台、旅游金融联盟平台、OTO理财产品交易平台的建设,展现该技术在金融行业的最新应用场景与实践成果。

关键词： 微电网   需求响应   联盟链   智能合约  

摘要： 可再生能源发电的应用越来越广泛,正在逐步改变传统电网的集中式供电结构,灵活的供电方式使得电力网络呈现分布式特点,微电网便是新一代电力网络的重要组成部分。可再生能源发电的间歇性和波动性容易导致微电网的电力供需不平衡,危害微电网的安全稳定,需求响应通过调控需求侧资源为平衡供需提供了有效的解决方案。但是中心化的需求响应管理方式不能很好地适用于微电网场景,微电网具有明显的分布式特点,在这种弱信任环境中难以找到可信第三方。近几年来兴起的区块链为分布式场景下的多方合作提供了全新的解决方案,因此,研究基于区块链的去中心化需求响应机制,促进微电网各实体在弱信任环境中的相互合作是一个很有意义的课题。本文深入分析了微电网的结构特点、需求响应的相关策略和区块链的关键技术,从联盟链的架构设计和去中心化的需求侧竞价机制等两个方面展开微电网去中心化需求响应的研究。本文的主要研究内容和贡献包括以下两个方面:面向微电网相互连接的电力网络,梳理并分析了区块链的技术特点以及现有的需求响应区块链方案,提出了面向微电网需求响应的联盟链架构,根据微电网各实体的特点设计联盟链的节点架构,同时考虑需求响应任务的要求,提出多账本机制和域内背书机制。所设计的联盟链不仅能够大幅提高交易速度,降低交易延时,而且能够节约网络的存储和计算资源,有效增强联盟的可扩展性。基于联盟链的需求响应应用框架,进一步提出了基于智能合约的去中心化需求侧竞价机制,通过分析需求侧和供给侧的收益模型,建立了分布式竞价流程,优化了竞价价格更新算法,设计了竞价智能合约的实现方案,此外还基于平台实现了需求侧竞价的去中心化应用原型。所提出的机制实现了竞价的快速收敛,并为去中心化需求响应管理提供了有效的解决方案。本文开展的联盟链架构下微电网需求响应关键技术的研究,将从技术层面满足分布式微电网中实现去中心化需求响应管理的要求,同时,对于促进商业合作的发展也具有理论价值和现实意义。

关键词： 食品供应链溯源   去中心化   区块链   智能合约  

摘要： 近年来,各类食品安全问题的爆出,引起了消费者、监管部门和企业对食品质量监控的重视。食品供应链溯源作为对食品信息的全方位展现,是实现食品质量监管的有效手段。目前大部分食品溯源系统存在数据存储中心化的问题,一方面,中心化存储的数据存在被人为篡改和因被攻击或意外情况丢失的可能,使得溯源数据缺乏可靠性和安全性,导致整个供应链溯源系统失去监管功能;另一方面,中心化存储系统应用于整个食品供应链溯源存在较大困难。近些年受到广泛关注的区块链技术以其去中心化、数据不可篡改、数据可溯源等特性,配合由“图灵完备”语言编写的智能合约,能有效解决传统食品供应链溯源系统因中心化存储而导致的数据不可信与不安全问题。本文首先对传统食品安全溯源系统及区块链技术进行分析,针对目前溯源系统存在的数据存储中心化问题,提出使用去中心化的区块链技术作为技术解决方法,并设计适用于一般食品供应链业务需求的溯源系统方案,包括数据接入层、数据核心层、应用表示层的三层溯源系统架构。本溯源方案通过数据接入层的App扫描二维码获取食品信息,通过传感器获取环境信息;在数据核心层采用区块链和数据库存储溯源数据,基于智能合约完成存储和查询操作功能;在应用表示层以DApp(分布式应用,包括微信小程序与网页)的形式进行人机交互操作,实现食品信息的可信溯源查询;此外,针对系统的逻辑安全性,采用VaaS平台对智能合约进行了安全性验证。其次,依据设计完成的系统方案进行软件系统的实现,设计接入层、数据层、业务逻辑层、表现层的四层软件系统架构。基于食品供应链溯源场景需求和溯源软件的体系架构,选用Ethereum作为区块链开发平台,将其用于食品溯源数据的去中心化存储,并使用Solidity作为智能合约开发语言。在食品信息溯源软件系统具体实现过程中,本文完成了区块链网络的建立、智能合约的编写与调用和接口程序的编写与部署等多方面工作,并配套开发了用于溯源数据获取的数据上传App以及用于溯源查询的网页和微信小程序,实现食品供应链信息的存储与溯源查询。通过对系统的功能验证,本文设计的基于区块链的食品供应链溯源系统能够从系统结构层面解决传统溯源系统具有的数据存储中心化的问题,实现食品在整个供应链环境下的可信、安全的溯源查询。

关键词： 区块链   数据完整性   去中心化可信时间戳   智能合约  

摘要： 物联网应用给我们日常生活带来了很多便利,但大量的物联网设备导致物联网环境无法提供足够的数据安全保障。如何保证物联网环境中的数据完整性已经成为物联网应用中急需解决的问题。传统的基于网络服务器的对称密钥方法和公钥基础设施(PKI)的数据完整性方案,存在单点故障、运行性能和成本等方面问题,论文将研究基于区块链的去中心化的数据完整性验证技术。本文针对被验证数据的数据源真实性标识的问题,提出了基于数据源的真实性标识结构,并将该数据源的标识结构应用于数据完整性验证;针对基于区块链的、面向数据完整性验证的建模问题,提出了面向数据完整性验证的、基于区块链的数据模型;利用以太坊区块链平台的智能合约具有的存储数据变量的特性,设计了基于区块链的数据完整性验证的智能合约;基于以太坊区块链平台,设计并且仿真实现了基于区块链的数据完整性验证实验系统。在以太坊区块链平台上仿真运行了基于区块链的数据完整性实验系统,测试结果表明,基于区块链的数据完整性验证技术方案,可以在去中心化的应用环境下,并在数据分散存储以保护数据隐私的前提下,确保数据的完整性。

关键词： 区块链   溯源   防伪   智能合约   不可篡改  

摘要： 随着社会经济的高速发展及人民生活质量的不断提高,在提倡“互联网+”现代农业的背景下,农产品的安全问题引起了社会的广泛关注,进一步推动了可靠、可信农产品溯源技术的研究。本文认为现存农产品质量追溯体系面临的以下问题:参与供应链企业主体、环节众多,中心化方式管理与运作成本较高,数据和信息整合困难;中心化存储造成数据存在恶意篡改,遗漏的风险,很难建立产业各方的信任关系,从而失去追本溯源的意义。区块链利用其独特的链式存储、去中心化、去信任的特性,提供了一种无需信任其他节点,仍能创建共识网络的方法,为我们解决上诉问题提供优秀的解决思路。本文设计一套基于区块链技术的溯源方案,并面向具体场景实现系统原型的开发。主要工作如下:（1）区块链技术与传统溯源系统融合可行性分析从技术原理出发对相关技术进行调研,介绍常见区块链平台并进行分析与比较,研究讨论现有溯源方案优缺点,综合总结分析区块链技术与传统溯源系统融合互补的实用性与必要性。（2）设计基于区块链技术的溯源防伪方案根据以太坊提供的功能模块,设计链式数据存储模型、链上链下信息交互行为,溯源防伪合约等多方面溯源策略。结合传统溯源系统与区块链溯源方案,在智能合约编程的基础上,设计一套全程可视化的溯源体系。以不可篡改的溯源数据的依据,推动产品防伪功能的实现。（3）原型系统的实现与测试依托现有农场,面向山茶、牛樟芝两项具体产品的微信电商小程序销售场景,实现了系统原型的开发并进行实地测试。系统涵盖农业种植、生产、流通、销售整个供应链环节,以物联网设备为基础实现了全程可视化追溯、产品防伪等功能。成功解决了传统中心化溯源系统数据分散、安全性得不到保障的问题,为消费者信任溯源数据提供了一个有效的技术保障。未来,我们将在本系统的基础上完善添加更多增值服务,优化业务逻辑,向其他产品、行业有效的移植。

关键词： 区块链   房屋租赁   Stellar恒星网络   智能合约  

摘要： 由于城乡发展不平衡,大中城市发展迅速,城镇人员大量流入城市打工,带来了住房问题。网上租房信息查询以及房屋租赁是现有高效的方式,但现有租房系统存在注册门槛低、中介混杂、房源信息不可信及成本较高等问题。因此,研究一套有一定注册门槛、房源信息可信任且较低成本房屋租赁系统具有重要意义。在现有信息技术中,区块链技术能够很好地解决信任问题。区块链本质上是一个可信任的分布式记账本,有着匿名性、自治性、不可篡改等特点,受到广泛关注。很多存在信任问题的领域都应用区块链技术得到一定解决,由此类比,区块链技术应用到房屋租赁系统,能够解决房屋租赁场景中存在的部分信任问题。本文聚焦于区块链技术在房屋租赁场景中的应用,研究如何利用区块链解决房屋租赁场景中的信任问题,设计并实现了基于区块链技术的一套完整的房屋租赁平台。平台会将用户个人信息、发布房源的房产证明信息脱敏加密存储至区块链上,以此增强个人信用、房源可信但又能保护用户隐私,并通过智能合约实现交易,避免第三方干预,提高交易可信。本文主要研究内容如下:(1)通过对房屋租赁场景进行需求分析,对现有成熟区块链平台进行对比,选出了最为适合的区块链——Stellar恒星网络,在本地搭建了完整的网络节点,使用户进行链上信息查询的速度更快,区块链数据使用PostgreSQL进行存储;接着应用了部分接口,实现将个人信息、房产证明上传至区块链上,提高用户可信性;然后设计了智能合约,实现租赁交易;最后针对区块链大文本数据存储不友好问题,使用星际文件系统(InterPlanetary File System,IPFS),将大文件简化成哈希值,在解决大文件存储成本高问题,同时帮助查验数据完整性。(2)根据需求,设计并实现了房屋租赁系统,基于Java Web平台,使用Spring、MyBatis和Shiro进行整合开发,使用MySQL数据库存储非区块链数据,实现用户注册、个人信息管理、房源信息管理、交易管理、消息管理和房源验证激励等模块,前端使用JSP技术进行开发,界面友好,方便用户进行各项操作。最后对平台中各个模块进行功能测试,对主要功能进行性能测试,保证系统正常稳定运行。

关键词： 智能合约   合同法   人工智能   区块链监管  

摘要： 人类对去中心化的探索催生了区块链技术,智能合约的本质是基于区块链技术自动执行的交易代码。智能合约代码化编辑,自我强制执行以及不可篡改的特性对传统契约的定式概念进行了重塑,并对现有合同法准入提出了诸多挑战。智能合约语境下的监管制度构建应注重解决智能合约技术的去中心化与法律权威制定的二元矛盾问题,以规则内化为切口,弱化监管介入对新技术的抑制作用。

关键词： 可验证外包计算   线性方程组   矩阵盲化   序贯均衡   智能合约  

摘要： 随着大数据时代的来临以及云计算技术的飞速发展,外包计算已经成为越来越多的组织和个人选择计算任务的方式。外包计算是指计算资源有限的用户将复杂的计算任务外包给云服务器,以达到节省本地资源开销的目的。然而外包计算服务在带来方便的同时,也产生了一些亟待解决的安全问题。云服务器的计算过程是不公开的,可能存在欺骗用户的行为,其返回的计算结果可能并非用户所需求的数据。可验证外包计算就是解决以上问题的重要手段,用户如何以最小的代价进行快速、正确的验证成为了现阶段的研究热点与难点。现在的可验证外包计算方案主要存在以下2个问题:(1)单服务器场景下,用户需要用繁重的密码协议对云服务器返回的计算结果进行验证,无疑增加了用户的工作量,而用户进行外包计算的初衷就是减少本地的资源开销,这样有悖于用户的初衷。(2)多服务器场景下,往往采用冗余计算模式,即将相同的计算任务外包给多个云服务器,检查它们返回的结果是否相同。然而多个云服务器之间可能会合谋,向用户返回错误的计算结果。针对以上问题,本文工作如下:(1)提出了基于矩阵盲化技术的线性方程组求解可验证外包计算方案。该方案基于矩阵盲化技术,采用数据分布思想,通过双服务器之间的分割计算,对结果进行交叉计算以实现结果的快速验证,减少了用户验证计算结果的繁琐步骤,提高了效率。(2)提出了一种通用的基于智能合约的抗合谋可验证外包计算方案,该方案通过双服务器之间的冗余计算,达到快速验证的目的,减少了用户验证计算结果的工作量。该方案基于密码学技术、博弈论和区块链智能合约,在合理的假设下,证明了各参与方不会合谋,而是会诚实计算并向用户返回一个正确的计算结果,达到博弈的序贯均衡。