关键词： 智能合约   漏洞检测   漏洞关键代码   深度学习   漏洞特征  

摘要： 智能合约在各个领域中取得了显著的进展，确保智能合约的安全性和可靠性至关重要，可以防止潜在的财务损失。由于不可篡改性，在智能合约部署前进行漏洞检测十分重要。尽管已有很多漏洞检测工具，但它们大多依赖于静态的方法和预定义好的规则，并且检测过程需要大量时间。本文提出了一种基于漏洞关键代码和深度学习框架的智能合约漏洞检测模型。该方法使用抽象语法树构建具有完整语义结构信息的漏洞关键代码，以增加表达漏洞特征的能力。并采用可拓展的深度学习特征提取模型，包括LSTM、GRU、Bi-LSTM和Bi-LSTM-Atten，以提高智能合约漏洞检测性能。针对以太坊智能合约重入漏洞的真实数据集进行训练和测试，实验结果表明，本文方法优于常用的Mythril、Oyent、Smartcheck、TMP、CGE、DeeSCVH等六种方法，达到94.32％的准确率和88.69％的F1分数。

关键词： 能源区块链   安全约束机组组合   智能合约   可信优化   拜占庭容错性  

摘要： 安全约束机组组合（security constrained unit commitment， SCUC）是现货市场出清的核心环节。传统集中求解方法下，SCUC模型求解过程处于“黑箱状态”，求解结果最优性难以验证、各市场参与方可能对求解结果可信赖性产生质疑。为此，本文以区块链为支撑技术，提出了面向现货市场可信出清的机组组合求解方法。首先，提出了“链上分割比对寻优，链下并行容错求解”思想，建立了链上-链下协同的SCUC求解架构，解决了传统区块链技术难以支撑SCUC模型求解任务的局限。随后，建立了机组组合解空间容错分割方法并进行最优性证明，以兼顾区块链环境下SCUC模型求解结果可信赖性和求解过程效率性。最后，设计了相应的SCUC可信求解智能合约。算例测试结果表明，所提SCUC模型可信求解方法具有最优性可验证、满足拜占庭容错性和求解高效性的优点。

关键词： 数据可用性采样   区块链   智能合约   去中心化存储   纠删码  

摘要： 去中心化存储具有高可用性和强扩展性，但由于数据分散存储在多个节点上，存在数据存取速度慢和操作复杂等问题，用户体验相比中心化存储较差。本文着眼于利用数据可用性采样技术，在保持方法去中心化特性的同时，融合中心化存储的优势。在该技术中，多个节点从单个数据拥有者处获取随机选取的规模较小的数据子集，其常与纠删码结合使用来提高数据可用性。基于数据可用性采样技术，引入去中心化的存储提供者，以单对单的形式为用户提供服务，同时利用数据保障者来监督存储提供者并为用户数据提供保障。设计一套较为完备的存储方法，来实现高可用的数据存储，并利用区块链与智能合约来增强其去中心化程度。通过支持再质押模式，并采用低计算资源消耗的存储证明算法，来提高节点的加入意愿。为解决较大的数据规模与数据保障者有限的带宽资源之间的矛盾，提出延迟确认机制。实验与分析评估表明，恶意节点共谋概率仅2.43×10-3，数据可用性采样结果不可信的概率仅为2.93×10-4，在300万次模拟实验中发生数据不可用的次数为0，中心化节点数为0，为1 MiB大小的文件生成存储证明仅需3.51 ms。该方法在提高用户友好性和节点友好性的同时，实现了高可用的数据存储，为优化去中心化存储提供可行的技术路径。

关键词： 区块链   造纸产业   绿色供应链   智能合约   跨链技术  

摘要： 造纸产业在促进经济发展的同时,也带来了环境污染等问题,亟需构建绿色供应链体系。区块链作为一种分布式账本技术,具有去中心化、不可篡改、不可追溯等特点,为造纸绿色供应链建设提供了新思路。基于此,分析了造纸产业绿色供应链发展面临的问题,探索了区块链技术在林木—纸浆溯源、制浆过程监管、纸品流通管理、纸品回收利用等环节的应用场景。在此基础上,提出了造纸绿色供应链区块链平台的架构设计,梳理了业务流程与智能合约,并探讨了跨链数据融合方案。区块链有望成为解决造纸产业绿色供应链问题的利器,推动行业绿色可持续发展。

