关键词： 智能合约   智能合约漏洞   检测能力   漏洞成因  

摘要： 随着智能合约的快速发展,针对智能合约的攻击越来越普遍。为了智能合约漏洞检测技术的提升,对智能合约漏洞的基本类型和常见检测技术进行分类总结。根据智能合约漏洞产生的原因将漏洞类型分为3类,并分析5种典型漏洞成因,向开发者就如何规避漏洞产生提供建议。分析当前智能合约漏洞检测技术的研究现状,统计了3种检测技术的6款工具对于常见的智能合约漏洞的检测能力,发现不同检测技术的工具基本都具备对可重入漏洞、异常障碍和时间戳依赖漏洞的检测能力,但对与第三方应用程序交互的智能合约漏洞的自动化检测存在一定难度。

关键词： 区块链   可搜索加密   智能合约   农产品   云存储  

摘要： 随着全社会对农产品数字化监管的推进,使用区块链和云存储已经成为趋势,但是其中的数据安全问题也越发突出。采用对称可搜索加密农产品云数据中的隐私文件进行快速加密,用智能合约技术和非对称可搜索加密管理对称密钥,不仅实现了农产品云数据机密性,还能让数据使用者在不解密的情况下对密文库进行搜索。结合区块链技术,提出一种基于区块链的农产品云数据可搜索加密方案,基于层次机构设计了引用层的数据查询、数据分析、溯源服务和数据共享功能。

关键词： 双向拍卖   联盟链   交易算法   用户满意度   智能合约  

摘要： 碳交易是降低温室气体排放、发展低碳经济的重要方式。在传统碳交易过程中主要存在主体分布广、数据互通性差和效率低等问题,而通过带有准入机制的联盟链作为碳交易的基础设施,可确保交易数据的安全性与可溯源性。因此,提出一种基于联盟链的双向拍卖交易算法。所提算法考虑用户满意度,分2个阶段执行。在第1阶段,所有节点提出报价范围,符合条件的节点将在该阶段立刻达成交易;剩余交易节点进入第2阶段,计算交易量匹配度,以用户整体满意度为优化目标进行匹配,从而输出最大整体满意度的结果。所提算法与匈牙利算法、GS(GaleShapley)算法的对比实验结果表明,所提算法提高了用户满意度,且让平均匹配时间分别降低了26.2%和36.0%。所提算法利用HLF(HyperLedger Fabric)部署双向拍卖算法智能合约,自动计算和处理用户交易请求,并把交易的结果经过共识记录在联盟链的通道账本,在不同的区块大小和交易请求数下实现了稳定的交易吞吐量。

关键词： 智能合约   访问控制   电子健康记录(EHRs)   智慧康养   医疗信息系统  

摘要： 医疗信息系统的应用导致个人电子健康记录(EHRs)呈爆炸式增长。这些健康记录(EHRs)是从不同的医疗机构生成的,并分别存储在不同的云数据中心。然而,这类存储模式会导致数据所有者失去控制和跟踪个人EHRs敏感信息的权限,数据所有者也无法为EHRs的交换和共享建立规则,更无法验证存储在半可信云服务器中的EHRs的数据完整性。因此,本文构建了一个基于区块链技术的细粒度数据访问控制框架,该框架集成了多种智能合约和基于角色的访问控制(RBAC)模型以提供细粒度的健康数据访问控制服务并进一步保障数据的完整性。

关键词： 区块链智能合约   纠纷解决   去中心化司法   博弈论   司法救济  

摘要： 基于区块链智能合约的去中心化、自动执行、防篡改等特性,衍生出以“去中心化司法”为理论内核的链上民主自治式治理方式。然而,无论是技术层面还是法理层面,基于区块链机制设计与博弈论相结合的“去中心化司法”均与传统中心化解纷机制之间存在兼容性难题。在我国语境下,所谓的司法区块链智能合约依然是以“衍生论”维度的存证为主,极少涉及“本体论”维度的链上原始交易,未曾真正关注链上纠纷解决机制的适用。为了实现“去中心化司法”与传统中心化救济机制的有效衔接,实质性化解区块链智能合约纠纷,有必要以预防原则、正当法律程序、当事人权利保障为基点,从法律与技术等层面构建具有可操作性的递进式解纷路径。既尊重区块链的技术逻辑,为链上治理保留一定的自治空间,又为传统纠纷解决机制的介入提供必要的程序保障。

关键词： 流数据   边缘计算   区块链   智能合约   访问控制   授权撤销  

