关键词： 智能合约   漏洞检测   数据流图   混合模型  

摘要： 智能合约控制着区块链上巨额资产的流动,因此确保其安全性至关重要。基于此,提出一种基于数据流图和混合深度学习模型的方法,即DFG-HDP,用于检测智能合约的漏洞。该方法首先对智能合约源码进行清洗和变量规范;其次从源码中提取数据流特征,将其与源码结合作为输入;最后将不同的词嵌入模型与不同的深度学习模型结合,对输入进行学习检测。实验结果表明,该方法在智能合约漏洞检测中的F1值高达89.90%,优于之前的漏洞检测方法CBGRU。这一结果证明了该方法的有效性和优越性。

关键词： 区块链网络架构   智能合约   同态加密   零知识证明  

摘要： 作为一种去中心化、不可篡改的分布式账本技术,区块链技术具有天然的安全性和隐私保护优势。在医院数据共享中,区块链可以通过智能合约和加密算法实现高效、安全的数据传输和隐私保护。文中探讨了基于区块链技术的医院数据共享与隐私保护机制,分析了区块链网络的架构及其节点功能,重点研究了其数据共享和隐私保护机制,包括智能合约的应用、同态加密及零知识证明技术在数据隐私保护中的实现。

关键词： 符号执行   以太坊   智能合约   权限控制漏洞   任意转账漏洞   合约漏洞   漏洞检测工具  

摘要： 针对权限控制漏洞和任意转账漏洞会让用户遭受经济损失的问题,提出一种基于符号执行的权限控制漏洞和任意转账漏洞检测方法。总结漏洞特征,设计漏洞检测算法,利用符号执行构建交易路径,通过漏洞特征构建约束条件并求解,实现工具PTGuard。实验结果表明,PTGuard的准确率、精确率、召回率和F1值相比其它漏洞检测工具有较大的提升;PTGuard已应用于科技部国家重点项目,挖掘出17个漏洞,已成功上报到国家共享漏洞数据库,验证了PTGuard的实际应用价值。

关键词： 区块链   可信执行环境   智能合约   身份管理   隐私保护  

摘要： 数字经济的蓬勃发展促进了区块链技术在各行各业的应用探索,但其公开透明特性带来的身份隐私泄露风险,成为阻碍其广泛应用的一大瓶颈。可信执行环境(Trusted Execution Environment,TEE)为解决这一问题提供了极具前景的技术方案。该文提出一种基于TEE的区块链身份管理方案,引入分布式证书签发机构(Distributed Certificate Authority,DCA)的概念,设计了分布式公钥证书签发基础设施,利用区块链智能合约实现DCA中CA的功能,并通过TEE保证智能合约的隐私性,在智能合约执行过程中保护私钥的机密性。

关键词： 著作权集体管理   《著作权集体管理条例》   智能合约   音视频指纹识别技术  

摘要： 数字经济时代,著作权集体管理组织长期存在的代表性欠缺、透明度不高、运行不畅与认可度较低等问题更为凸显,严重制约著作权集体管理制度的效用发挥。究其原因,一方面在于法益冲突的内部张力与制度运行失灵的外部桎梏共同削弱了著作权集体管理制度的运行流畅度,另一方面在于当前的著作权集体管理组织对数字经济时代产业需求的适应性不足。为此,应当立足于数字经济时代的优势与机遇,完善相关法律法规的具体规定,明晰著作权集体管理制度的属性与定位,引入竞争机制,引导著作权集体管理组织参与外部竞争,同时通过完善著作权登记制度、细化著作权集体管理程序规定、健全监事会等内部监督机构,提升著作权集体管理组织的管理能力。此外,应利用智能合约、音视频指纹识别技术等数字技术提升组织管理能力,积极回应数字经济时代的发展需求。

关键词： 区块链   智能合约   环境治理   法律困境  

