关键词： 软件缺陷预测   缺陷数量预测   缺陷倾向性预测   智能合约   Solidity  

摘要： 随着区块链技术的兴起,智能合约安全问题被越来越多的研究者和企业重视,目前已有一些针对智能合约缺陷检测技术的研究.软件缺陷预测技术是软件缺陷检测技术的有效补充,能够优化测试资源分配,提高软件测试效率.然而,目前还没有针对智能合约的软件缺陷预测研究.针对这一问题,提出了面向Solidity智能合约的缺陷预测方法.首先,设计了一组针对Solidity智能合约特有的变量、函数、结构和Solidity语言特性的度量元集(smart contract-Solidity,SC-Sol度量元集),并将其与重点考虑面向对象特征的度量元集(code complexity and features of object-oriented program,COOP度量元集)组合为COOP-SC-Sol度量元集.然后,从Solidity智能合约代码中提取相关度量元信息,并结合缺陷检测结果,构建Solidity智能合约缺陷数据集.在此基础上,应用了7种回归模型和6种分类模型进行Solidity智能合约的缺陷预测,以验证不同度量元集和不同模型在缺陷数量和倾向性预测上的性能差异.实验结果表明,相对于COOP度量元集,COOP-SC-Sol能够让缺陷预测模型的F1-score指标提升8%.此外,进一步研究了智能合约缺陷预测中的类不平衡问题,实验结果表明,通过采样技术对数据集进行预处理能够提升缺陷预测模型的性能,其中随机欠采样技术能够使模型的F1-score指标提升9%.在特定缺陷倾向性预测问题上,模型的预测性能受到数据集类不平衡的影响,在缺陷模块百分比大于10%的数据集中能取得较好的预测性能.

关键词： 基层党建   联盟链   智能合约  

摘要： 为了解决目前基层党建工作当中存在的工作效率低、数据安全性低和共享不充分等问题,本文提出一种基于联盟链的基层党建工作系统模型。系统模型具有数据上链、组织关系转接、组织活动共享、党费的缴纳和审核的功能,有助于提高基层党建工作的数字化和信息化水平。

关键词： 区块链   威胁情报共享   跨链交互   智能合约  

摘要： 随着数字化转型逐步深入各行业,网络边界正逐渐淡化,网络安全威胁情报共享成为保护信息化基础设施安全的必要手段之一。针对单链威胁情报共享存在的查询和交易性能瓶颈问题,文章在多链模式基础上提出跨区块链交互的威胁情报共享方案。通过设计情报链、监管链和积分链的多链模型,防止内部成员恶意利用情报,有效提升参与方共享意愿及情报共享效率。为保障跨链交互的一致性,采用哈希锁定的跨链机制构建智能合约,确保多链间信息互换安全。考虑到威胁信息具有海量、多元、异构的特性,文章设计了一种情报处理机制,对威胁信息进行统一描述转换。最后在国产开源跨链平台WeCross上进行实验,证明了该方案的有效性。

关键词： 区块链   智能合约   金融   领域特定语言   资产证券化  

摘要： 基于区块链的智能合约专业性强、可读性差、生产效率低,近年来已有多个基于智能合约的面向金融各细分领域的领域特定语言(domain-specific language,DSL)被提出,并被用于解决不同领域专业人士直接书写智能合约难度大的问题.然而,面向金融资产证券化的DSL尚未开发出来.首先介绍智能合约与金融领域现有的结合状况;然后提出资产证券化合约的流程,并设计了一种书写该合约的领域特定语言ABS-DSL;最后用ABS-DSL编写资产证券化合约,并通过将其转化为采用Solidity代码书写的智能合约验证了其准确性.

关键词： 区块链   交通征信   互链网   智能合约   双链   STRISA(基于中国法律框架的旅行规则信息共享架构)  

摘要： 征信是包括金融、融资、贸易、交通等诸多领域的必要机制,当前征信领域已步入快车道.将征信用好、用活、用实,使之应用于社会各领域,才能确保社会信用体系建设稳步推进.如今,社会上交通违法行为频发,交通领域数据存储的安全性不易保证,且传统的交通领域缺乏统一的交通信用度量标准,而建立交通领域征信是解决上述问题的可行方案.将科技部重大项目征信组提出的新一代区块链征信模型推广应用到交通征信领域,打造智慧交通征信系统.在科技部重大项目的基础上,着眼于快速落地,赋能实体经济.首次将该技术应用于金融领域之外的领域,持续开拓征信范围.加强技术深度,在此基础上,与互链网、预言机、STRISA(silk-road travel rule information sharing architecture)等符合中国国情的区块链新技术相结合;细化监管粒度,制定新的监管进入交通征信体制;转变传统思维,完善数据实体的组织架构.

