关键词： 新能源   区块链   有限领域记忆搜索算法   生物目标混合整数规划模型   智能合约  

摘要： 新能源电动车需求的日益扩增进一步提升了电动车充电的需求,然而各运营公司之间的间隙导致充电桩信息无法全面并切实地面向需求大众。针对上述问题,介绍了一种基于联盟区块链的新型智能电动汽车充电系统。首先,通过联盟区块链使得系统具备防篡改、多中心化等特点;之后,提出了生物目标混合整数规划模型(BOMILP)来平衡企业和电动汽车用户之间的利益,并在此基础上,引入一种支持智能合约实现的有限领域记忆搜索算法(LNSM),以进一步提升智能合约运行速度及性能;最后,以天津地区的电动车充电数据为例,验证了所提出系统的有效性和可行性。

关键词： 电商企业   区块链技术   智能合约   尤努斯原则   基本框架   演化机制  

摘要： 区块链、智能合约与电商企业的有机融合可以加速建立以区块链技术共存为主的信任机制。因此,本研究提出了电商企业区块链的概念与特征,解析了其交易步骤与形式,并构建了电商企业区块链的基本框架,从而在尤努斯原则的基础上,探究了电商企业区块链的演化机制。

关键词： 生态环境   生态环境监测   生态环境监测系统   共识机制   智能合约  

摘要： 在对传统生态环境监测系统分析的基础上,从生态环境监测系统自身特点出发,结合区块链的去中心化、时间戳、不可篡改、不可抵赖等技术,提出了基于区块链技术的生态环境监测系统体系结构和功能组成及基于区块结构、区块存储和链式存储结构的生态环境监测数据结构,建立了基于区块链技术的生态环境监测系统共识机制,研究了基于区块链技术生态环境监测智能合约算法和监测数据上传、数据正确性验证、数据上链及环境状况等级判定上传等关键技术,通过采用基准测试工具模拟基于区块链的生态环境监测系统网络中的监测数据区块产生过程的方法,分析验证了基于区块链技术生态环境监测系统监测数据的正确性、安全性和完整性.

关键词： 智能合约   深度学习   漏洞检测   以太坊   区块链  

摘要： 以太坊是当下最流行的区块链平台之一,目前已部署数千万个智能合约,控制了价值数千亿美元的以太坊加密货币。由智能合约漏洞引起的安全事件层出不穷,资金损失尤为严重。针对当前智能合约漏洞检测率较低、检测性能不足的问题,提出了基于深度学习的智能合约漏洞检测方法。编译以太坊智能合约源码,解析其对应的字节码得到操作码数据流,根据以太坊黄皮书中操作码与16进制数的对应关系构建字典,将操作码数据流转化为用16进制数表示的操作码序列。通过对操作码序列进行分析,设计循环神经网络、长短期记忆神经网络和卷积神经网络-长短期记忆神经网络3种不同的深度学习网络结构进行漏洞检测。在真实环境中采集了47527个智能合约,针对智能合约6种漏洞的检测,卷积神经网络-长短期记忆神经网络模型的Macro-F1达到了82.1%。大量的实验结果表明,所提出的模型和方法可实现高效的智能合约漏洞检测。

关键词： 双循环   智能合约   供应链融资   区块链  

摘要： 在供应链融资领域引入区块链及智能合约技术,可以打通供应链融资壁垒,实现国内国际双循环畅通。文章选取应收账款融资模式、保兑仓融资模式、动产质押融资模式三种典型供应链融资业务场景,对区块链智能合约在供应链融资中的应用进行分析,并在此基础上构建基于智能合约技术的供应链融资平台,使用SPESC语言对智能合约进行编译,提出相应的路径建议。

关键词： 区块链   联盟链   身份认证   物联网   智能合约  

