关键词： 智能合约   安全检测   机器学习   动态模糊测试   特征迁移  

摘要： 智能合约的出现和发展拓宽了区块链的应用场景和现实意义,但频繁的安全事故给区块链的发展带来了障碍。但是,智能合约漏洞进行完备性和安全性分析的方法仍未被提出。当前对于智能合约的安全保障主要依靠专家审计和人工复查,该方式不能保证代码的绝对安全。针对智能合约漏洞挖掘的误报率、低效能等问题,在动态模糊测试和机器学习方法的基础上,提出一种适用于智能合约漏洞的检测方法与模型。该方法提高了智能合约漏洞挖掘的自动化程度和准确性。

关键词： 可再生能源配额制   绿证   碳交易   区块链   联合交易市场  

摘要： 随着可再生能源发电技术的发展和普及,通过市场手段鼓励绿色能源发展的绿证配额制以及限制碳排放量的碳排放权交易制度得到了广泛的应用。目前,中国尚未形成成熟有效的绿证市场与碳排放市场,现行的绿证制度在鼓励可再生能源并网、缓解财政补贴压力等方面的表现不佳,且现行的碳市场对促进减排效果也不明显。文中提出一种绿证和碳联合交易市场模式,将绿色发电企业与传统化石能源发电企业联系起来,通过全局优化配置绿证和碳排放权资源以激励可再生能源发电和限制传统化石能源机组的碳排放量,从而推动能源转型。为保护绿证与碳排放市场交易数据的安全性和用户隐私,文中基于以太坊平台构建“去中心化”的双边联合交易市场。最后,算例仿真结果验证了所提基于区块链技术的双边联合交易模式的有效性。

关键词： 规范构造   智能合约   大数据时代   正当性证成   社会场景   窥见一斑   智能投顾   利维坦  

摘要： 目次一、利维坦的隐疾:算法自动化决策的规制问题二、算法解释权的提出:GDPR未竟的任务三、算法解释独立配置成权的正当性证成四、算法解释权的规范构造五、结语大数据时代下,披着工具外衣的算法决策已经结构性地嵌入社会场景的各个层面,这一点在智能合约、智能投顾、算法共谋、算法司法等应用中便可窥见一斑。

关键词： 计算机网络   区块链   汽车服务生态圈   联盟链   智能合约   预付费产品   去信任系统  

摘要： 针对汽车行业服务生态中的交易数据不透明、交易参与方缺乏互信的问题,以某汽车厂商售后预付费产品为研究对象,应用区块链智能合约技术,构建面向汽车生态圈的去信任系统模型.该模型首次系统论述了在汽车行业预付费产品场景下区块链上各参与方的角色、业务流程及智能合约的实现方案,丰富了联盟链的应用场景,可推广应用于跨行业生态服务系统.

关键词： 区块链   不动产登记   系统框架   数据共享   智能合约  

摘要： 围绕不动产登记业务需求,本文搭建了基于区块链技术的不动产登记系统框架,利用区块链集体维护、全程留痕、智能合约等技术解决了不动产登记系统安全隐患、共享协作、数据监管、数据库可扩展等方面的问题。该系统框架由中枢层、支撑层和业务层构成,依托城市大脑和应用需求,通过区块链基础设施与中枢平台搭建、联盟链和组织节点构建、不动产登记数据上链等五个步骤完成不动产登记发证。应用结果表明,基于区块链技术的不动产登记系统实现了信息共享、业务协同、高效便捷、安全稳定,缩短了50%网上办理时间,可有效地开展登记受理、纳税申请、全流程办理等业务。

关键词： 区块链   科技期刊   全流程监管   智能合约   超级账本   诚信出版  

摘要： 【目的】通过对区块链在科技期刊审稿流程中应用的出版架构设计,建立起科技期刊审稿全流程监管机制,为科技期刊实施诚信出版、打造诚信出版生态系统提供实践路径。【方法】利用文献研究法对区块链在诚信出版以及审稿方面的应用进行文献调查分析,发现区块链在审稿全流程监管方面研究尚未受到重视;在此基础上利用实证研究法,依据现有区块链理论和诚信出版实践需要,设计审稿全流程监管机制和诚信生态系统架构。【结果】以区块链为媒介连接首发系统和审稿系统,完成科技期刊诚信出版生态系统的架构和机制设计。【结论】科技期刊审稿全流程监管机制研究不仅仅是为了防范单刊审稿环节学术不端行为,其最终目的是建立一个打通所有科技期刊的诚信生态系统,虽然目前仅停留在理论探讨层面,但随着区块链技术的成熟,以及国家对于建立诚信出版生态系统的高度重视,基于区块链的科技期刊诚信出版生态系统最终得以建立。

关键词： 共享数字积分   区块链   分布式数据库   智能合约  

摘要： 传统的数字积分管理机制都具有分散管理、使用限制多、兑换流通不方便等问题,限制了积分的使用。针对传统数字积分机制存在的问题,提出企业联盟共享数字积分管理机制,利用区块链的去中心化机制、安全的身份认证管理、分布式数据库和智能合约自动化处理等优势,设计基于区块链的企业联盟共享数字积分管理机制,结合企业数字积分交易的应用场景,对区块链网络吞吐量和延迟等性能进行测试与研究,通过仿真实验验证企业联盟共享数字积分管理机制的可行性,为区块链企业级应用提供参考。

关键词： 区块链   微支付   哈希链   智能合约  

摘要： 原有的基于PayWord的微支付方案存在第三方经纪人掌握支付双方信息并与某一方合谋攻击另一方的问题,使支付的安全性得不到保证。本文结合双支付链思想,基于区块链提出了一种新的微支付协议,用智能合约代替原有方案中的第三方经纪人,实现了去中心化,保证了支付的安全性;利用双支付链,支持多个元支付一次性执行,提高了支付的效率,同时设计了仲裁子协议,保证方案的公平性。通过对协议的分析表明,该协议不仅可以保证支付的安全性、公平性,同时具有较高的支付效率。

关键词： 区块链   土建工程   项目管理平台   智能合约   共识机制  

摘要： 每个土建工程项目其工程浩大,流程复杂,且偷工减料、以次充好、造假数据、权钱交易获得工程承包权等暗箱操作事件时有发生。因此加强并完善土建工程项目的管理体系对土建工程顺利开展,提高工程的整体质量具有重要意义。区块链技术的去中心化、去信任、信息透明、数据不可篡改可溯源等特征可一定程度上提高工程项目的安全性、降低工程事故的发生率。针对当前土建工程项目管理的痛点,文中提出了一种基于联盟区块链的土建工程项目管理平台CEPM-Chain,探索了智能合约应用以及将该技术与土建工程信息建模和信息管理相结合的可行性,利用区块链技术提高土建工程行业项目管理的流程效率。阐述了该系统的架构设计,并介绍了共识层的优化设计,采用节点角色分工、信誉度机制、随机话语权增加等方法降低其通信复杂度,提高其可拓展性,优化了该系统的性能。

关键词： 海上WTGS   备件生命周期管理   区块链   智能合约   物联网  

摘要： 海上风电机组(Wind Turbine Generator System,WTGS)备件的相关数据通常存储在中心化的数据库中,很难在合作方之间共享,数据安全性难以得到保证。提出一种基于区块链的海上WTGS备件生命周期管理平台,以促进备件生命周期中的数据交换和信息共享。备件服务中的即时追溯服务、障碍评估服务、主动维护服务和远程监控服务有助于管理者和决策者对备件进行管理和决策。研究结果为备件生命周期管理及区块链技术实际应用提供一定的理论和实践参考。