关键词： 区块链   远程支援   处方跟踪   智能合约  

摘要： 为使冬季项目运动员在运动损伤时能够快速获得远程支援并得到诊疗,构建了一个远程支援平台,为保障诊疗信息的安全可靠性,使用区块链技术将运动员病历信息进行存储,并给出诊疗信息下载流程。设计的平台包括注册/登录模块、运动员病历管理模块、处方跟踪模块、远程会议管理模块、后台管理模块,涵盖远程支援平台的各个环节,在运动员需要专家团队远程支援时,可发起线上会诊完成远程协助,同时区块链技术保障了病历信息的安全可靠性。给出了远程支援平台的关键模块框架模型及结构流程,为后期平台实现奠定了基础。

关键词： 老龄化趋势   区块链技术   智能合约   企业年金   运营管理  

摘要： 企业年金是多层次社会保障体系的重要组成部分,在应对我国人口老龄化、缓解社会养老压力、实现国民收入再分配等方面发挥着重要的作用。但多角色、多机构的管理现状导致机构之间存在信息交互频繁、业务周期长、接口标准难规范、管理成本高、跟踪时效弱等痛点,严重制约着行业的发展。具有多中心化的分布式记账、智能合约等功能的区块链技术能够解决企业年金运营的问题,特别是区块链技术为智能合约提供了可信的执行环境,使得智能合约重新被关注,并成为区块链技术的核心构成要素。智能合约通过自身特性能降低企业年金运行成本、有效进行身份管理、准确执行操作命令,进而提高企业年金运营的效率。因此,文章基于中国老龄化趋势的背景,探索将“区块链+智能合约”技术特性应用到企业年金的运营管理中,通过与各管理人达成共识,以联盟链的方式,逐步构建统一的企业年金运营管理系统交互平台,以提升行业服务效率,降低运营管理成本,实现信息流、资金链与管理流协调统一发展。

关键词： 区块链   联盟链   Quorum   吞吐量   智能合约  

摘要： 以太坊是一种开源的支持智能合约的公共区块链,有更快的“出块”速度和更先进的奖励机制。Quorum是一种支持隐私交易和隐私合约的联盟链,相比于以太坊而言,Quorum提供了交易和智能合约私有化功能、多种共识机制以及具有更高的性能。Quorum作为一个新生区块链平台,有关其性能的研究还很少。本文研究了Quorum在不同工作负载和一致性算法下的吞吐量,并且通过一系列微观基准测试后,更进一步探讨了事务和智能合约参数对吞吐量的影响。

关键词： 区块链   智能合约   共享充电   穿透式监管   层次分析法  

摘要： 共享充电桩可缓解当前电车充电难的现状。然而,基于第三方平台的共享充电桩平台面临着信任问题;而基于区块链的共享充电桩平台虽可提供信任环境,但缺乏对用户、桩主、充电量等信息核查。为解决以上问题,提出了一种基于区块链的共享充电桩安全监管方案。该方案通过基于双链的共享充电信任模型,安全地存储用户、桩主或运营商的关键信息,并在该模型上设计穿透式监管方案,向上核查用户、桩主或运营商的身份,向下核查充电量、充电速度等信息正确性。实验评估表明,该方案能够以不大的开销提高平台的安全性。

关键词： 跨链交易   智能合约   去中心化   区块链   协议  

摘要： 针对已有的去中心化跨链交易方案存在的交易效率低、手续费开销大和难以扩展的问题,提出了基于智能合约的跨链交易协议(CCE-SC).协议采用智能合约保证了跨链交易的去中心化和安全性,通过策略制定、策略同步和区块链共识验证三大算法实现低成本且高效的跨链交易.协议中的每条链只需部署一个包含资金池模块、记录管理模块、链转发模块和汇率管理模块的智能合约,就可实现多条链间的跨链交易,解决了以往方案难以扩展的问题.通过实验测试对协议的性能进行分析,实验结果表明该协议使跨链交易效率有了较大提升,同时减少了手续费开销.