摘要： 企业本质上不需要岗位，也不需要绩效考核，只需要完成任务。

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

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

关键词： ARM   嵌入式   监控   区块链   智能合约  

摘要： 随着社会的发展与进步,监控作为一种防护手段在人们的生活中越来越普遍,利用监控数据可以较好的还原真实情况,防止弄虚作假和意外事件的发生。然而在传统的监控数据采集、存储、查询流程中,容易出现针对监控数据本身的造假行为;特别当监控数据涉及多个利益方时,掌握监控数据的一方就有动力为满足自己的利益诉求而对监控数据进行销毁或篡改,因此就造成了在多方参与的监控环境下参与各方之间的不信任问题。针对这一问题,也有一些传统的解决方案,本文分析了这些解决方案的缺点,提出了一种将新兴的区块链技术与嵌入式技术相融合的解决方案,该方案可以在保证数据的安全性和私密性的基础上,解决在多方参与的条件下,参与方之间的不信任问题。本文以视频监控数据和RFID数据为基础监控数据,采用ARM嵌入式平台和以太坊区块链平台,融合了视频监控、智能合约等技术,完成了从监控数据的采集、处理、上传、存储、查询全流程的系统设计与实现。监控数据的采集主要是采用V4L2视频采集技术和RFID技术,采集到的视频数据采用H.264视频编码技术进行压缩,并与采集到的电子标签信息进行匹配;嵌入式平台将采集到的数据采用TCP协议上传到服务器,服务器对数据进行处理,通过计算数据摘要的形式,既能保证数据存在而且无法篡改,又能保护数据内容不被泄露,从而维护了数据的安全性与私密性;处理后的数据将被存储在区块链上,链上的存储模块采用智能合约编写完成,数据存储在区块链上可以防止任何参与方对数据摘要进行变动或销毁,所有参与方均可在区块链上公开查询到这些数据摘要。

关键词： 区块链   微电网   去中心化   智能合约   电能交易  

摘要： 微电网作为分布式电源接入大电网的一种有效手段,近年来逐渐引起了社会的广泛关注。如何设计高效合理的微电网调度方法和交易机制,是实现电力市场化改革和电能资源的有效配置的重点问题。同时,现有微电网经济调度模型存在的可再生能源及负荷预测误差大、信息透明度低、系统安全风险高等问题。区块链技术作为新兴的分布式数据库技术,具有去中心化、透明性、可信性和可追溯的特点,与微电网具有良好的契合度,能够为微电网电力调度和电能交易提供分布式、安全、透明的信息系统。因此,本文将区块链技术引入微电网运行中,其中主要研究内容如下:首先,对微电网技术及发展现状和区块链数据结构、类型及运行原理等相关内容进行了简要介绍;在此基础上,结合微电网的特点,分析了区块链技术与微电网的契合度。其次,本文构建了能源区块链网络(energy blockchain network,EBN)构架,并结合EBN,计及储能和用户侧响应,提出基于智能合约的多时间尺度微电网经济调度方法。该方法可以充分提高可再生能源的利用率以及微电网系统的信息安全性。再次,建立了无需中心机构参与的基于智能合约的微电网电力市场交易及监管模型,该模型采用了能够激励用户理性报价的双边拍卖机制,同时在电能交易订单形成之前通过安全校核函数消除了线路的潮流越限,保障了微电网去中心化电能交易自动执行、透明开放、安全可信。最后,通过仿真试验,验证了本文所提出的经济调度方法和去中心化电能交易方法的可行性和有效性。

关键词： 区块链   区块链技术   智能合约   基础设施  

摘要： 提起区块链,人们就会想起去年年初开始被热炒的各种虚拟货币。之后随着P2P爆雷,这波热潮逐渐退去。近日,中共中央政治局就区块链技术发展现状和趋势进行第十八次集体学习。中共中央总书记习近平在主持学习时强调,区块链技术的集成应用在新的技术革新和产业变革中起着重要作用。我们要把区块链作为核心技

关键词： 合同法   智能合约   法律性质   立法完善  

