关键词： 碳权交易   绿证交易   区块链   智能合约   碳通证   共识算法  

摘要： 绿证和碳交易机制是现阶段推动电力系统经济低碳运行的有效手段。但现行的绿证制度在鼓励可再生能源并网、缓解财政补贴压力等方面的表现不佳,现行的碳市场对促进减排效果也不明显,且总体呈现“孤立运作”特征。因此,为打破传统绿证和碳市场交易的壁垒,做好市场机制层面的有效衔接,设计了基于区块链的碳权-绿证联合交易市场框架与激励机制。首先,编写智能合约将购/售电及碳权、绿证交易在以太坊平台运行,确保联合市场交易的安全高效自动执行与信息透明;其次,引入碳通证概念,提出了考虑碳通证的DPoS-CT共识算法,激励市场主体对碳减排做出更多贡献;最后,通过算例分析验证了所提机制可有效激励可再生能源交易和限制火电机组的碳排放量,为碳权-绿证联合交易市场建设提供新思路。

关键词： 智能合约   漏洞检测   符号执行   关键路径预搜索   区块链安全  

摘要： 针对传统符号执行在不必要、不相关的路径上消耗大量时间与资源,效率低等问题,提出了利用静态检测预扫描智能合约关键路径优化符号执行验证,避免非必要路径搜索增加的资源消耗,实现基于关键路径预搜索的符号执行。该方法与现有主流检测工具进行对比实验,结果显示:Gas耗尽拒绝服务漏洞覆盖率达98%,检测准确度为84.3%,远高于均值37.2%;对存储覆盖漏洞合约的全覆盖,检测准确率为86.1%,验证了该方法的高效性与稳定性。

关键词： 区块链   分布式技术   对等网络   智能合约   共识机制   人工智能   密码技术   大数据  

摘要： 区块链是共识机制、智能合约、分布式账本、对等网络和密码技术等多项关键技术的创造性集成,是分布式技术的深化发展,具有弱中心、难篡改、可追溯等特点,正成为继人工智能、大数据、物联网等技术后,又一项对未来发展产生重大影响的战略新兴技术。区块链的兴起,带动了解决分布式一致性等问题的相关技术的融合。区块链面向弱信任场景下,提供了可传递信任的能力,得到了广泛的产业认同,正在引领全球新一轮技术变革和产业变革,有望成为全球技术创新和模式创新的“策源地”。

关键词： 区块链技术   智能合约   分布式账本   安全性评估  

摘要： 本文从原理出发深入剖析了区块链和智能合约,提出了以分布式账本和智能合约为基础的系统架构,并对其设计思路与关键实现技术进行了详细的讲解。接着,结合实战案例对系统进行了验证与性能评估,对其在安全性可扩展性和效率上的优势进行说明与论证,为区块链技术在智能合约领域的应用提供了有益的参考和指导。

关键词： 绿色金融   区块链技术   智能合约  

摘要： 推动绿色金融发展对于我国金融结构调整、实现经济社会的可持续发展具有重要意义。“碳中和”背景下,我国绿色金融得到了一定的发展,但其在发展过程中依然存在诸多问题,如绿色金融产品种类少、信息不能有效传递、信息不对称等。利用区块链技术可以解决绿色金融发展过程中的部分问题。基于此,文章首先介绍绿色金融和区块链相关内容,然后分析绿色金融发展过程中存在的问题,接着阐述区块链技术助力绿色金融发展的可行性,最后提出区块链技术助力绿色金融发展的策略,以供参考。

关键词： 货币职能   智能合约   结算业务   可编程性   人民币   程序代码   数字   交易方  

摘要： 数字人民币可以通过加载智能合约实现可编程性,以此实现数字人民币的定向流通。所谓智能合约,就是预设执行条件、执行过程且不可篡改的程序代码,最简单的智能合约就是if-then else语句,这种代码的设定使数字人民币在确保安全、合规和不更改货币职能的前提下,根据交易方商定的条件、规则进行自动交易,不需要人为干涉。

关键词： 智能合约   大语言模型   提示工程   漏洞检测  

摘要： 智能合约是区块链技术的重要组成部分,但由于编程人员的开发和代码审查经验不足,智能合约漏洞引发的安全问题日益增多。现有的形式化验证和符号执行检测方法误报率和漏报率较高,基于深度学习的方法尽管提高了检测效果,但仍存在解释性较差和依赖大量标注数据的问题。为解决这些局限性,提出一种在零样本场景下基于提示工程的智能合约漏洞检测方法Prompt-enhanced ChatGPT。该方法以使用标准提示文本的ChatGPT为研究对象,通过将传统的漏洞检测任务转化为文本问答任务,利用模型的推理能力进行检测。智能合约源码经过预处理去除冗余信息,并设计包含“任务描述”“漏洞描述”“检测步骤”“推理过程”和“答案格式”的提示文本模板,Prompt-enhanced ChatGPT可以生成漏洞检测结果和可解释的分析过程。在公开的数据集上进行一系列对比实验和分析后,结果表明所提方法能够提升零样本场景下智能合约漏洞检测性能,揭示了大语言模型在相关领域的潜在能力。

关键词： 文化产业   去中心化   Web3.0   区块链技术   智能合约   技术理念   互联网模式   数字身份  

摘要： 随着互联网科技的迭代升级,Web3.0所带来的技术理念、架构的变革将成为驱动文化产业发展的新动力,为文化产业擘画出一幅充满无限潜力的新发展蓝图。Web3.0以去中心化、区块链技术、智能合约机制以及分布式数字身份为核心要义,将重塑传统的集中式互联网模式。

关键词： 智能合约   状态图   词法分析   语法分析   语义分析   代码生成  

摘要： 智能合约在区块链发展中扮演着重要角色,并广泛应用于各领域。然而,已有的智能合约语言均由专业的合约研发人员开发,使得相关应用领域的专家难以轻松地设计合约。为了便于领域专家进行智能合约设计,引入领域特定语言的概念,提出一种基于状态图的智能合约描述语言SDLSD。该语言使用状态图描述合约条款与行为之间的逻辑结构关系,并通过词法、语法及语义分析生成可执行的Solidity语言。SDLSD实时支持语法检查、合约库引用和合约模板使用,同时跨平台编译和运行。测试结果表明,该语言不仅具有自然语言的简单性与可读性,还展现出更高的抽象语义,相较于已有方法具有明显优势。

关键词： 三式记账法   智能合约   区块链   高校  

摘要： 基于区块链技术(含智能合约)复式记账法可以被发展成三式记账法,这将对我国高校会计工作产生深远的影响。文章先以报销为例说明高校三式记账法流程,三式记账法下可以实现信息几乎全流程的自动处理;再提出新的会计信息系统模型;接着,以科研费为例探讨高校三式记账法的记录方法,并对比复式记账法和三式记账法的计量特点;然后,探讨三式记账法下可供选择的智能合约描述语言,并在改进SPESC的基础上给出了用它描述智能合约的模板,提出了三式记账法的中介、多方、签收、代理、担保、跨链、多分支链等不同模式;最后,总结了三式记账法对高校会计工作中计量、智能合约、管理职能、业务流程、标准化等的影响,并提出了一些建议。