摘要： 物联网应用在当今社会中发挥着重要作用,其中来自不同域的设备在同一任务上协作,迫切需要设备身份认证技术来保证物联网应用的安全性。此外,由于物联网设备具有分布广、应用场景复杂、节点性能差异性大等特点,导致其身份认证效率较低。现有的身份验证方法存在密钥管理开销大、依赖于可信的第三方等问题,因此提出一个物联网设备身份认证分布式存储整体架构。将物联网设备基本信息存入联盟链中,利用分布式物联网设备身份认证机制,设计设备注册联盟链和联盟链验证设备的详细流程。对该分布式身份认证机制进行性能分析,结果表明,不同设备创建区块时间小于0.55s,物联网设备可加入联盟链,该身份认证机制真实、有效。

关键词： 数字图像确权   区块链   智能合约   线性同态签名   数字水印  

摘要： 针对数字图像确权难、确权代价大,阻碍数字图像产品交易的问题,本文基于数字水印、线性同态签名和区块链技术,提出了一种数字图像批量确权与公平交易方案.该方案利用签名的同态属性,实现对批量数字图像的一次性验证.在假设底层数字水印不可移除的情况下,通过为图像插入包含版权信息的数字水印,提供数字图像版权和内容完整性双重保护.数字图像提供者和使用者通过智能合约实现公平交易.当数字图像出现版权纠纷时,可以通过挑战-验证协议对图像版权和内容完整性进行验证.数字图像的确权和交易过程被记录在区块链上,保障了确权过程和交易过程的公开可审计性和可追溯性.对比现有工作,本文方案同时具备了批量审计、公平交易、去中心化等优势.实验结果表明,本文方案具有较低的计算开销和智能合约开销.

关键词： 隐私计算   同态加密   联盟链   智能合约   电子拍卖  

摘要： 区块链系统的共识机制和密码学机制保障了链上信息的真实性和流通性,但同时其无法解决链上信息的隐私保护问题,对于需要隐私保护的数据源缺少隐私保护的功能。隐私计算技术往往采用中心化方案,但难以保证数据在传入和传出可信执行环境前未被篡改,导致多方数据可信协同难以实现。在电子拍卖机制场景下,基于联盟链技术和隐私计算机制设计可信区块链隐私计算平台,采用同态加密方案Paillier算法以及联盟链技术,并对两种主流同态加密方案Paillier和CKKS进行性能测试。通过同态加密方案,在不透露数据源的具体数值的情况下实现数据源正确性计算证明,该平台能够有效实现隐私数据安全计算。

关键词： 大数据   计算合约   多方安全计算   区块链   贷款风控  

摘要： 数据是国家新兴基础性战略资源,构建一个新兴的数据要素市场引发各界的高度关注,但随之而来的数据隐私泄露问题、数据滥用等问题也被引起重视.隐私计算解决了“数据可用不可见”的问题,但仍然缺乏数据使用过程的有效监管技术和手段,所以数据滥用的风险仍然存在.构建健康有序的数据要素市场需要建立在坚固的信任基础和智能化的监管措施之上.以去中心化的、多方互为监督的技术思路为指引,结合隐私计算中的多方安全计算技术,研究设计了一种新型的智能合约——计算合约.计算合约的内容由多方互相确认,可自动化执行,算法公开可验证,实现了数据流通使用的安全可控.利用所设计的智能合约,将其应用到北京大数据交易所中,为某银行融合多方数据测算贷款额度提供了支撑,演示了计算合约全生命周期的执行过程,相关流程可追溯、可监管.研究成果具有较好的示范性和可推广性,可为数字经济的发展提供有力支撑.

关键词： 区块链技术   银行存款审计   智能合约   风险预警  

摘要： 近年来较多的财务舞弊与银行函证不实有关,区块链技术与审计的结合大大降低了银行存款审计失败的可能性。针对传统银行存款审计流程由于人为干预、传递错位以及等待审批等情况导致的审计独立性差、效率低、易发生错弊、滞后性等问题,本文提出了基于区块链的新型银行存款审计系统。利用区块链的数据链存储结构、共识机制和智能合约机制赋能银行存款审计流程,做到提前发现异常、及时发现舞弊,促使银行存款审计由事后审计、抽样审计向事中审计、全面审计转变,以提高审计独立性和审计效率。