关键词： 区块链   智能合约   漏洞检测工具   评价体系  

摘要： 智能合约是实现区块链众多应用的基础,有效的漏洞检测工具能够挖掘出智能合约的潜在漏洞,减轻区块链应用面临的安全威胁。然而,现有漏洞检测工具种类繁多,缺乏行之有效的评价体系,无法有效衡量漏洞检测工具的质量。针对这个问题,首先对智能合约面临的安全威胁进行了阐述;接着,对行业内主流的智能合约漏洞检测工具的现状及其缺点进行了深入的分析;最终,提出了智能合约漏洞检测工具的评价体系,涵盖覆盖率、性能效率、准确性和可用性等多维度,对于提高智能合约的安全性具有重要的指导意义。

关键词： 智能合约   漏洞检测   迁移学习   MixStyle   最大均值差异  

摘要： 研究提出了一种基于混合风格迁移的智能合约漏洞检测方法,旨在解决智能合约新漏洞出现时数据集不足和无法有效检测未知漏洞问题。首先,从智能合约源代码中提取抽象语法树,使用图注意力网络捕获节点间的依赖关系和信息流;然后,采用最大均值差异实现从旧漏洞到新漏洞的有效知识迁移,从而增加深度学习模型训练的数据量;最后,在分类器中融入MixStyle技术增强模型的泛化能力并提高对新型漏洞类型的识别准确度。实验结果表明,在4种漏洞类型的检测上,该方法在F1、ACC、MCC指标上优于BLSTM-ATT、BiGAS、Peculiar方法。

关键词： 区块链   变更管理   智能合约   信息系统  

摘要： 为解决工程项目变更中存在的信息不透明和可追溯性差等问题,提出了一种基于区块链的工程项目变更管理信息系统,并通过工程变更案例来模拟和演示区块链系统的功能模块.结果表明:去中心化工程变更管理信息系统能够有效解决传统变更管理中信息碎片化、数据来源真实性差和智能化程度低等问题,并以安全及防篡改的方式共享、存储和管理变更信息;此外,通过智能合约实现变更程序的合规性审查,从而提高工程项目的变更处理效率,为建筑行业内的技术革新和管理改进提供了新的视角和方法.

关键词： 区块链   数据存证系统   智能合约   设计模式   分层架构   多业务场景   关系型数据库  

摘要： 针对区块链存证系统多需对不同业务场景的存证内容开发特定智能合约及对关系型数据存证操作不便的问题,提出了面向多业务场景的智能合约分层架构、设计模式及基于集合论的智能合约对关系型数据的操作方法。通过对不同智能合约间及智能合约同数据表间的解耦,提高了智能合约代码的可扩展性,并能有效支持以键值对数据库为底层存储的区块链对关系型数据库表及数据的存证操作,实现对已有政务业务数据的存证。实验结果表明,提出的存证方案具备可行性和有效性,并可大幅减少智能合约的开发工作量。

关键词： 区块链   电子投票   全同态加密   智能合约   签名算法  

摘要： 在数字化投票系统中，全同态加密与区块链技术的结合保障了电子投票的安全性和隐私性，但现有方案因全同态加密算法复杂的计算过程导致系统整体性能较差，尤其是在计票效率和公平性方面，因此提出一种基于全同态加密的区块链电子投票方案BCEVS-FHE。该方案通过优化BFV全同态加密算法中噪声因子的影响，降低加解密过程中的计算开销，从而提高计票效率。利用SM2数字签名算法对投票者生成的选票信息进行签名，确保投票者无法否认其投票行为，防止身份信息假冒与欺诈。同时，引入智能合约对加权计票的加权方式进行改进，确保投票者权重的不可伪造性和不可篡改性，保障投票过程的公平公正。最后，通过私有区块链方式将所有交易信息都存储到链上，确保整个投票过程不可篡改和可追溯性。实验结果表明，BCEVS-FHE在计票时间上较文献[18]提高了约17%，较文献[19]提高了约14.2%。同时，该方案不仅在隐私性、机密性、安全性、唯一性和可验证性等安全属性上得到了保障，还在公平性和可移动性等功能属性方面表现出色。综合来看，BCEVS-FHE满足电子投票协议的安全需求，还具有较高的实际应用潜力，对于数字化投票系统的广泛应用具有重要的研究价值。

