关键词： 工业数据   区块链   智能合约   零知识证明   门限代理重加密  

摘要： 针对当前工业数据共享存在中心化、监管困难和数据安全等问题,提出了一种在工业物联网环境下的安全、高效和可监管的数据共享方案。该方案引入监管机构来控制授权令牌发放,保证数据共享活动的可控性。结合门限代理重加密和区块链技术,将系统初始化和重加密任务分配给共识节点来完成,减轻系统计算开销。利用智能合约和零知识证明技术自动验证数据的有效性,保障了数据用户的权益。此外,高效的共识算法提高了区块链系统处理交易的速率。经安全性分析和性能分析表明,该方案在大规模工业数据共享场景中能更加安全高效地共享数据。

关键词： 区块链   智能合约   合约测试  

摘要： 近年来,作为以太坊的重要组成部分,智能合约引起了工业界与学术界的广泛兴趣。智能合约是一段部署在区块链上的程序,为分布式交易提供了可能。然而,由于智能合约携带的金融属性,使其成为黑客攻击的目标。因此,为保证合约的安全性,需对漏洞合约进行修复并通过测试保证功能一致性。然而,现有智能合约测试方案缺乏拓展性、重放准确性低以及储存消耗大等问题。为此,提出一种支持交易筛选的高性能智能合约测试方案。该方案首先基于以太坊状态变更建模交易特征,增强扩展性;接着基于二阶树结构储存以太坊历史数据,优化储存空间;最后通过分叉机制进行交易重放,实现在不干扰主链的情况下对修复合约进行测试。基于所提方案实现原型工具SCTester,并与现有合约测试方案EVMPatch、HARTEL和KIM相比较。实验结果表明,所提方案在拓展性与重放准确率有更好的表现,并且在空间消耗方面,所提方案相较于KIM降低了约21.6%的储存空间;在时间消耗方面,所提方案相较于KIM在账户测试场景下的交易重放减少了约70.5%的时间消耗。

关键词： 代码生成   提示学习   预训练语言模型   信息检索   智能合约  

摘要： 代码自动生成是提高软件开发效率的有效途径之一,已有的研究一般将代码生成作为一项序列到序列的任务,并且大规模预训练语言模型的微调过程往往伴随着高昂的算力开销。文中提出了一种基于提示学习的轻量化代码生成方法(Prompt Learning based Parameter-Efficient Code Generation,PPECG),该方法通过查询代码语料库中与当前需求最相似的结果作为提示,指导预训练语言模型进行代码生成,并且在该过程中固定模型的绝大多数参数以实现减少算力开销的目的。为了验证PPECG的有效性,文中选取了两个代码生成数据集,分别是CONCODE和Solidity4CG,通过计算生成结果的BLEU,CodeBLEU以及Exact Match值来验证PPECG的有效性,实验结果表明,PPECG有效地减少了微调时的显存开销,且在上述指标上基本接近甚至优于目前的SOTA方法,能够较好地完成代码生成的任务。

关键词： 区块链   零知识证明   隐私保护   问卷系统   智能合约  

摘要： 在传统的问卷系统中,用户需要经过认证才能填写问卷,然而这可能造成隐私信息的泄露。同时传统的问卷系统可能存在一个用户多次填写的问题。针对上述缺陷,基于非交互式零知识证明、消息摘要算法以及区块链提出一种新的问卷系统,该系统在保护用户隐私信息的同时保证一个用户只能提交一次问卷。系统将问卷调查的流程用智能合约实现,保证系统全部流程的公开透明可信。系统在以太坊上进行实际部署测试,消耗的gas值在可接受范围,可以解决传统问卷系统中的问题。

关键词： 可搜索对称加密   分块索引   区块链   智能合约   星际文件系统  

摘要： 可搜索加密已经发展多年,用于支撑密文数据的检索甚至复杂运算.随着以文件分块为主要特色的去中心化存储应用的快速发展,现有可搜索加密方案不能适应其效率需求.特别是,当索引文件较大时,执行检索操作的实体需要完整下载索引文件才能完成搜索,效率非常低.为此,本文提出了一种基于分块存储加密索引的可搜索对称加密方案.通过设计两级索引,在执行检索时,仅关键字命中的索引块才会被访问从而极大地提高了检索效率.配合区块链及智能合约,本文提出的方案可以构建数据所有者和数据用户之前的公平交易环境,分块检索的效率优势较好地适应了去中心化存储中密文检索的应用需求.实验表明,本文提出的方案在文档集合较大时,检索效率仅依赖于检索关键字命中文档的个数,且在存储开销、计算开销、Gas消耗等方面具有优势.

