关键词： SM2   盲签名   电子投票   区块链   智能合约  

摘要： 针对当前电子投票系统中存在的安全性弱、效率低、可验证性难等问题,提出了一种基于椭圆曲线公钥密码算法(SM2)盲签名的电子投票方案。首先,设计了一种基于SM2的轻量级盲签名算法,保证了投票过程的匿名性和机密性。其次,通过引入区块链技术替代可信第三方实现计票的完整性与准确性,并且利用智能合约提高了计票效率。最后,理论分析和实验表明,该设计方案不仅满足电子投票系统的基本安全属性,而且能够提高电子投票的效率。

关键词： 智能合约   图匹配神经网络   重入漏洞   抽象语义图  

摘要： 针对以太坊中智能合约遭受重入漏洞攻击的问题,文章提出一种基于局部图匹配的智能合约重入漏洞检测方法。该方法首先将智能合约源代码转化为包含基本结构信息的抽象语法树,并根据重入漏洞的特点裁剪抽象语法树;然后从抽象语法树中提取更加丰富的控制流和数据流,进而生成包含语法和语义信息的局部抽象语义图数据。文章利用图匹配神经网络对局部抽象语义图进行模型训练和测试,使用开源智能合约漏洞样本数据集生成测试数据并对方案进行评估。实验结果表明,该方法能够有效检测智能合约中的重入漏洞。

关键词： 去中心化   金融应用   智能合约   资产   加密   潜在风险  

摘要： 潜在风险正与日俱增。许多涉及加密资产的新金融应用大量涌现,包括去中心化金融(DeFi)项目,即写在智能合约上的金融应用,以及加密货币的中心化金融(CeFi)项目。这些新金融应用,已有多种类型:1)稳定币,去中心化的如MakerDAO和已崩溃的Terra,中心化的如Tether和USDC。

关键词： 区块链   智能合约   着色Petri网   形式化验证   交易顺序依赖漏洞  

摘要： 智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。

关键词： 股份分红   智能合约   区块链   广播多重签名  

摘要： 基于区块链技术设计了一个全新的分红方式:即各个股东将入股股份、对公司所做贡献以及为公司带来的经济效益权重等写入智能合约中,利用区块链的不可算改性和公开性进行执行,提供更灵活的分红方式。同时利用广播多重签名对分红结果进行投票,以确保股东分红的公平性。

关键词： 稻米   Hyperledger Fabric   智能合约   溯源信息  

摘要： 针对以集中式数据库为中心的传统溯源系统中存在溯源数据易被篡改及可信度低的问题,在对稻米流通环节及溯源需求进行分析后,该文提出基于区块链技术分支中的Hyperledger Fabric构建稻米质量溯源系统,通过调用智能合约将稻米信息存储在分布式账本中,由于区块链技术具有防篡改性和去中心化的特点,能够保证稻米信息不易被篡改,从而提高稻米溯源信息的可信度,通过对系统进行吞吐量测试,试验结果表明本系统可应用于生产实践当中。

关键词： 区块链   IPFS   智能合约   共识机制  

摘要： 目前,高校教师的信息管理中尚存在信息不对等、信息篡改与失真等问题。因此,文章论述了国内高校教师信息管理系统中存在的问题,对区块链含义及相关技术进行了简要介绍,并基于区块链的防篡改特性及IPFS 的高效存取性,构建了基于区块链技术的高校教师信息管理系统方案,以提升系统中高校教师信息数据的准确性、可靠性、一致性。

关键词： 区块链   RFID   智能合约   共识算法  

摘要： 传统RFID隐私解决办法在各自适用场景上均存在优势和缺陷,对此提出一种面向联盟区块链的RFID标签高效保护模型(TDBPC模型)。针对RFID标签的物流领域,设计智能合约实现供应链中的标签信息录入与更新,采用联盟链的CA准入机制隔离非法阅读器用户对标签数据的上链访问。实验基于Fabric平台,分别对模型的安全性和联盟链性能进行评估和测试。结果表明,该模型不仅能够抵抗恶意阅读器的跟踪和重放攻击,而且交易吞吐量稳定在2 000 TPS左右,基本满足商用标准。

关键词： 电子病历   区块链   智能合约   数据脱敏  

摘要： 本文针对区块链技术的特点研究安全高效的电子病历系统模型以及相关的智能合约。为了保护患者的隐私安全,首先对这些患者的诊疗数据进行脱敏处理,同时针对不同类型的医疗数据采取不同的处理方式,支持多种类型的数据安全存储。为适应P2P网络,引入PBFT共识算法,最后引入MetaMask钱包插件,使用IPFS星际文件系统应用于系统设计之中。本文在模型中将各个医疗机构视为联盟成员,不同医疗机构之间可以相互联系,都需遵循智能合约,通过授权后可共享患者的诊疗数据信息。本文创新性地将患者敏感数据进行脱敏后部署到区块链上,然后针对性设计智能合约,保证患者隐私数据在各机构之间安全存储与共享。