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

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

关键词： 智能合约   分级分类   访问控制   安全共享  

摘要： 传统医疗数据共享模型存在访问效率低下和访问控制中心化问题。针对医疗数据动态性强、数据量大和隐私度高的特点,提出一种基于智能合约的分类分级属性访问控制方法。首先,对属性和级别进行划分,形成属性类别和资源隐私等级,根据资源等级设计不同粒度的访问控制策略,合理配置属性信息,提升用户访问效率;然后,利用智能合约为访问控制提供去中心化的执行环境,允许自动化策略判决,解决集中式访问控制带来的安全隐患;最后,实验结果表明该方案能够有效提高访问控制效率,实现访问控制智能判决,保证医疗数据的安全共享。

关键词： 供应链网络   区块链   信任评价机制   Agent   智能合约   共识机制   类幂律分布  

摘要： 随着世界经济的快速发展,部分发达国家借助其掌握的区块链核心技术对其国内大型企业的供应链管理做出了一系列优化。为了实现区块链在中国企业供应链技术领域的广泛应用,中国明确提出了关于区块链应用和供应链技术发展的指导意见。在指导意见的引领下,中国区块链环境下的供应链网络建设持续发展,且呈现出了不断优化的良好局面。本文将区块链技术结合到供应链网络中,探究区块链环境下供应链网络形成网络演化的规律。在传统供应链网络模型的基础上,引入区块链技术的PBFT共识机制,并进行优化,得到基于信用评价的共识机制CDBFT,同时通过Agent理论将供应链网络的企业节点进行等效分析;将区块链技术映射到供应链网络的企业行为中,以智能合约的形式将影响供应链网络的因素加入到网络演化中,改变了传统供应链网络的连接方式。在优化后的共识机制和多Agent供应链网络企业交互的智能合约的基础上构建新型供应链网络演化模型,并对其网络演化进行复杂网络相关特性分析。实证研究表明:即使是在去中心化的区块链供应链环境下,供应链网络也会呈现出节点幂律分布的特点和无标度特性,但在该环境下使得供应链网络中的企业具有匿名可信、交易记录透明可追溯的特点,由此解决了信任机制的相关问题,使得交易双方是完全可信的,为今后的信息服务带来新变革,既能进行身份认证,也可以与人工智能相结合,为企业提供信息服务,帮助管理大数据的生命周期,在提高供应链效率管理中发挥重要作用。

关键词： 重大公共卫生事件   应急情报   区块链   智能合约   应急治理  

摘要： 应急情报体系的构建是重大公共卫生事件发生后管理和决策的有力依据。然而当前的应急情报体系中在情报存储、情报共享、情报溯源等环节和快速预警、联动响应等方面仍然存在不足。因此,文章基于当前新兴的区块链技术,将区块链的不可篡改、去中心化、可追溯、自主触发等思想引入应急情报体系构建中,利用区块链对情报进行完整性存储、分布式共享和追踪溯源,利用智能合约设置预警阈值,全网广播,产生齿轮联动式响应模式。根据疫情发展不同阶段完善当前重大公共卫生事件下的应急情报体系,为提升国家应急治理能力提供基础和保障。

关键词： 庞氏骗局   区块链   以太坊   智能合约   TF-IDF   集成学习   Catboost  

摘要： 区块链技术的出现给各行各业带来了新的变革,同时也给诈骗提供了新的平台。作为金融诈骗的代表形式——庞氏骗局借助智能合约在二代区块链上给人们制造了巨大的损失,这不仅影响区块链技术的发展,同时也在一定程度上扰乱了正常的社会经济秩序,因此,对借助区块链技术实施庞氏骗局的相关平台进行监管势在必行。该文选取区块链平台以太坊作为研究对象,设计了一种基于智能合约混合特征的庞氏骗局检测算法。首先根据交易主体间的关联特征判断其是否符合庞氏骗局中回报不公平的金字塔交易形式,提取智能合约交易特征;其次根据智能合约的操作代码在庞氏骗局合约和其他合约出现频率设计了一种新的ITF算法,提取区分庞氏骗局智能合约的操作码特征;最后采用Catboost集成学习算法来训练庞氏骗局检测模型,算法强调多个特征之间的联系,并解决检测算法训练过程中梯度偏差以及预测偏移问题。与其他算法相比,该算法在庞氏骗局检测上具有较高的准确率(精确率=0.89、召回率=0.78、F1值=0.82)。

关键词： 分布式预言机   智能合约   预言机设计模式   事件类型   数据治理  

