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

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

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

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

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

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

关键词： 静态分析工具   耦合   漏洞检测   漏洞扫描流程   元操作   逻辑运算符   扩展   新型漏洞  

摘要： 针对静态分析工具由于漏洞扫描流程代码强耦合于工具代码中导致其扩展漏洞成本较高的问题,文中提出了基于元操作的智能合约漏洞检测方法。该方法将工具中的基本检测流程转换为元操作抽象形式,通过不同元操作和逻辑运算符组合来自定义漏洞扫描流程,以达到通过编写少量漏洞扫描流程语法就可以实现检测不同漏洞,提高工具对智能合约新型漏洞的扩展能力。实验结果证明,根据文中方法所需编写的漏洞描述字符量仅为Slither工具漏洞检测逻辑字符量的8.9%~12.7%,假阳率相比Slither工具降低2%。证明了所提方法可以在保证工具检测可靠性的基础上提供了更强的扩展性和灵活性。

关键词： 国际贸易   保兑仓融资模式   区块链   智能合约  

摘要： 区块链技术能够为国际贸易保兑仓融资模式的发展带来颠覆式创新,在保兑仓融资领域引入区块链智能合约功能,可以打通国际贸易融资壁垒,畅通国内国际双循环。基于此,文章结合案例公司,基于区块链智能合约功能的国际贸易保兑仓融资业务场景开展实务研究,构建整合全链条的智能合约平台,并提出具有针对性的建议,以期能够最大程度缓解企业融资难、融资贵的问题,为企业相关业务的开展提供有益参考。

关键词： 区块链   电动汽车   充电桩   共享检测   智能合约  

摘要： 分析当前充电桩共享面临的信息不对称、数据安全、信任缺失、维护检测不规范等问题,提出利用区块链的去中心化、数据不可篡改、加密安全、可追溯等特性,从实时状态上链、数据加密保护、智能合约建立信任、可追溯维护检测4个方面进行应对。研究表明,区块链技术的应用有效提升了充电桩共享的透明度、安全性、效率和规范性,对推动行业高质量发展具有重要意义。

关键词： 区块链技术   汽车维修   质量溯源   智能合约  

摘要： 随着汽车维修行业的快速发展,汽车维修质量溯源已成为提升汽车行业透明度和可信度的关键环节。传统溯源方式效率低下、数据易篡改,制约了行业的健康发展。区块链技术由于具有去中心化、不可篡改、可追溯等特性,在解决供应链溯源中的痛点问题方面具有独特优势。该文在分析区块链技术原理和汽车维修质量溯源重要性的基础上,探析区块链技术在汽车维修质量溯源中的具体应用并提出优化方向,为区块链技术在汽车维修质量溯源中的应用提供有益探索。

关键词： 区块链   远程会诊服务   蚁群算法   智能合约   去中心化  

摘要： 为引导医疗资源更加合理、公平的配置,解决医疗卫生系统中多方主体就收费价格协商达成一致以及患者的支付问题,解决各医院在采集患者信息的过程中如何保证数据的私密性、准确性、一致性和可追溯性等问题,根据远程会诊服务的运行流程,提出一种去中心化的、远程智能会诊区块链模型,该模型运用智能合约下的改进蚁群算法,在多节点远程会诊服务仿真平台开展对改进蚁群算法实用性的研究,根据实验分析结果,改进的蚁群算法在智能合约下能自动执行并有效匹配目标群体。

关键词： 工会经费收缴   区块链技术   前沿科技   创新手段   可追溯性   智能合约   去中心化   共识性  

摘要： 区块链技术是当前社会发展的前沿科技,具有去中心化、共识性、可追溯性、智能合约机制等特点,为解决工会经费收缴工作中的信息不对称、收缴效率低下、创新手段不足等问题提供了契机。本文结合区块链技术与工会经费发展背景,论述区块链技术和工会经费收缴工作高质量发展的内涵;分析工会经费收缴现状,研究工会经费收缴中的难点问题;根据区块链技术的特点,提出推动工会经费收缴工作高质量发展的思路。

关键词： 透明度   执行效率   可编程性   安全性   兼容性  

摘要： 数字人民币作为我国法定的数字货币,其应用场景不断拓宽。文章聚焦于数字人民币智能合约在工程合同管理中的应用,分析了其带来的优势与挑战。智能合约的引入将提高合同的执行效率,提高工程合同管理的透明度和可追溯性,并降低交易成本,其可编程性也能应对复杂的商业模式。然而,其安全性、兼容性、技术成熟度以及相关的法律法规等问题仍需深入研究和探讨。文章展望了数字人民币智能合约在工程合同管理中的技术研发方向和未来发展趋势,并提出了相应的建议。