关键词： 区块链   智能合约   刑事司法   信息数据处理  

摘要： 以“全面推进法治现代化”为指引,近些年来我国刑事司法与人工智能结合,并取得了一系列创新性成就。随着区块链技术的飞速发展,区块链智能合约凭借其“安全性、匿名性”等优势在诸多领域被广泛应用,因此,本文在研究区块链技术的基础理论、优势及发展等现状,结合刑事司法实践目前存在的问题,探究其在智慧司法可能发挥的作用,重点从技术优势、司法现状、平台设计、系统组建和管理等方面促进区块链智能合约技术与信息数据系统融合,提出区块链智能合约技术助力智慧刑事司法创新的路径。

关键词： 供应链金融   创新力量   计算机代码   智能合约   金融领域   电子支付   自动执行   应用与实践  

摘要： 随着数字经济的快速发展,电子支付和智能合约技术正逐渐成为金融领域的重要创新力量。智能合约以其强履约、可编程等特性重塑合约体系,将合约用计算机代码进行数字化,当满足约定条件后,由程序自动执行。

关键词： 数据完整性   区块链   智能合约   云数据审计   投票机制  

摘要： 确保云数据的完整性是亟待解决的安全挑战,受到广泛应用的区块链技术为应对该安全挑战提供了良好的解决方案。当前结合区块链和智能合约技术,并由矿工参与审计验证工作的方案存在审计效率低、通信开销大和数据拥有者(DO)审计负担重等不足。针对上述问题,提出一种基于投票和以太坊智能合约的云数据审计方案(CASVEC)。首先,结合投票机制和智能合约技术在以太坊上设计并部署了去中心化自治组织(DAO),DAO中节点投票选举出一个审计节点代替矿工的审计验证工作,从而有效解决验证审计证明阶段效率低的问题,并且投票机制引入信誉值保证投票公平可靠。其次,仅使用少量链上资源存储审计结果以降低通信过程中的数据量,从而有效解决验证审计证明阶段通信开销大的问题。此外,DO仅需向DAO委托一次审计请求以及查询最终的审计结果,无需频繁调用智能合约交换审计相关信息,减轻了审计负担。最后,从理论和实验角度验证了与当前基于区块链的云审计方案相比,CASVEC能够显著降低验证审计证明阶段的时间开销和通信开销,以及审计阶段DO的时间开销。

关键词： 区块链   数字版权保护   智能合约   密码学   侵权溯源  

摘要： 区块链作为一种分布式可信数据库，在数字版权保护领域得到有效应用，引起学术界和工程领域的广泛关注。传统数字版权保护技术存在侵权难追踪、版权交易复杂、合法权益保护不足等问题，严重制约着数字版权保护事业的发展。区块链的防篡改性、可追溯性和去中心化等为解决数字版权侵权风险提供了高可信、透明和安全的解决思路。文章首先介绍了区块链技术的基本原理；然后针对传统版权保护方案存在的问题，介绍了区块链结合传统版权保护技术方面的最新研究成果；进而评估了区块链在实际应用中的效果和潜力，强调其对版权保护体系的积极影响；最后，文章探讨了区块链版权保护面临的挑战和未来发展趋势，以实现更加健全和可持续的区块链版权保护体系。

关键词： 数字身份   智能合约   跨域认证   隐私保护   安全可控  

摘要： 针对目前数字身份方案存在的隐私泄露、披露过度、灵活性低以及可控性差等方面的问题，提出了一种基于智能合约的分布式可信数字身份方案。首先，将用户身份与属性解耦，采用合约地址作为身份标识并使用非交互式零知识证明隐藏公钥，采用Pederson承诺隐藏属性，给予用户对于属性的选择披露控制权。其次，采用可链接环签名以确保用户数字身份的真实性、验证者的匿名性和可审计性。第三，通过动态密码学累加器为每个服务颁发可撤销凭证以实现跨域服务的双向撤销，并引入AES算法推动实现被动撤销，同时采用多重签名机制实现数字身份的丢失可恢复。此外，通过与其他系统进行功能以及性能对比证明了该方案在匿名性、灵活性以及可控性等方面具有更好的性能，最后经安全性分析和实验验证，该方案具有较高的安全性能，并且能够保持资源的支出可控，具备实用性。

