关键词： 智能合约   访问控制   电子健康记录(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的交易流转实现特定资产的价值流转。

关键词： 基坑   监测   自动化   有限状态机   区块链   智能合约  

摘要： 随着建筑4.0时代的到来,基坑自动化监测已成为工程质量管理的重点。智能合约作为一种可自动执行的程序代码,在保证数据真实性、提高日常监测效率方面有很大潜力。然而,其编写的复杂性和基坑工程的不可预测性成为其应用的主要障碍。因此,提出一种针对基坑工程的智能合约自动生成方法。该方法借助有限状态机思想,将基坑工程监测流程和规则转换为有限状态机模型。这种模型有助于明确和完善深基坑施工过程中传感器数据的上链与监测业务,自动生成智能合约代码,从而实现监测数据的自动化处理和预警。同时,区块链技术的特点可保证监测数据的真实性和不可篡改性,从而提高基坑工程施工质量和安全性。该方法在基坑质量安全管理的背景下,成功生成了可用的智能合约,并使用Remix IDE实现,验证了针对基坑业务的自动生成智能合约的正确性与可行性。

关键词： 智能合约   深度学习   不平衡数据   注意力  

摘要： 针对数据集不平衡导致智能合约漏洞检测率低以及漏洞检测单一问题，本文提出一种基于卷积神经网络和双向长短期记忆网络并行的智能合约漏洞检测方案SVCB。首先，通过循环遍历并提取原数据集中的每列标签形成新的标签列表，使用合成少数类过采样技术对新的标签列表进行独立的过采样来解决数据集不平衡问题；其次，利用卷积神经网络和双向长短期记忆网络分别对词向量进行特征提取，卷积神经网络用于捕捉局部特征，双向长短期记忆网络用于捕捉全局特征，并将提取的特征进行特征融合；然后，将特征融合后的序列输入注意力机制中，为输入序列中不同的特征分配不同的权重，突出与漏洞相关的关键特征；最后，通过全连接层和输出层实现智能合约的漏洞检测。本文使用在以太坊上收集的智能合约对模型的性能进行评估。实验结果表明，该方法能够准确检测出4种漏洞，可以有效解决数据不平衡问题，与传统检测方法和目前深度学习模型相比，准确率、召回率、F1值、精确率均有一定提升，其中准确率可达91.70%。

关键词： 区块链   智能合约   漏洞检测   预训练模型   图神经网络  

摘要： 针对现有深度学习漏洞检测方法对合约字节码特征挖掘不足、漏洞语义表征不精准,且传统图神经网络模型对合约语句的时序信息学习能力不足,提出一种基于预训练与时序图神经网络的智能合约漏洞检测方法。首先,通过预训练模型将智能合约字节码建模为漏洞语义感知的合约图结构。其次,结合自注意力机制,设计了一种新颖的基于事件驱动的时序图神经网络模型,实现对合约执行中时序信息的有效抽取。最后,聚焦于可重入漏洞、时间戳依赖漏洞以及***身份认证漏洞,通过120932份真实合约数据集进行大量的评估实验,结果表明所提方法的检测效果显著优于现有方法。