基于蜕变测试的区块链智能合约漏洞检测方法

针对现有测试方法的缺陷,提出了一种基于蜕变测试的区块链智能合约漏洞检测方法,其能针对区块链智能合约中具体的功能生成针对性的测试用例,从而检测区块链智能合约中存在的漏洞。针对可能出现的安全漏洞,设计了不同的蜕变关系并进行蜕变测试。通过验证源测试用例和后续测试用例之间是否满足蜕变关系,判断智能合约是否存在相关的安全漏洞。实验结果表明,所提方法可以有效地检测出智能合约中存在的安全漏洞。

氧掺杂氮化碳纳米片活化过二硫酸盐选择性去除酚类污染物的特性与机制

以富氧生物质单宁酸为氧源,通过热氧化剥离制备了氧掺杂石墨相氮化碳纳米片(O-CN),利用氧原子掺杂调控O-CN纳米片的表面电子结构,提升其活化过二硫酸盐(peroxydisulfuric acid,PDS)降解水中酚类污染物的性能,探究了氧掺杂导致的O-CN电子结构变化及其活化PDS降解酚类污染物的效能和机制。结果表明,氧掺杂通过取代氮化碳(g-C3N4)中的N原子,促使O-CN纳米片表面电荷重新分布,促进了O-CN表面未配对电子的形成,进而显著增强了其PDS活化性能和酚类污染物的降解能力。在中性条件下,PDS与酚类污染物质量浓度摩尔比为1:10时,0.1 g·L^(-1)的O-CN纳米片活化PDS(0.4 mmol·L^(-1))可在60 min内将双酚A(bisphenol,BPA)、苯酚(phenol)、对乙酰氨基酚(acetaminophen,AAP)完全去除。电子顺磁共振(electron paramagnetic resonance,EPR)、化学淬灭及原位拉曼和电化学分析表明,O-CN/PDS体系主要通过电子转移的方式氧化去除酚类污染物,对无机阴离子等水体背景成分具有较强的抗干扰能力。O-CN纳米片具有良好的稳定性,可构建催化膜持续降解酚类污染物,在10 h的连续反应中可稳定去除全部BPA,且保持了较高的矿化效率(60%)。