关键词： 碳排放权交易   区块链技术   系统设计  

摘要： 当前,碳排放权交易机制日渐成熟,成为平衡环境保护和经济发展的重要手段。然而,现有的碳排放权交易系统存在着诸多问题,如信息不透明、数据安全性低等。因此,本文提出了一种基于区块链技术的碳排放权交易系统。通过分析碳排放权交易流程、区块链的基本原理、区块链在碳排放权交易中的应用优势,本文设计了一个满足参与方需求的系统架构,包括区块链网络结构、智能合约设计等。在安全性分析方面,本文重点关注系统开发与部署、隐私保护与身份验证等问题,并提出了相应的防御措施。

关键词： 智能合约   保理融资   演化博弈   供应链金融   流动性风险  

摘要： 数字化推动了供应链金融的变革,其中智能合约技术在保理融资领域展现出独特优势。本文研究供应商、销售商和银行构成的融资链系统,通过演化博弈分析,发现供应商破产风险增加会使其更倾向保理融资,进而影响其他主体策略。银行保理保证金设定影响系统稳定性,适度保证金可激励销售商正常还款,过高则导致系统不稳定。销售商延期还款额外收益低时,最优策略才能实现。因此需要智能合约设定合理滞纳金与保证金,激励正常还款与保理采用,维护融资链长期稳定。研究表明智能合约技术可降低供应商破产风险,增加银行利润与销售商信誉,实现共赢。

关键词： 区块链   签名   命名数据网络   智能合约   远程医疗   星际文件系统  

摘要： COVID-19的大规模感染给人民生活造成了不便,比如就医难、医疗学术交流共享不便、医疗资源不平衡,从而衍生远程医疗。目前远程医疗数据仍然以集中式存储、互联网协议(Internet Protocol,IP)传输和签证机构(Certificate Authority,CA)颁发的证书为主,导致数据安全性低、网络通讯延迟和CA维护成本高。本文提出一种SMSSS-CA签名机制、智能合约和私有区块链解决CA维护成本高、医疗数据隐私泄露和安全性低的问题。此外,还提出命名数据网络(Named Data Network,NDN)集成星际文件系统(InterPlanetary File System,IPFS)、联盟区块链和智能合约,用来提高远程会诊时SMSSS-CA签名或验签时获取患者病例和共享会诊信息的响应速度和降低区块链传播开销。实验分别从NS3和NDNSIM两种实验环境对比,结果表明,该方法比现有方案更安全和共享更及时。

关键词： 区块链   智能合约   身份认证   系统集成   数据隐私保护   去中心化   执行效率   应用场景  

摘要： 本研究借助分析区块链的核心技术,揭示其在去中心化应用、身份认证、数据隐私保护中的具体应用场景。本文采用系统集成与性能优化的方法,提出了提升区块链扩展性和智能合约执行效率的技术手段,并探讨跨链技术、多链协作及绿色区块链设计的创新方向。

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

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

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

摘要： 近年来,作为以太坊的重要组成部分,智能合约引起了工业界与学术界的广泛兴趣。智能合约是一段部署在区块链上的程序,为分布式交易提供了可能。然而,由于智能合约携带的金融属性,使其成为黑客攻击的目标。因此,为保证合约的安全性,需对漏洞合约进行修复并通过测试保证功能一致性。然而,现有智能合约测试方案缺乏拓展性、重放准确性低以及储存消耗大等问题。为此,提出一种支持交易筛选的高性能智能合约测试方案。该方案首先基于以太坊状态变更建模交易特征,增强扩展性;接着基于二阶树结构储存以太坊历史数据,优化储存空间;最后通过分叉机制进行交易重放,实现在不干扰主链的情况下对修复合约进行测试。基于所提方案实现原型工具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的发展,并在试点城市中进行法律或政策的创新。