关键词： 区块链   知识产权交易   联盟链   智能合约   定制合同  

摘要： 目前知识产权交易普遍存在信息不对称、交易多方缺乏信任和有效激励等问题,借助区块链的不可篡改、安全透明、可追溯、去中心化等技术特性,提出并实现了一种基于区块链的知识产权交易平台BIPTP,通过智能合约实现交易的精准撮合,支持多方定制转让合同和收益分配合同,引入知识产权权人方和监管方作为联盟链节点,异步完成需求收集和权人变更。实验表明,平台的交易吞吐量可达到250 TPS,万笔交易平均撮合时延约1.9 s,交易成功率可达到78%,相较于其他知识产权交易平台,本系统能够在知识产权权人、发明人、受让方以及中介方之间达成多方权益保证的可信合约并确保执行,从而获得更好的数据可信度和合同履约能力,显著提高知识产权交易的成功率,为繁荣我国知识产权交易市场提供了一种有效的解决方案。

关键词： 微电网   区块链   连续双向拍卖   智能合约   交易机制  

摘要： 为实现微电网内部分布式发电用户电力直接交易,提出了基于区块链技术的微电网交易机制。通过连续双向拍卖模式完成用户间的交易匹配,连续双向拍卖按用户报价合理分配电力资源,从而促进用户参与积极性。微电网中电力的任何盈余或不足均由主电网来平衡,这样就可以自动实现参与者之间的能源分配和相应价格的设定。由智能合约统一执行用户间的交易合约,并利用区块链技术完成用户间的电能数字证明和费用信息的互换,确保交易信息安全可靠,不可篡改。最后,通过对微电网交易市场模拟,证明了文章提出的交易机制比传统交易机制的用户收益有明显提高。

关键词： 数字身份认证和管理   区块链   智能合约   零知识身份认证   可验证凭证  

摘要： 数字身份认证和管理系统是计算机和互联网应用的安全基础设施,当前的数字身份认证和管理系统暴露出了许多的问题,例如,数字身份的中心化存储和管理、数字身份的自主权特性较差、数字身份的隐私无保障、数字身份的认证过程不公开透明等。伴随着区块链技术的发展,其去中心、防篡改、可追溯和安全透明等特点受到了越来越多的关注,各种基于区块链的数字身份认证和管理架构相继出现,然而这些架构仍然不同程度存在上述问题。对此,本文将区块链智能合约技术、非交互式零知识证明技术、可验证凭证数字身份等结合,提出了一个基于区块链智能合约的数字身份可验证凭证零知识认证和管理架构,并详细描述了架构角色和协议流程等,其中,在协议流程中,服务提供商根据服务授权要求构造零知识证明约束条件验证程序,用户基于该程序生成零知识证明,该零知识证明可以在不透露身份和私钥的情况下向服务提供商证明用户是身份的所有者,且身份满足服务授权要求,而服务提供商对零知识证明的认证和管理等都是在智能合约中完成的,实现了认证和授权的公开透明和安全。此外,本文设计了该架构的原型系统,并基于原型系统,评估了架构中智能合约的成本和时间开销,同时讨论了基于智能合约进行零知识证明认证和管理的安全性和必要性等,最后还对整个架构的有效性和安全性等进行了评估和比较。上述结果表明,本文所提出的架构能较好的实现数字身份认证和管理的去中心化、隐私安全、认证和授权公开透明等,可为相关系统的设计提供有价值的技术参考。

关键词： 智能合约   区块链   检测技术   无人机集群   安全漏洞  

摘要： 智能合约具有去中心化、不可篡改、可溯源以及自动化执行等特点,能有效适应军事领域无人机集群作战需求,受到了学术界和工业界的广泛关注和高度重视。本文探讨了智能合约在无人机集群作战领域的应用,从高级语言层、区块链层、虚拟机层三个方面重点分析了智能合约在应用无人机集群作战领域中典型的潜在漏洞;针对潜在漏洞详细介绍了模糊测试、符号执行、形式化验证、深度学习四种检测技术,在此基础上提出了四种相应的检测算法。研究智能合约在无人机集群作战中的应用及其漏洞检测技术和检测算法对于提高军事领域无人机集群建设安全系数具有一定的实践意义。

关键词： 区块链技术   供应链金融业务   商业银行   智能合约  

