关键词： 区块链   电力交易   智能合约   博弈   蚁群算法  

摘要： 为解决传统能源中心化交易模式缺少灵活性、透明性和可监督性等问题,满足新型电力系统中电网各主体间电力交易市场化、定价灵活化等新要求,本文提出一种基于区块链的电力交易模型及博弈定价方法。该电力交易模型具有分布式、去中心化、不可篡改和加密安全等优势。首先,建立基于区块链的电力交易模型,协调发、供、用等主体间的生产和消费行为,形成统一的市场机制。其次,提出了基于博弈的多时间尺度电力交易竞价机制,利用蚁群优化(ACO)算法求解可得每小时的最佳竞拍价格。最后,通过仿真验证了交易模型及博弈定价方法,在激励政策下各交易方收益最优化。结果表明,交易模型及定价方法在新能源参与交易背景下能有效地平衡市场各主体的效益。基于区块链的智能合约可实现电力交易过程的智能化、透明化和可追溯性。

关键词： 以太坊虚拟机   模糊测试   智能合约   交易序列  

摘要： 以太坊虚拟机是以太坊区块链中关键组成部分,其缺陷会导致交易的执行结果出现偏差,给以太坊生态带来严重问题.现有的以太坊虚拟机缺陷检测工作仅将虚拟机视为独立的智能合约执行工具,没有完整测试其工作流程,从而导致缺陷检测存在盲点.针对上述问题,提出了一种以太坊虚拟机运行全过程的缺陷检测方法 (ETHCOV).ETHCOV首先结合权重策略指导智能合约、合约接口参数输入和交易序列按不同粒度变异,然后将其与区块状态以及世界状态打包作为测试用例,最后将测试用例输入到以太坊虚拟机中触发运行并对比检验运行结果,以此来检测以太坊虚拟机的漏洞缺陷.基于上述方法实现了一个原型系统,并以2万多个真实智能合约作为为输入对以太坊虚拟机进行缺陷检测测试.实验结果表明,相较于现有工具EVMFuzzer, ETHCOV的测试效率提升了339%,代码覆盖率提升了125%,并检测出3组用例的不一致输出.这些结果表明ETHCOV能有效检测以太坊虚拟机的缺陷.

关键词： 管理会计报告   区块链   去中心化   智能合约  

摘要： 随着国家经济的快速发展,交易需求日益多样化,交易类型也呈现日益复杂化的发展趋势,企业对管理会计的决策支持、价值创造功能以及管理会计报告的信息质量均提出了更高要求。区块链技术能打造数据之间的高效信息交互,有助于实现数据的实时收集、加工、储存、传输和应用,为管理会计报告信息质量的提高提供了技术支持。因此,本文详细分析了嵌入区块链的管理会计报告的层级结构与生成过程,结合案例从区块链数据平台、报告主体与报告流程和报告内容三个方面进一步分析报告体系的应用实践情况,并从多个层面提出应用保障措施。

关键词： 学分银行   区块链   数据安全   分布式存储   密码学   智能合约  

摘要： 随着学分银行实践探索的不断深入,学分银行信息系统存储的数据体量日渐庞大,数据内在价值的不断提升,数据安全和隐私问题也被逐渐放大。近年来发展起来的区块链技术可以为数据安全治理工作提供新思路,并已在教育领域有着诸多成功应用。在总结分析区块链关键技术及其在学分银行信息系统中应用价值的基础上,探讨利用区块链技术保障学分银行信息系统数据安全的路径:设计基于区块链分布式存储技术的学习成果存储体系结构和运行模式,以确保学分银行海量数据的安全性;利用区块链技术打造基于密码学技术的个人隐私数据保护模式,以保障学分银行学习者的隐私;应用基于区块链智能合约的学习成果转换执行,以提高学分银行学习成果转换的公信力。最后分析区块链应用于学分银行需要进一步解决的问题,包括现有信息系统与先进技术深度融合、去中心化与主体监督、区块链的能耗等问题。

关键词： 交通运输   区块链   智能合约   共识机制  