关键词： 去中心化自治组织   区块链   智能合约   法律主体性  

摘要： 去中心化自治组织“DAO”具备颠覆现代组织架构的潜能,为保障参与者权益,需在反思DAO的本质结构、法律特征与立法实践基础上明确其主体性。DAO由资本-叙事-技术三者及其关联组成,在该结构下DAO的法律主体性呈现出与现实法律难以通约、参与者保护不足及权利义务分配不均的特征。各国实践中多将DAO视作有限责任公司,同时新形式亦在涌现。从DAO的本质结构出发,应将DAO认定为一种新型法人实体,并从DAO法人资格的获取、DAO及其成员权利义务的分配,以及DAO及其成员的责任承担等方面建立相应的规则。针对我国发展DAO所面临的法律障碍,应进一步明确其法律主体性,利用数字人民币来推动DAO的发展,并在试点城市中进行法律或政策的创新。

关键词： 智能合约   拜占庭容错算法   电力交易   主节点  

摘要： 全国统一电力市场建设向纵深推进,使得电力交易的效率和安全性面临重大挑战。鉴于此,本研究在构建智慧合约电力交易模型中引入了改进实用拜占庭容错算法,对交易进行优化。研究表示,新算法共识时间最短为6.3秒,合约执行成功率最高为99.9%。因此,该方法能有效提升电力交易的效率和安全性,为该领域的发展提供了一种全新的思路。

关键词： 隐私保护   数据共享   脱敏技术   星际文件系统   智能合约   访问控制  

摘要： 针对电子病历系统存在的隐私保护、数据安全和存储、数据共享等方面的问题，提出一种基于联盟链和商密九号算法的解决方案。该方案通过脱敏技术和商密九号算法对电子病历进行隐私保护和加密处理。利用星际文件系统存储电子病历加密文件，采用联盟链存储其索引实现电子病历的轻量化存储。同时，采用智能合约对文件进行搜索和访问控制，并通过商密九号算法加密序列密钥，以实现电子病历的安全共享。最后对该方案进行了全面的性能分析，并与现有方案进行了全面对比，对比结果显示，在结构方面，本方案采用单链结构，相较双链结构方案，降低了系统的复杂性，在存储方面，采用星际文件系统传输模式，相较于传统的文件传输模式，大病历文件的上传时间平均缩短了13倍左右，在通信方面，相较于未使用商密九号算法的方案，本方案一次通信时间缩短了30多毫秒。

关键词： 车联网   联邦学习   模型定制   智能合约   聚合算法  

摘要： 针对车联网联邦学习服务难以满足用户训练个性化模型的需求,提出一种创新性的车联网联邦学习模型定制化服务框架。该框架采用了一种融合设备贡献度和数据集相似性的联邦学习聚合算法,实现了个性化联邦学习。该算法通过不同权重分配方式和相似性计算,使得不同用户可以根据自己的需求和数据特征,选择合适的模型训练方案。该框架还提出了一种双重抽样验证方法,解决了模型性能和可信度问题;此外,利用智能合约支持数据协作,保障了数据的安全性。实验结果表明,提出算法在大多数实验场景中表现出较高的准确率,该框架可以显著提高车联网服务的个性化水平,同时保证模型的准确性和可靠性。

关键词： 区块链   亲友节点   电子健康记录   智能合约   共识算法  

摘要： 区块链技术在电子健康记录安全共享上具有巨大潜力,然而,目前的解决方案存在着如存储空间大和共识效率低等问题。为此,提出了一种基于区块链和亲友节点的新方案。首先,采用分布式文件系统将用户完整的电子健康记录存储在线下服务器,并构建用户的亲友节点集,每个用户的数据由其亲友节点冗余存储,链上仅存储区块头信息,降低了存储空间;其次,设计了基于多签名技术的数据访问机制,采用Shamir秘密共享机制将用户的私钥分发给其亲友节点,亲友节点中的过半数可以利用自己的私钥重建出用户私钥,解决紧急情况下的数据访问问题;最后提出了基于信用的拜占庭容错共识机制,将信用值排名前10%的节点作为领导者节点集,采用随机算法在领导者节点集中生成主节点,提高了共识安全性。实验结果表明,所提方案所需的链上存储空间是现有方案的1/7,数据访问效率提高了15倍,同时在保证较好时延和吞吐量的情况下,具有更高的共识安全性。该方案可实现电子健康记录的安全高效共享,为区块链在医疗领域应用提供案例。