摘要： 发轫于二十年前尼克萨博的创想籍由区块链技术迅速发展所搭建的平台，智能合约在二十一世纪的第二个十年迅速腾飞。作为区块链2.0的核心规则，它被认为可以提高效率，降低交易成本和法律成本，因此在国际和国内都吸引了广泛的注意和观察，并被期待积极应用到各种其他商业用途中。然而，尽管在互联网上炙手可热，被寄予厚望可以成为合同与契约的未来发展形态;由于其发展过程的短暂和发展速度的迅猛仍旧处于成长期的智能合约还有许多问题亟待讨论，许多现象有待观察和探讨。　　首先，是对智能合约的性质定性不明。智能合约从诞生之日起就是多学科思想交融的产物，本身也在不断变化发展之中，许多与之相关的概念存在争议，亦因国家制度、发展情况之不同而不同。也因此，法学界对智能合约的定义始终云山雾罩、模糊不清。　　其次，是智能合约是否可被传统合同法规制。由对智能合约的定性不明，进一步引发了新的问题，即智能合约是否能落入传统合同法的规制范畴。本文将会对智能合约是否符合合同成立条件作出讨论，并将其与传统合同进行比较。智能合约能否通过合同法规制值得进一步探讨。　　最后，智能合约的需要怎样的法律规制。区块链与智能合约等信息技术需要受到监管与规范已成为共识。作为典型的技术自助方式，区块链技术和智能合约的背后隐含着对集中权力的怀疑和对自由市场的支持。但完全脱离于法律制度和政府政策之外的自助方式反致其害，通过攻击计算机程序设定中的漏洞达到非法目的，违背智能合约设立的主旨，造成公共秩序的混乱。对区块链技术和智能合约的应用还需最终诉诸于法律和公共政策。但是互联网世界，“代码即法律”，采用怎样的手段、制定怎样的政策，既符合法律规律、又能回应现实需求，是法学工作者需要解决的问题。较少掺杂主观偏好的程式算法是否比传统法律更为接近人类对于公平的幻想？智能合约是否会取代现有的合同法及相关法律？这些问题并非杞人忧天，而已确实出现在面前。

关键词： 粮食供应链   区块链   信息共享   可定制智能合约   隐私保护  

摘要： 随着经济的快速发展,粮食行业的竞争不再是单个企业间的竞争,而是依赖于整个粮食供应链运作效率的提升,粮食供应链信息系统通过整合各环节的信息在主体间进行共享和协调,能有效缓解“牛鞭效应”和“食品安全”等问题,提高供应链的整体竞争力,但现有系统还存在以下不足:(1)权利过于集中,供应链节点间难以产生信任,导致交易成本增加,而且系统维护人员可能会恶意篡改数据导致监管困难,参与主体也无法验证自己的数据是否被合理使用;(2)未能在信息共享和隐私保护之间找到一个合理的平衡点,供应链主体对隐私泄露问题存有疑虑,不愿共享真实有效的信息。针对上述问题,本文在现有的供应链信息系统和区块链技术框架下,利用区块链、智能合约、星际文件系统(InterPlanetary File System,IPFS)等技术设计并实现了一个基于区块链和可定制智能合约的粮食供应链信息系统。本文主要贡献如下:1.设计了一种基于区块链的隐私保护方案。针对现有方案中权限控制缺乏灵活性的问题,本方案通过梳理粮食供应链中的业务信息,限定隐私信息范围并对其进行分类,使得用户可以在多个角度对隐私信息进行访问权限设置。针对信息共享利益在上下游之间分布不均的问题,所提方案中设计了一套共享激励机制,在隐私信息被共享方成功访问后,信息所有者会收到约定数量的积分作为补偿,从而提高其信息共享的主动性。2.针对系统扩展与可适应性的需求,设计了可扩展和可定制的智能合约结构。可扩展的智能合约设计将合约分为控制器合约和数据合约两类,能够有效降低合约的更新成本。可定制的智能合约设计通过将合约功能原子化来制定一个模板库,让用户可以从模板库中挑选原子合约进行组装以定制满足自身需求的完整合约,提升用户体验的同时降低合约存储成本。3.基于隐私保护方案和可扩展与可定制智能合约设计了一套基于区块链技术的粮食供应链信息系统,依靠区块链技术的去中心化、信息防篡改等技术优势,保障信息的上传与访问高效透明且不被篡改。为了防止区块链容量增长过快和防止中心化弊端,系统将IPFS作为了区块链的补充数据库,而为了应对区块链对查询统计操作支持有限的问题,系统中还包含了一个本地数据库MongoDB。4.基于智能合约编码并结合前后端与合约、IPFS和MongoDB的交互实现了3中设计的系统,然后基于以太坊搭建的5节点私有链网络进行了系统运行测试,验证了系统核心功能的可用性,并对区块链的去中心化存储和数据防篡改、IPFS的去中心化存储和对区块链容量的改善效果、可扩展合约的升级成本改善效果进行了分析与验证。

关键词： V2G   区块链   去中心化   智能合约   逆向拍卖  