摘要： 目前许多联盟链都处于封闭、确定性的环境下,其智能合约不能与外界发生I/O.一些应用场景(如征信链、碳交易链、供应链、快递追踪等)需要一种机制与联盟链外部进行数据交互,一般被称为预言机(oracle machine).现有联盟链中的预言机技术存在如下不足:1)有限的数据交互模式,无法满足分布式应用需求;2)随着分布式预言机节点数量的增加,共识时延也会随之提升,无法对系统进行有效扩展;3)分布式预言机系统中的预言机节点通常由联盟链的参与方维护,数据共识过程中的行为对联盟链是不可见的,不利于数据的治理.针对上述问题,提出如下方法:1)基于事件驱动机制,提出4种预言机设计模式或交互模式,支持入链(Inbound)和出链(Outbound),以及Pull和Push这4种预言机数据交互组合方式;2)使用门限签名算法对数据达成共识,在保证数据可信的同时提高预言机系统的可扩展性;3)引入一种信誉机制进行数据治理,每个预言机节点维护局部信誉和全局信誉,对预言机节点形成监管,提高整个预言机集群的可信度.最后,通过设计实现征信链及碳交易链场景下的多链应用,对4种预言机的设计模式、可扩展性及预言机节点可信度进行评测与分析.

关键词： 以太坊   智能合约   形式化规约   形式化验证   定理证明  

摘要： 以太坊智能合约的形式化验证是目前的研究热点,在各种形式化验证方法中,定理证明方法具有误报少、可以处理大状态空间等优点。定理证明需要强大的形式化规约表达能力作为基础。文章对现有以太坊智能合约的定理证明研究中使用的形式化规约表达方法进行综述,从智能合约开发语言和区块链内生语义的建模、智能合约安全属性和功能属性的形式化规约表达、自动定理证明和交互式定理证明的选择等角度对形式化规约方法进行比较和讨论,并指出目前的困难和未来的研究方向。

关键词： 联盟链   区块链   数据源   真实性   共识机制   智能合约  

摘要： 联盟链是具备准入机制的区块链,通常应用于行业、机构或组织之间,由于其数据来源复杂,种类繁多,数据源的真实性显得尤为重要。针对这一问题,在区块链联盟链的技术基础上,以纺织服装供应链及食品安全溯源链为例,研究了包含共识机制、数据加密、智能合约、数据更正、链内信用激励等区块链相关的技术措施,以及法律法规、政府、行业、数据采集环节等方面的其他措施,用以保证联盟链数据源的真实性,体现其可信任的技术特征。

关键词： 威胁情报   评估   信誉   区块链   智能合约   神经网络  

摘要： 共享威胁情报便于组织高效的应对威胁和部署防御计划.针对威胁情报在收集过程中出现的质量参差不齐、价值不高、容易过期等问题,通过评估情报厂商和共享平台提供的数据,基于制定的评估原则,提出了4个一级指标和11个二级指标,建立了威胁情报评估体系.所选的评估指标能够实现可计算化,其中一级指标包括信誉、时效性、贡献度和质量,研究的主要贡献在于,采用以太坊架构和智能合约设计了一级指标中的信誉系统,通过评分的更新实现了信誉评分的动态调整;区块链技术中的匿名和隐私方案保护了用户的隐私性,同时对于恶意用户也制定了相应的惩罚措施,具体过程是向区块链节点发起评分撤销请求,节点采用共识算法通过请求后给予不同程度的限制,改善了评估模型的公正合理性.此外,本研究构建了相关数据集,通过层次分析法(AHP)选取了4个权重较大的二级指标,并利用神经网络算法方法验证了评估模型的有效性和可操作性,精度达到92.59%,与实际值的相关系数达到0.9以上.最后将评估方法效果从实用性、代表性、动态性和可验证4个方面对比,指出所提出的评价方法在实用性和动态性上有明显优势,评估结果为高.

关键词： 智能合约   税收征管   信息保护   合同性质  

摘要： 我国率先开辟出“区块链+税务”的道路,将现时代区块链技术核心的智能合约应用于税收征管。虽智能合约适用于税收征管,但如何保护涉税数据及信息安全、智能合约是否与传统合约拥有同等合同性质、合同法的适用问题都影响着智能合约与税收征管的相配性。通过构建数据匿名性判断模型,明确合约的合同法适用、违约责任及救济方式,进行相关经济法规的跟进与更新,实施内外部并行、软硬法兼施的多元监管,以技术与法律并行的手段保障税收征管是可行之道。