摘要： 区块链技术与环境治理具有许多契合之处,在环境治理领域有广阔的应用前景,而区块链在该领域中并未得到大规模的拓展应用。技术层面,区块链技术标准和自治行业体系存在空白;法律适用层面,区块链智能合约的公私性质不明,企业商业秘密保护和环境信息公开之间存在矛盾,复杂技术原理与公众参与之间关系紧张,以及在数据法律领域的具体适用模糊;法律监管方面,区块链内部的责任主体间责任分担不明确,外部的监管主体不完善。基于此,对于区块链在环境治理领域的监管应秉持包容审慎的理念,并在技术、法律适用和法律监管方面贯彻“法治+技治”的监管路径。

关键词： 数据溯源   PROV模型   电力清算   数据血缘   大数据  

摘要： 在当前的电力市场中,现货日清数据量已达百万或千万级.随着交易活动的增加和市场结构的复杂化,确保交易数据的完整性、透明性和可追溯性是我国现阶段市场清算领域待研究的关键问题.为此,研究提出了一种基于PROV模型和智能合约的电力市场清算数据溯源方法,旨在通过智能合约自动化存储及更新溯源信息,从而提高清算过程的透明度和参与方信任.本方法利用PROV模型中的实体、活动和代理等元素,结合区块链技术的可层次存储及不可篡改性,记录和追踪电力市场中的交易活动和规则变更.本方法不仅增强了数据的透明度和市场参与方的信任度,也优化了数据管理和存储策略,降低了操作成本.此外,本方法为电力市场清算提供了合规性证明,帮助市场参与方满足日益增长的法规要求.

关键词： 区块链   智能合约分类   庞氏骗局检测   Xgboost   RandomForest  

摘要： 针对区块链中的庞氏骗局的检测,本文设计了基于Xgboost和RandomForest两种算法的智能合约分类模型,实现针对庞氏骗局检测的方法。该方法首先分析了智能合约中账户地址的行为特性,通过对合约中交易与资产流向的分析,提取庞氏骗局的账户交易行为特征,并基于数据挖掘补充了账户交易特征;然后利用Xgboost和RandomForest算法对代码特征进行分类,实现了一种不需要源代码且在智能合约运行前检测的庞氏骗局检测模型;最后,对其行为特征进行分类研究,丰富以太坊智能合约的交易规律。实验结果表明,本文提出的方法可以较好的对智能合约进行庞氏骗局分类检测,在精度和召回率方面具有更好的表现。

关键词： 区块链   智能合约   模糊测试   强化学习   拓扑排序  

摘要： 随着区块链技术的迅猛发展,智能合约在数字资产交易等领域的应用日益广泛。然而,其安全漏洞问题也日益凸显,对区块链系统的安全性构成了严重威胁。鉴于此,提出了一种基于强化学习的智能合约模糊测试方法 RL_soFuzzer,以提高智能合约的安全检测效率。传统的模糊测试方法需生成大量的交易序列来触发潜在漏洞,会导致状态空间爆炸和代码覆盖率低下。RL_soFuzzer利用强化学习技术对内存快照进行调度,并结合数据流相关性排序,进行深度检测。同时引入了基于拓扑排序的函数状态变量排序机制,减少测试过程中的不确定性。实验结果表明,RL_soFuzzer在代码覆盖率和漏洞检测能力上显著优于传统方法,在实际应用中性能卓越。

关键词： 智能合约   版权存证   视频编码   区块链   数字水印  

摘要： H.264/H.265视频压缩技术推动了短视频应用行业的蓬勃发展,但与此同时,视频安全与版权纠纷问题也日益凸显。现有的版权存证方法存在版权验证方信任缺失、验证流程不透明、视频溯源困难等问题。针对这些问题,提出了一种基于智能合约的编码级视频安全存证方案。利用H.264/H.265编码特性设计版权信息嵌入方法,将版权所有者信息作为水印在视频编码时嵌入。在保证水印鲁棒性和安全性的同时,减少嵌入信息对视频质量的影响;同时借助区块链和智能合约技术,规范身份存证、版权验证和纠纷处理等流程,增强流程执行的可信度和透明性。实验结果表明,在进行视频版权存证时采用的相似度对比算法的F 1分数相比现有的最优方案增长了大约2%,证明其性能的优越性;另一组实验证实了智能合约的开销处于合理水平,确保其在实际应用中的可行性。