关键词： 区块链   动态分片   节点聚类   智能合约   可扩展性   超级账本  

摘要： 分片机制是解决区块链吞吐量低和通信复杂度高等性能瓶颈问题的一种途径。然而在现有的分片系统中,分片之间的交易可以并行处理,这样会不可避免地出现频繁的跨分片交易,相比于片内交易,跨分片交易会增加确认时间。当系统中跨分片交易增多时会导致分片系统效率降低。提出了一种动态分片自适应模型,用于提高区块链平台的吞吐率和效率。将通过交易数据相关性动态地将数据拆分到同一个分片,同时将多个高度相关的分片自适应地合并到同一个分片当中。为了验证区块链动态分片自适应模型,使用超级账本对区块链动态分片自适应模型进行实验。实验结果表明所提出的模型可以提升区块链分片系统的可扩展性,同时保证安全性以及一致性问题。

关键词： 智能合约   法律属性   风险   法律风险   法律规制  

摘要： 智能合约是由事件驱动的、具有状态的、获得多方承认的、运行在区块链之上的且能够根据预设条件自动处理资产的程序。智能合约的运行机制主要分为合约的制定、部署和运行三个步骤,即将缔约各方达成合意的合约文本翻译成计算机代码,代码中预先设置触发条件,程序在确认预设触发条件成就后激活智能合约的执行程序,自动执行合约内容。智能合约的法律属性存在争议,主流观点认为智能合约是当事人合意的表现且具备要约-承诺的条件,具备合同的成立要件,应属于合同。伴随区块链技术的发展,智能合约的适用必将更加广泛,不免产生一系列法律风险,可能存在算力攻击、代码泄漏的技术风险和错误执行、隐私泄漏以及监管风险方面的法律风险。对于技术风险,首先以部门规章的形式对智能合约技术开发统一标准,对每个智能合约进行事前行政审查,同时提高各个使用主体的风险识别和风险防范意识;对于法律风险,要完善智能合约法律适用,加强隐私保护,完善对智能合约的监管。

关键词： 分布式区块链   配电自动化系统   智能合约  

摘要： 提出了基于分布式区块链技术的配电自动化系统方案,包括网络结构、技术架构及工作流程。针对无线与有线系统的特定网络结构与功能组件进行了阐述,并对区块链的优势进行明文与加密数据传输的优势进行了分析分析。以Hyperledger Fabric构建了配电自动化系统网络,并评估了系统性能。在Setvalue和Queryvalue操作中,系统分别达到4.12 TPS和65.21 TPS,证明了分布式区块链技术在提升配电自动化性能方面的潜在能力。

关键词： 区块链   异构跨域网络   双向身份验证   网络签名   智能合约  

摘要： 异构跨域网络中,受数据信息顺序、逆序传输身份相互覆盖过大影响,导致双向身份验证失败。为此,设计基于区块链的异构跨域双向身份验证方法。对区块链组织取样,获取异构网络签名,利用部署智能跨域合约,实现对身份密钥的协商,按照双向初始化的处理需求,设置必要验证条件,完成基于区块链的异构跨域双向身份验证方法的设计。实验结果表明,信息顺序、逆序传输身份覆盖率控制在10%以下,有效解决异构跨域网络中双向身份验证失败的问题。

关键词： 建筑信息模型   无人机技术   智能合约   区块链技术   物联网  

摘要： 探讨了建筑信息模型(BIM)、无人机技术、智能合约与区块链、物联网(IoT)及数据分析和机器学习在工程监理中的应用及影响。这些技术提高了项目规划、设计、执行和管理效率,增强了成本控制、时间管理、质量保障、风险预测和利益相关者满意度。尽管技术整合、培训、成本和数据安全存在挑战,但合适的策略和实践可带来长期益处,建议石化项目管理者重视并推动这些技术的采用。