关键词： RegLang监管合约   智能合约   冲突检测   符号分析   区块链   监管科技  

摘要： RegLang是一种面向监管规则设计的智能合约编程语言,旨在支撑监管规则数字化与合约化,已在金融等领域取得初步应用。然而,在实际应用中,金融监管领域的“适用冲突”“多轨规制”等规则冲突问题可能对区块链金融应用造成严重影响,在增加从业机构合规成本的同时,对监管合约的有效性带来挑战。针对上述问题,提出监管合约变量类型依赖分析方法与基于依赖图的变量类型传播分析方法,推断监管合约中所有变量的可能类型,并根据可满足性模理论求解器支持的符号类型实现监管合约中变量、语句和规则的符号化。基于符号分析的规则冲突检测方法,将监管规则冲突问题转换为可满足性问题,从而检测监管合约中规则的自冲突、完全冲突和局部冲突,并针对多个监管规则间完全冲突检测中的状态空间爆炸问题提出子集划分算法进行优化。实验结果表明,RegLang监管合约规则冲突检测方法可以有效检测各类监管规则冲突,在对代码行数为300行的监管规则进行冲突检测时,自冲突、完全冲突和局部冲突的平均检测耗时分别为1234.9 ms、1977.8 ms和2364.5 ms,在实际应用中是可接受的,能够为实现监管规则数字化提供有效保障。

关键词： 区块链   医疗收入管理   智能合约  

摘要： 区块链具有去中心化、信息不可篡改、数据可追溯等优势,正逐步成为新一轮产业变革的核心驱动力之一。在医疗收入管理中,区块链技术下的智能合约、分布式记账、时间戳和加密机制等技术,能够解决医疗收入管理面临的现实困境,缩短记账周期,助力数据要素价值实现,提升财务监督效能。对此,基于区块链技术,构建由数据层、运行层、合约层和应用层组成的医疗收入管理平台,并通过对医疗费用结算流程、医疗收入核算流程、应收医疗款管理流程和收入报告流程的应用场景分析,得出区块链技术对构建管理智能化、决策数据化、监督精准化的医疗收入管理体系具有重要意义。

关键词： 图书馆   智能法律合约   智能合约   数字版权交易  

摘要： 智能合约在数字版权交易领域拥有广泛的应用前景,但也面临诸多法律障碍,图书馆基于此开展版权交易隐藏着严峻的法律风险。引入智能法律合约可以增强智能合约的法律规范性,纾解传统智能合约交易中的赋权困难、法律关系模糊等问题,然而由于智能法律合约的功能局限,其在面对智能合约的执行风险时仍需辅以其他制度补强效用。

关键词： 去中心化自治组织与运营   Web3   元宇宙   区块链   智能合约   智能算法   平行智能  

摘要： Web3技术催生的去中心化自治组织(Decentralized autonomous organization, DAO)正以颠覆性的方式重新定义要素资源、变革生产关系与塑造组织形态.为了更好地响应DAO研究与应用需求,本文从组织和运营两个角度重新解析DAO,认为其应当被更广义而精确地定义为去中心化自治组织与运营(Decentralized autonomous organization and operation).在此基础上,阐述DAO的关键原理与基本要求,探讨社会物理信息系统、平行智能等基础设施以及数字孪生、元宇宙、Web3等支撑技术,构建涵盖组织层、协调层以及执行层等的DAO五层智能新架构,提出DAO的闭环方程以及功能导向的智能新算法,分析个体、组织与社会视角下的DAO治理机制,研究面向生物人、机器人与数字人的DAO激励机制,并介绍DAO的典型与潜在应用场景.最后,总结全文并展望DAO未来研究方向.

关键词： 智能合约   关键操作码序列   胶囊网络   注意力机制  

摘要： 近年来,随着智能合约的数量越来越多,因合约漏洞而造成的经济损失愈发严重,智能合约的安全性越来越受到广泛的关注。基于深度学习的漏洞检测方法能够解决早期传统智能合约漏洞检测方法检测效率低、准确率不足的问题,但大多现有基于深度学习的漏洞检测方法都是直接使用智能合约源代码、操作码序列或字节码序列作为深度学习模型的输入,会因引入过多无效信息而削弱有效信息。为此,文中提出了一种基于胶囊网络和注意力机制的智能合约漏洞检测方法。考虑到程序的执行时序信息,文中通过提取智能合约的关键操作码序列作为源代码特征,然后利用胶囊网络和注意力机制的混合网络进行训练,其中胶囊网络模块用于提取智能合约的上下文信息以及局部与整体的联系,注意力机制用于给不同的操作码按照其重要程度分配不同的权重。实验结果表明,文中提出的算法在智能合约数据集中的F_1分数和准确率分别为94.48%和97.15%,与其他传统检测方法和深度学习方法相比有较明显的性能提升。

