关键词： 智能合约   公平性   SPIN工具   LTL公式   垄断  

摘要： 智能合约是区块链技术的重要应用,在数字经济中发挥着重要作用。智能合约本质上是程序代码,相关部门的监管较少,难以保证完全合法合规,可能会扰乱市场秩序,造成经济损失,一旦出现垄断行为会影响市场公平性和效率,进而损害用户权益。为此,以监测垄断行为出发点,提出一种基于形式化验证的智能合约垄断行为检测方法。首先,采用线性时序逻辑(LTL)表示法,将垄断中涉及的平等性、公正性属性形式化为相应公式;其次,将待检测的智能合约进行建模,利用SPIN工具验证智能合约是否满足定义的两种属性,以分析其是否违反了公平性属性。实验表明,该方法能较好地检测智能合约中的垄断行为,为智能合约的设计和审计提供了新思路。

关键词： 区块链   联邦学习   智能合约   移动用户认证   中毒攻击  

摘要： 能源企业的员工用户的隐私保护和可信认证是安全生产的关键。联邦学习能够在保护数据本身隐私的情况下构建用户认证模型。然而,在联邦学习过程中,存在着数据采集效率低、节点易受中毒攻击、缺乏实用性等缺陷。为此,提出一种结合智能合约私有链和联邦学习的新型移动用户认证模型优化方法,结合时序数据的离散小波分解和长短期记忆网络,该方法可以提高数据收集速率,降低训练好的模型被攻击者绕过的概率,提高模型的安全性。通过在1513人的真实环境数据集上的实验结果表明,该方法能有效抵抗中毒攻击,并达到较为满意的精度。

关键词： 资源协同理论   国有企业   数字化转型   精准招商   智能合约  

摘要： 在数字经济时代下,国有企业传统招商模式面临资源协同效率低、决策精准性不足等挑战。研究基于资源协同理论,构建数字化转型驱动精准招商的三维协同机制:通过数字孪生技术实现资源可视化重构,依托神经网络架构建立招商需求自学习系统,运用智能合约构建自动化履约保障体系。研究设计云边协同基础设施与人机融合决策系统,提出包含数据确权、算法问责等要素的制度创新框架。研究发现,数字化转型通过重构资源交互界面、激活数据要素流动、建立数字信任机制,可提升招商目标识别准确率及决策响应速度。研究为国有企业突破招商资源壁垒、构建智能生态提供了理论范式与实践参考路径。

关键词： 区块链   智能合约   溯源   默克尔树   多链架构   隐私保护   Raft共识  

摘要： 针对供应链溯源中存储成本高、隐私易泄露、交易速度慢等问题,基于默克尔树搭建多链架构,设计智能合约实现数据查询、精准监管等功能,通过IPFS优化数据流;运用CBC-SM2算法保护企业隐私,将CBC模式与区块链结合降低密钥管理难度,减少上链成本;引入信誉机制改进Raft共识,根据信誉值设置L标志位减少无效竞选。实验结果表明,该方案降低约27%存储成本,查询效率提高,较其它方案仅单次查询即可完成溯源数据验伪;混合加密的效率提升40.4%,降低了通信开销;企业链共识效率提升6.57%,提高了供应链交易速率。

关键词： 智能合约   静态分析   价格预言机操纵攻击   区块链安全  

摘要： 针对智能合约的价格预言机操纵攻击问题,文章提出一种基于静态分析的价格预言机操纵源代码检测方法。该方法首先根据用户输入的函数调用关系,建立调用者函数的变量和被调函数的参数之间的对应关系,以及被调函数返回值和调用者函数的变量之间的对应关系。其次,对被测函数的源代码及其实际运行时涉及的其他合约源代码进行静态分析,获取每个合约的数据流和控制流信息。然后,通过整合单个合约的数据流信息、控制流信息以及函数调用关系,构建跨合约的数据流图和控制流图,从而获取变量的数据依赖和控制依赖关系。最后,通过检测转账操作中的转账金额以及转账操作中存在控制依赖的控制语句是否使用少量容易被操纵的信息,来判断被测合约是否存在价格预言机操纵风险。实验结果表明,该方法能有效检测智能合约中的价格预言机操纵攻击,具有较高的精确率和召回率。