摘要： 物联网设备和服务将实时生成的流数据加密后进行外包存储,并通过访问控制对用户进行授权,当用户的身份或权限发生变更时,需要撤销用户的权限。现有撤销方案通常存在密钥频繁更新和重加密密文的问题,导致撤销效率低下,灵活度不足,难以实现实时撤销,面临数据泄露风险。为解决流数据外包存储场景下的实时授权撤销问题,提出了一种基于智能合约的去中心化授权撤销方案。在边缘计算和区块链相结合的物联网架构下,将流数据按照时间间隔分块,使用HASH树生成与块对应的大量且唯一的密钥,并对分块数据进行对称加密;树节点创建访问令牌并通过代理重加密技术进行共享,实现了可更改的访问策略和高效动态数据共享;利用智能合约技术创建访问控制列表和不当行为列表,对用户权限进行定时撤销和即时撤销操作,实现了去中心化的实时授权撤销。安全性分析和仿真实验证明所提方案与其他相关的研究方案相比,提供了更好的安全性、功能、通信和计算成本,更具有效性。

关键词： 数据要素   去中心化身份   区块链   智能合约   激励机制  

摘要： 在数字化时代,数据作为重要的生产要素,对经济增长、科技创新和企业竞争力提升至关重要.传统的中心化的数据交易系统存在一系列数据安全、交易安全风险.虽然当前已经出现了基于区块链实现的去中心化数据交易系统,可以为数据交易提供安全保障,但基于区块链的数据交易系统仍难以处理跨地区、跨地域、跨国家的数据交易,其主要面临3个挑战:1)跨域身份解析结果的一致性问题;2)跨域身份解析服务的可用性问题;3)面向跨域交易的数据交易系统的安全与合规问题.为解决上述3个问题,基于去中心化身份技术设计了一套安全高效的身份跨域解析机制,并构建了一种安全、可监管的去中心化数据交易系统.身份跨域解析机制包括确保解析结果一致性的身份跨域协议和保障该协议执行服务可用性的激励机制.该去中心化数据交易系统支持基于身份属性的细粒度监管,并保证跨域数据交易的原子性.实验验证表明,该系统满足设计目标,解析延迟仅为跨域解析延迟的45%,缓存命中率通过主动和被动更新机制提高72%.系统兼容多种区块链,跨域数据交易平均在2.3个区块内完成,效率在可接受范围内.

关键词： 非正式学习   学习成果认证   区块链   智能合约   去中心化  

摘要： 针对非正式学习成果认证存在的成果来源复杂、信任成本高和认证效率低等问题,研究设计了一种去中心化的非正式学习成果认证方法。通过系统性地梳理相关文献,选择了学习成果的认证过程作为研究的焦点,从参与主体、数据客体和认证功能等多个角度,深入探讨了智能合约在非正式学习成果认证中的应用逻辑,并详细阐述了认证智能合约的实现机理。以G省开放大学社区教育学院的一门公益课程为实践案例,对该认证过程的仿真实验结果表明,基于智能合约的非正式学习成果认证具有真实性、安全性和有效性等特征,能为利益相关主体提供高效服务与公平保证,有助于促进非正式学习成果认证主体间的协同和信任。

关键词： 智能合约   数智治理   算法规制   责任主体  

摘要： 智能合约创立了以算法技术为核心的信任机制,推动政府治理方式与法治建设向数字化、智能化转型。但面对以智能合约和区块链为代表的新兴科技,现阶段的法律规制机制存在着先天不足与运行梗阻,依靠私法领域的责任规则尚不足以对行政领域的智能合约法律风险实现精准治理。通过定性分析法,在阐述智能合约的运作机理,并对智能合约在公共行政领域的适用问题进行探讨的基础上,梳理智能合约在行政领域独特的法律风险与规制需求。应着手建立规范化的“法律–代码”转化机制,加强对算法权力的规制,确立行政机关的责任主体地位,构建起多层次、全方位的行政规制机制,使智能合约真正成为推动国家治理体系和治理能力现代化的利器。

关键词： 区块链技术   智能合约   特定资产   去中心化   可验证性   物理层面   实物资产   数字化  

摘要： NFT(Non-FungibleToken)即非同质化通证,物理层面是一串机器生成的文字。其基于区块链技术,具有可验证性、透明性、有效性、不可篡性等特征,可以理解为“去中心化的虚拟资产或实物资产的数字所有权证书”。NFT的价值在于资产的数字化映射,NFT可将资产的相关权利内容、过往交易流转信息等记录在智能合约的标示信息中,并在对应的区块链上给该特定资产生成一个无法篡改的独特编码。NFT标记了用户对于特定资产的所有权,使之成为该特定资产公认的可交易性实体,凭借区块链技术不可篡改、记录可追溯等特点记录产权并确保真实性与唯一性,通过NFT的交易流转实现特定资产的价值流转。