关键词： 智能合约   区块链   合同属性   当事人合意   意思自治  

摘要： 目前,作为“元技术”的区块链正由加密数字货币时代过渡到智能合约时代。立足法律向度认识区块链技术支撑的智能合约,首先要解决智能合约的定性问题,即智能合约是否属于合同。基于数字加密的区块链结构赋予合约的信赖保障机制、去中心化系统与区块链体系架构的底层技术支撑共同促成了合约的生成、发布与执行,是智能合约合同属性的本质依据。智能合约可以认为是符合当下社会发展趋势的合同形态。分析合同成立的核心要件、意思自治的具体表现和价值引导的必要性等可以得出以下结论,即区块链智能合约与传统合同一样,都是内在本质与外在形式的统一,应当在《民法典》与《民事诉讼法》的规范内容与程序框架内提供解释与救济,以有效回应当下的立法规定与司法实践。

关键词： 区块链   可搜索加密   身份认证   完整性检查   智能合约   星际文件系统   格  

摘要： 为解决传统电子病历存储方案共享难、数据易篡改和隐私泄露问题,为此构建一种基于区块链的电子病历可搜索加密存储、高效共享与可验证方案。通过使用简洁非交互零知识证明(zero-knowledge succinct non-interactive arguments of knowledge,zk-SNARKs)构建用户身份认证系统,提高用户身份的隐私性,匿名性。通过提出基于改进Merkle树的格可搜索加密方案,实现电子病历的可搜索加密与验证方案;并在此基础上通过智能合约构造搜索方案的双重验证。通过将相应的加密数据外包到星际文件系统(interplanetary file system,IPFS)以降低存储成本。通过实验对加密算法性能、智能合约时间和花费开销、链下存储性能进行仿真测试。验证了该系统能够满足电子病历系统应用需求,并提高了数据完整性、搜索效率性和身份保密性。

关键词： 第二价格密封拍卖   信用机制   区块链   智能合约  

摘要： 针对目前采砂权拍卖过程中竞拍者盲目高价投标,造成恶性竞争的问题,设计一种融合信用值与第二价格密封拍卖的区块链智能合约。采用第二价格拍卖机制激励竞拍者按照真实估价投标,以避免信息不对称时竞拍者盲目出价造成的恶性竞争,并引入信用机制来约束恶意出价等不诚实行为。最后基于HyperledgerFabirc1.4开源联盟链框架和Golang语言实现了该智能合约,并建立了一个可信、保护隐私数据、公平且无第三方的线上拍卖环境。实验结果表明,设计的智能合约能有效对投标形成约束,发挥第二价格拍卖作用,系统性能稳定,可满足日常拍卖要求。

关键词： 医疗大数据   区块链   访问控制   数据共享   智能合约   基于属性的访问控制  

摘要： 针对当前医疗数据共享时访问控制粒度过粗、共享灵活性低、集中式医疗数据共享平台存在数据泄露的安全隐患等问题,提出一种基于区块链的医疗数据分级访问控制与共享系统。首先,对医疗数据按照敏感度分级,并提出了密文策略属性基分级加密(CP-ABHE)算法,实现对不同敏感度医疗数据的访问控制。该算法使用合并访问控制树和结合对称加密方法提升密文策略属性基加密(CP-ABE)算法的性能,并使用多授权中心解决密钥托管问题。然后,采用基于许可区块链的医疗数据共享模式解决集中式共享平台存在的中心化信任问题。安全性分析结果表明,所提系统在数据共享过程中保证了数据的安全性,可以抵御用户合谋攻击和权威合谋攻击。实验结果表明,CPABHE算法拥有比CP-ABE算法更低的计算开销,所提系统的最大平均时延为7.8 s,最高吞吐量为每秒处理236个事务,符合预期性能要求。

关键词： 多无人机系统   协同任务分配   区块链   智能合约   合同网  

摘要： 针对多无人机系统自主协同控制缺少统一的底层技术平台和面临的单点失效、信息安全威胁等问题,提出了基于区块链技术构建协同任务规划平台的方法。以多无人机协同任务分配问题为研究对象,将合同网任务分配算法描述为智能合约,应用区块链共识算法实现系统共识,设计出一种安全高效在线实时任务分配方法。采用Hyperledger Fabric开源软件搭建了仿真实验验证系统,并以典型的海洋常规潜艇搜捕应用场景进行了仿真验证,实验结果证实了该方法的可行性和优越性。