关键词： 分布式预言机   区块链   智能合约   智能电网   链上链下协同控制  

摘要： 传统电力数据传输和存储系统存在数据可信性和安全性差等问题,而区块链技术的去中心化和防篡改等特性能够有效解决恶意篡改、单点故障等问题,然而电力数据数量庞大、来源广泛、节点类型复杂,目前仍缺乏高效可靠的数据上链方式。为此提出一种基于区块链和预言机技术的链上链下电力数据协同控制方案,通过优化数据上链方式,建立分布式预言机可信上链机制,解决海量数据上链的可信性难题。安全性分析和实验测试证明了该方案的安全性、高效性与可靠性。

关键词： 区块链   农村电网   电力交易   智能合约   快速交易算法  

摘要： 随着农村电网智能化建设的不断推进,电力交易逐渐从传统的集中式模式向更加灵活、高效的分布式模式转变。为了进一步减少人工干预和中间环节,提升交易的效率,该文基于区块链技术保证交易数据的不可篡改性和透明性,引入动态电价模型,结合市场需求变化,提出了一种农村电网快速交易算法,通过优化电力交易确认机制,减少了交易确认的时间延迟,提高了交易响应速度,特别是在电力需求变化较快、交易频繁的环境下,能够有效支持快速交易需求。

关键词： 炼化工程建设   EPC项目   区块链   智能合约   数据隐私  

摘要： 通过分析炼化工程建设EPC项目管理现状,阐述区块链技术的原理特性,介绍其在炼化工程建设EPC项目管理各关键环节中的创新应用方式与优势。结合区块链技术在雄安新区资金支付、项目审批领域的实际应用案例,探讨区块链技术在炼化工程建设EPC项目中应用面临的挑战与应对策略,为提升炼化工程建设EPC项目管理效能提供创新思路与理论支撑。

关键词： 智能合约   预算执行自动化   会计学专业   透明度  

摘要： 本文旨在探讨智能合约在会计学专业预算执行自动化中的应用,通过实证研究方法,分析智能合约如何提高预算执行的效率和透明度。研究发现,智能合约能够优化会计学专业预算执行流程,增强资金使用的透明度和效率,但同时面临技术集成复杂性、系统兼容性、安全性与可靠性等挑战。文章还讨论了智能合约在法律和监管框架下的适应性,以及技术障碍与技能要求变化等问题,并提出相应的对策和建议。

关键词： 区块链   快递   隐私保护   信息安全   智能合约  

摘要： 当前,快递行业快速发展,但同时面临诸多挑战,为了探索区块链在面对这些挑战中的潜力,文章基于区块链及其相关技术提出了一个快递运输方案,通过区块链确保数据安全和用户隐私保护,并利用智能合约自动处理订单、更新运输状态、丢失申报和赔偿流程等,以及解决快递丢失纠纷问题,提升服务质量。最后,文章分析了在可扩展性和成本等方面的挑战及展望。

关键词： 中国自动化学会   分布式自主组织与运营   科技社团   智能合约  

摘要： 中国自动化学会(Chinese Association of Automation,CAA)是我国自动化领域最重要的学术团体之一。面对日益复杂的科研环境和繁重的科研任务,CAA需要不断调整传统的组织和运营模式以应对新的挑战。为此,基于智能合约、分布式自主组织与运营(decentralized autonomous organization and operation,DAO)以及以大模型为代表的人工智能技术,提出了“数字CAA”的概念,构建了总体架构并详细探讨了关键支撑技术,描述了数字CAA的运行逻辑与应用场景,并以分支机构管理为典型案例,阐明其在优化管理和运行效率方面的辅助作用。同时,分析了数字CAA在实际应用中可能面临的主要挑战,在提升CAA可持续发展能力的同时,为其他科技组织的转型与变革提供参考和借鉴。