关键词： 车联网   安全认证   智能合约   群签名   群密钥分发  

摘要： 针对车联网（Vehicular Ad hoc NETworks，VANETs）匿名认证的安全与效率问题，利用区块链技术，提出基于区块链的群密钥分发的安全认证（Blockchain-based Group key distribution for Secure Authentication，BGSA）算法。BGSA算法利用路侧单元（Road-Side Units， RSU）作群管理员，利用区块链的不可更改性，通过智能合约（Smart Contract，SC）在群成员间分为群密钥。SC中携带的函数确保能以安全方式分发和更新群密钥。同时BGSA算法采用了轻量级的群签名（Group Signature，GS）的消息认证策略。性能分析表明，所提BGSA算法能够防御典型的攻击。相比于同类的认证算法，BGSA算法降低了认证消息和传输消息计算和通信开销。

关键词： 智能合约   漏洞检测   重入漏洞   时间戳漏洞   特征调制图神经网络  

摘要： 随着区块链技术的广泛应用，智能合约的安全问题引起广泛关注。针对智能合约源码向字节码转化会丢失部分语义信息，而现有深度学习漏洞检测方法不能很好地检测重入漏洞和时间戳漏洞等问题，本文提出一种基于特征调制图神经网络的智能合约源码漏洞检测方法（GNN-film）。首先，分析重入漏洞和时间戳漏洞的特点，使用智能合约源码构建图结构并将其精简化；其次，搭建基于特征级线性调制的图神经网络模型，利用该网络模型强大的特征调制能力对合约漏洞特征进行精确表示；最后，将精简化后的图结构数据输入搭建的模型中获得检测结果。实验结果显示，本文方法对重入漏洞和时间戳漏洞检测的准确率达到91.00%和91.64%，相较基于图神经网络的方法分别提升了4.20百分点和9.70百分点，证明本文方法对相关漏洞检测的能力要优于其他检测工具。

关键词： 跨境物流   电商平台   区块链技术   跨境电商物流   智能合约   可追溯性   物流公司   共享数据  

摘要： 基于区块链技术的跨境电商物流联盟是一种新兴的商业模式,旨在通过区块链技术和智能合约改进跨境电商物流、加强合作伙伴间的信任和可追溯性,提高跨境物流效率和安全性。这种联盟通常由多个电商平台、物流公司、支付服务提供商等组成,每个组织都可以通过区块链技术共享数据,并使用智能合约进行跨境物流管理和支付。区块链技术使得所有联盟成员可以实时追踪货物的位置、交易的状态等,从而避免货物丢失.

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

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

关键词： 区块链   联邦学习   智能合约   机器学习   隐私保护  

摘要： 近年来,人类社会快速步入大数据时代,数据安全与隐私保护已成为发展大数据生态及相关数字经济的关键问题.联邦学习(Federated learning)作为分布式机器学习的一种新范式,致力于在保护数据隐私的同时从分布式本地数据集中训练全局模型,因而获得了广泛和深入的研究.然而,联邦学习体系面临的中心化架构、激励机制设计和系统安全等技术挑战仍有待进一步研究,而区块链被认为是应对这些挑战的有效解决方案,并已成功应用于联邦学习的许多研究和实践场景.在系统性地梳理现阶段区块链与联邦学习集成研究成果的基础上,提出基于区块链的联邦学习(Blockchain-enabled federated learning,BeFL)概念模型,阐述其中的若干关键技术、研究问题与当前研究进展,探讨该领域的应用场景以及有待进一步研究的关键问题,并讨论未来发展的潜在方向,致力于为构建去中心化和安全可信的数据生态基础设施、促进数字经济与相关产业的发展提供有益的参考与借鉴.