摘要： 随着分布式电源技术的日益成熟,电动汽车数量不断的增加,将有大量独立决策的电动汽车用户参与智能电网的电力市场竞争。在V2G网络中,电动汽车作为分布式储能元件,在用电低峰时充电,在用电高峰时反馈给电网,这样就可以起到“削峰填谷”作用。如何设计有效的V2G电力交易机制,实现能源资源的有效配置,是智能电网研究重点问题之一。本文针对电动汽车电力交易构建了去中心化的电力交易机制与模型,设计基于逆向拍卖和组合拍卖的交易规则。针对V2G电动汽车电力交易问题,本文构建了去中心化的电力交易机制与模型,基于逆向拍卖与组合拍卖规则,设计了 V2G电动汽车交易智能合约,并将智能合约部署到以太坊私有链上,搭建了实际运行的V2G电力交易平台,实现了 V2G网络中电动汽车点对点的电能交易。本文具体工作如下:1.研究了 V2G中去中心化的电力交易模型。本文考虑到电动汽车充放电具有随机性和不确定性,设计了 V2G去中心的网络架构。基于区块链技术和以太坊智能合约技术,设计了 V2G电动汽车交易智能合约和电动汽车交易流程。2.研究了基于逆向拍卖的V2G电力交易方案。基于V2G中去中心化的电动汽车力交易模型和逆向拍卖规则,本文建立了基于逆向拍卖的电动汽车的交易模型。在对逆向拍卖的交易过程和定价策略研究基础上,提出了基于动态定价的逆向拍卖算法。根据V2G电动汽车交易智能合约,设计了基于逆向拍卖规则的电动汽车电力交易智能合约,搭建了可实际运行的交易平台。通过模拟实验验证了本文方案的可行性和效率。3.研究了基于组合拍卖的V2G电力交易方案。在基于逆向拍卖的V2G电力交易方案基础上,针对充电服务费的问题,本文建立了基于组合拍卖的电动汽车电力交易模型,提出了基于组合拍卖的电动汽车电力交易方案。为验证本文方案的可行性和有效性,在以太坊智能合约的基础上,设计了基于组合拍卖规则的电动汽车电力交易智能合约,并在以太坊私有链上进行实验。

关键词： 区块链   信息基础设施   智能合约   共识机制   机遇与挑战  

摘要： 区块链依托的数据基础日益坚实,面临的信息环境不断改善,自身的效率和安全性亦持续提升,在政策、资金和市场的多重推动之下,愈加呈现出对高质量发展的重要支撑作用。当前,全球已迎来前所未有的新一轮科技与产业革命,蓬勃发展的数字经济对人类生产生活、各国经济社会、全球治理体系、世界文明进程都带来了深刻改变,并产生着深远影响。作为数字经济底层技术的重要构成,区块链依托的数据

关键词： 众包   去中心化   区块链   智能合约   以太坊  

摘要： 随着逐渐的推广,众包成为了近年来解决那些对计算机而言很复杂对人类群体智能而言却很简单的问题的高效的方法。由于能够充分利用外部资源、大幅降低价值创造的成本并提高效率,现在越来越多的计算机、商业领域的企业选择通过互联网将以往由员工处理的业务自由且自愿地众包给大型非特定的群体网络。当前广泛应用的传统的众包模型是基于中心系统的。有着众包需求的申请者在众包中心服务器或者平台上发布任务,其中包含任务描述、要求等。对此任务有意向的工人通过中心服务器或者平台接收该任务、进行处理并提交解决方案等。最后,中心服务器或者平台会根据某种规则对工人的工作进行评估并支付奖励。然而当前情况下主流众包应用采用的是离线(逆向)拍卖机制,而且这种中心化的模式在当前面临着成本高、单点故障、容易受到恶意攻击等种种挑战。这些问题值得研究且亟待解决。本文的主要工作与贡献如下:首先,本文分析了离线静态机制的不足之处,指出其不能满足当前主流的动态场景、其诚实机制无法处理动态场景下的激励相容以及中心化的问题。本文研究了一个动态的众包场景,构建模型并提出了一个系统的基于智能合约的去中心化在线众包机制,其包含了任务分配规则与奖励支付规则等。目的是在未来是不确定的、工人随机到达的在线动态场景下最小化外包的成本、保证工人能够诚实地报价。其次,学习并掌握了区块链智能合约的专属编程语言Solidity,以本文的机制为基础设计并使用该语言编写了对应的智能合约,其包含实现主要的五个函数,用以实现机制对应的任务发布、工人报价、任务分配、结果展示、奖励支付的功能,使得该机制能够通过利用时下热门的区块链技术来应用于以太坊中,解决中心化的威胁并能够真正地运行且处理现实的数据。最后,我们架设实验运行环境,将该智能合约部署于以太坊的私有链中,并通过输入大量数据进行实验。结果证明了其有效性,并通过与离线最优的对比验证了其良好的性能。这样一来,该机制下的整个众包流程不再需要受信任的第三方中心机构参与,信息与隐私安全得到了保障,成本也更加低廉。