摘要： 区块链作为互联网问世后信息技术领域的重要发展成果,为化解由来已久的人类社会的信任危机提供了新的思路。文章结合区块链的基本概念、核心技术和国家“长三角一体化”战略,设计了一套基于区块链的分布式存储和共享机制,从顶层上规划了总体技术架构、设计技术路线和方法,以保证网络、数据资源、应用系统、安全因素等各要素间构成一个有机的整体,通过数据的上链存证和共享,实现长三角区域交通运输执法协同一体化。

关键词： 《民法典》合同编   智能合约   区块链   自动执行  

摘要： 智能合约随着区块链技术的兴起而蓬勃发展,成为区块链2.0的典型代表。智能合约以代码语言表现合同内容,蕴含了当事人设立、变更、终止民事法律关系的意思表示,属于民法意义上的合同。作为自动执行的计算机化交易协议,智能合约与传统合同有很大不同,对传统合同法规则中的合同设立、效力判断、履行、变更、终止、违约救济规则提出了巨大挑战。为了应对智能合约给《民法典》合同编带来的挑战,一方面要加强技术研究,为《民法典》合同编实施提供技术平台;另一方面要完善法律治理,为智能合约的发展提供法律保障。

关键词： 以太坊智能合约   安全测试   深度学习   模糊测试   信息反馈引导  

摘要： 主流区块链平台以太坊上频繁发现由不安全编程引起的智能合约安全漏洞。为了提高模糊测试对合约代码的覆盖率,以更全面地检测安全漏洞,提出了一种智能合约模糊测试方法。首先构造智能合约交易序列数据集,再基于深度学习构建智能合约交易生成模型以生成模糊测试初始种子;然后根据覆盖率和分支距离信息,对智能合约进行信息反馈引导的模糊测试,提出了特定的测试用例染色体编码方式,并设计实现了相应的交叉和变异算子。所提方法能有效覆盖智能合约的深层次状态以及严格条件守卫的分支代码。在500个智能合约上进行实验,结果表明,所提方法的代码覆盖率为93.73%,漏洞检测率为93.93%,与ILF,sFuzz, Echidna方法相比,所提方法的代码覆盖率提高了3.80%~25.49%,漏洞检测率提高了4.64%~24.02%。所提方法有助于提升以太坊智能合约安全测试的有效性,具有参考价值。

关键词： 区块链   供应链金融   应收账款   智能合约   核心企业   风险管理  

摘要： 区块链技术与供应链金融业务深度融合是当前供应链金融业态的一个新发展趋势。本文详细探究了区块链+供应链金融应收账款融资模式的业务流程和特征,基于全面风险管理理论论证了该模式的风险要点,并运用模糊综合评价法、层次分析法构建了区块链+供应链金融应收账款融资模式风险评价指标,对其风险管理进行了实证研究。研究发现,区块链+供应链金融应收账款融资模式的风险因子由大到小,依次是核心企业风险、质押物风险、宏观环境风险、技术风险、操作风险。基于此,提出健全核心企业监管体系、强化质押物管理、审慎研判宏观环境、加大技术投入力度、完善公司内部管理制度与提升人员金融素养等建议。

关键词： 电子提单   区块链   共识机制   智能合约   技术困境   分布式账本   航运业   操作路径  

摘要： 长久以来,由于实践中的技术限制和法律的不完善,电子提单未能获得较大发展,使用率一直无法和纸质提单相提并论。但随着区块链技术的兴起和运用,分布式账本、共识机制、智能合约等技术特性为解决电子提单的技术困境提供了新的思路和操作路径,区块链提单(blockchain bill of lading)逐渐成为航运业应用的新风向。

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

摘要： 随着科技的快速发展,越来越多的新兴技术被应用到生活中的各个场景,并为人们的生活提供了便利.现如 今,智能合约已逐步应用于各个领域,随着科技的发展,智能合约的兴起隐隐出现了快速发展的趋势.智能合约凭借 着其规范性、不可逆性和匿名性,在实际的运用当中也获得了一致的好评.但即便如此,由于其发展时间较短,在使用 的过程中,依然存在着一些难以避免的问题.而当下我国用于规制智能合约的相关法律法规并不完善,所以难免出现 当下难以解决的问题.本文正是立足于智能合约困境的基础上,对智能合约进行了概述和研究.