摘要： 供应链金融依托核心企业信用能够在一定程度上缓解供应链上下游中小企业的融资问题,因此备受关注。由于其与区块链技术有着密切联系,近年来许多商业银行纷纷将区块链技术融入供应链金融业务之中,为业务发展注入新的动能。区块链技术不仅能够使商业银行供应链金融业务的信息传递更为畅通、风险管理能力和业务效率大幅提升,同时也会产生一些消极影响。商业银行只有以打造“区块链+供应链金融”模式为核心,采取正确对策,才能充分发挥区块链技术的积极作用,尽力克服其消极影响,真正推动供应链金融业务持续发展。

关键词： 区块链   医疗知识链   付费共享   知识交易   智能合约  

摘要： 介绍知识付费、基于区块链的健康医疗数据付费共享相关研究现状,提出构建一个基于区块链的医疗知识链付费共享模型,阐述模型总体结构、组成,分析相关问题,包括医疗知识链抽取、组织、完整性控制、交易等,阐述仿真测试方法及结果。

关键词： 智能合约   功能价值   风险类型   完善建议  

摘要： 区块链技术应用时代来临,区块链智能合约的功能价值有赖于技术支持,但同时也挑战既有交易方式,存在技术排他性增强、代码逻辑僵化、逃避法律适用的风险。然而,技术与法律的脱节加大了规制智能合约运行的难度,民法学界对于能否给予智能合约合同属性的问题亦未能达成一致意见。鉴于此,在把握智能合约的应用风险之后,兼采法学理论与技术优势,对智能合约的主要痛点予以直接回应,从推动引入第三方平台、构建行业规范、明确法律适用三方面进行规制。

关键词： 区块链   环境监测   去中心化   智能合约   以太坊   共识算法  

摘要： 现有环境监测系统的管理大多是集中式服务,对监测数据的获取过于依赖单一的环境监测机构和第三方运营机构。监控数据采用集中式存储管理,存在数据被有意篡改的可能性,不能保证环境数据的真实性。首先,针对这些问题,该文利用区块链技术的去中心化、不可篡改等特性,提出一种基于区块链的环境监测的可信管理方案,通过去中心化的验证方式设立真实性验证机制保证数据源的真实可信,实现环境数据的可信验证、可信存储、可信访问。其次,针对环境监测应用场景下实用拜占庭容错共识算法通信开销过大的问题,提出一种基于位置分组的实用拜占庭容错共识算法,降低通信开销和时延,提高系统的执行效率。最终,基于以太坊平台并利用智能合约技术对设计的方案进行了仿真实现和测试,结果表明,基于区块链的环境监测实现了环境数据的可信管理。

关键词： 区块链安全   以太坊   智能合约   漏洞检测   自动化修复  

摘要： 以太坊等公链上的智能合约可以实现各种去中心化应用,但频发的安全事件导致用户的财产遭受威胁。智能合约安全问题极大地影响用户对去中心化应用的信任度,且链上信息具有不可篡改的特性,使得智能合约在部署前的安全审计和漏洞修复过程必不可少,但当前的安全研究大多聚焦于智能合约漏洞检测技术。文章首先介绍了智能合约相关背景并比较了其与传统应用程序的差异,提出了包含漏洞识别和补丁生成两大关键步骤的智能合约部署前漏洞自动化修复流程,然后分析并阐述了常见的漏洞类型和漏洞检测技术,深入讨论了基于字节码和源码生成智能合约常见漏洞补丁的研究进展,最后对智能合约漏洞补丁生成技术面临的有效性、成本、可扩展性等性能问题以及漏洞自动修复技术的未来方向进行了展望。

关键词： 智能合约   形式化验证   拍卖退款   DoS漏洞  

摘要： 针对智能合约的DoS漏洞可能在拍卖退款交易中造成资源耗尽问题进行了研究,设计了拍卖退款交易中智能合约DoS漏洞优化方案。首先构造可能存在DoS漏洞的智能合约,然后采用增加映射以及压栈出栈方法完成漏洞优化,最后通过形式化验证运行优化后的智能合约,检测其是否存在逻辑错误或不一致性。实验结果表明,采用该方法优化的智能合约能够避免因资源耗尽产生的拒绝服务,与带有漏洞智能合约相比,优化后的智能合的等效内存使用量减少了约62.8%,运行时间也有缩短。