关键词： 智能合约   法律性质   合同   具体行政行为  

摘要： 智能合约与电子合同的区别在于自动执行能力,人工智能与智能合约的差异体现在其自主性。智能合约内容上承载了当事人之间设定的规则,形式上表现为设定代码的运行规则。智能合约法律性质是规则实现,统合公、私法智能合约法律性质,也因规则内容的不同,而产生不同的法律效果或不产生法律效果。交易类智能合约满足合同认定核心要素合意要件,其法律性质系合同。行政类智能合约亦体现了行政机关的意思要素,系具体行政行为。

关键词： 电子病历   区块链   智能合约   自动理赔  

摘要： 电子病历(Electronic Medical Record,EMR)是患者进行相关医疗诊断的私人数据,但是相关保险理赔都会进行明文查阅这些隐私数据,容易造成隐私数据泄露,并存在数据安全的风险。为了解决上述问题,提出通过利用区块链和智能合约实现电子病历集中管理和存储,病人的电子病历存储在星际文件系统(InterPlanetary File System,IPFS)中,通过智能合约与患者的数据进行关联。病人在医院就诊时,直接生成理赔合约,保险公司在进行理赔时,无需获取病人电子病历明文信息,通过理赔合约判断保险是否需要理赔,实现保险理赔规范化和保护用户隐私数据的目的。

关键词： 电动汽车   分布式能源   联盟区块链   智能合约   关联挖掘   档位定价  

摘要： 针对电动汽车(electric vehicles,EV)市场渗透率快速增长下偏远地区充电基础设施建设成本高、难度大等问题,文章提出新型氨-氢-光耦合能源自给场景下,考虑用户差异化需求的离网EV充电引导策略。首先从电能交易的信息互联与安全需求角度出发引入区块链技术,建立离网EV充电体系架构适配灵活充电需求;随后,考虑氨-氢-光耦合下的充电站运行约束,采用关联光伏利用率和充电成本的多档位定价策略,通过智能合约实现自动化电能交易;最终引导用户选择对交易主体均有益的充电策略。算例通过蒙特卡洛采样法模拟充电需求,分别计算常规快充及引导策略模式下的充电站运行结果,验证该策略能够在增加电能交易主体收益、满足用户出行需求的同时,促进光伏消纳。

关键词： 区块链技术   数据安全   加密算法   分布式账本   智能合约  

摘要： 随着数字化转型步伐的加速,计算机数据面临的安全威胁日益严峻,现有安全防护措施难以满足日益复杂的网络安全需求。区块链技术凭借其去中心化、不可篡改等特点,在数据安全防护领域展现出巨大潜力。研究分析了区块链技术在计算机数据安全防护中的架构,设计了数据加密存储、传输安全、访问控制、防篡改、身份认证与授权,以及数据溯源等模块。测试证明,区块链技术在计算机数据安全防护中有效,为构建更加安全可靠的计算机数据防护体系提供了技术参考。

关键词： 区块链   鞋业供应链管理   优化策略   智能合约   溯源系统   加密技术  

摘要： 本研究首先介绍了区块链和鞋业供应链体系的概念,阐明技术特点。其次根据当前鞋业市场现状,指出鞋业供应链存在的主要问题,包括交易对象间信息不对称、业务追踪时溯源困难、数字技术与供应链融合度不高和供应链缺乏有效协同。针对这些问题,本研究综合区块链的现实应用,提出了一系列优化策略,如搭建管理平台、优化数据存储、引入数字技术、实现信息透明和培养专业人才,旨在提高供应链效率,增强市场竞争力,保障消费者权益。