关键词： 区块链   智能合约   形式化方法   MSVL  

摘要： 智能合约是运行在区块链上的计算机协议,被广泛应用在各个领域中,但是其安全问题层出不穷,因此在智能合约部署到区块链上之前,需要对其进行安全审计.然而,传统的测试方法无法保证智能合约所需的高可靠性和正确性.说明了如何使用建模、仿真与验证语言(MSVL)和命题投影时序逻辑(PPTL)对智能合约进行建模和验证:首先介绍了MSVL与PPTL的理论基础;之后,通过分析和对比Solidity与MSVL语言的特性,开发了能够将Solidity程序转换为MSVL程序的SOL2M转换器,并详细介绍了SOL2M转换器的设计思路;最终,通过投票智能合约和银行转账智能合约两个实例,给出了SOL2M转换器的执行结果.使用PPTL从功能一致性、逻辑正确性以及合约完备性这3个方面描述了合约的性质,给出了使用统一模型检测器(UMC4M)对合约进行验证的过程.

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

摘要： 【目的】为了更好地解决区块链点对点的通信过程中账本一致性问题。【文献范围】主要从知网、ACM、CCS等参考了四十余篇研究区块链、智能合约技术以及各种共识机制的文献。【方法】分析比较了较常见的共识算法的优缺点,进而说明了各种共识机制的应用场景,介绍了共识机制最新的研究成果并进行了比较。【结果】可见每种共识机制都有自己的优缺点,不同的共识机制应当应用于不同的场景才能发挥最大的作用。【局限】本文篇幅有限,未能对具体共识机制技术进行更完善的介绍。【结论】我们可以针对各种共识机制的缺点进行改进设计出更完善的共识机制。

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

摘要： 【目的】对高性能区块链的关键技术进行调研和总结,探讨高性能区块链的研究进展与面临的主要问题、关键技术以及研究趋势与未来发展方向。【文献范围】以“Consensus Algorithm”、“Smart Contract”、“Blockchain”、“共识算法”、“智能合约”为检索词在Web of Science、谷歌学术、中国知网及其他互联网资源平台检索文献,经过筛选共选择39篇文献进行综述。【方法】采用文献调研的方法,分别总结共识算法的演进过程、智能合约应用以及实现平台的优缺点。【结果】本研究有助于了解现阶段实现高性能区块链包含的共识算法以及智能合约方面的关键问题和关键方法。【局限】共识算法研究发展速度较快,出现的共识算法较多,文中提到的共识算法仅为分类中有代表性的部分算法。智能合约的实现平台也不断涌现,仅针对有代表性的实现平台进行介绍。【结论】对实现高性能区块链的关键技术——共识算法与智能合约,分别进行归类总结,可为后续高性能区块链的研究提供思路与启发。

关键词： 区块链技术   数据库软件   智能合约   分布式网络   网络安全   加密技术   物联网   世界先进水平  

摘要： 近日,工信部、中央网络安全和信息化委员会办公室联合发布《关于加快推动区块链技术应用和产业发展的指导意见》(以下简称《指导意见》),提出到2025年和2030年两个阶段的发展目标。区块链是新一代信息技术的重要组成部分,是分布式网络、加密技术和智能合约等多种技术集成的新型数据库软件。近年来,区块链技术和产业在全球范围内快速发展,应用已延伸到数字金融、物联网、智能制造、供应链管理和数字资产交易等多个领域,展现出广阔的应用前景。

关键词： 供应链   区块链   智能合约   交易系统   联盟链  

摘要： 随着经济全球化程度的日益加剧和信息技术的快速发展,企业间的信息流、物流、资金流交互越来越复杂,传统以核心企业为主导的供应链模式中交易信息不透明、企业间协作效率低及产品质量溯源难等问题愈发突出。为解决上述问题,设计基于区块链技术的供应链交易系统,以供应链实际需求为基础,构建交易系统总体架构。通过制定交易交互规则,部署交易智能合约,搭建基于区块链的交易链,实现更有效的供应链交易信息、交易资金和交易结果管理及上下游协同。测试结果表明,该系统已具备交易功能与信息共享功能,且相比同类交易系统在吞吐量和安全性等方面更具优势。

关键词： 匿名网络   路由目录服务器   智能合约   授权认证   拍卖  

摘要： 路由目录服务器是匿名网络中的重要组成部分,路由目录服务器的中心化特性导致了匿名网络在系统的可扩展性、数据的安全性和网络的弹性等方面受限。为了从根本上改善这些问题,文中构建了去中心化目录服务方案DCSM(Decentralized Contents Service Model),以智能合约替代中心化的目录服务器,将路由目录服务器应用在区块链上,从而达到路由交易去中心化的目的。为实现路由目录服务器的功能,用3个智能合约分别定义了以下规则:用户注册授权、路由信息拍卖、路由信息加解密。实验结果证明,提出的智能合约在功能上能够替代原有的路由目录服务器,完成路由信息的交易过程,并在性能上具有较好的安全性。智能合约的加入将目录服务器的功能在去中心化的区块链上实现,该方案提高了系统的可扩展性、数据的安全性和网络的弹性,有更多人维护的匿名网络也将变得更加有活力。

关键词： 区块链   分布式存储   数据库技术   智能合约   计算机技术   共识算法   底层技术   公钥密码技术  

摘要： 区块链技术又称分布式记账技术,本质上是综合利用网络共识算法、公钥密码技术、分布式存储以及智能合约等计算机技术而形成的一种数据库技术,具备事务多方共识计算、过程留痕不可篡改等特性,可从技术手段建立一种强信任和信用的场景。随着区块链底层技术的发展与创新,其应用正引起业界的广泛关注。

关键词： 智能合约   去中心化交易   双向拍卖机制   动态约束  

摘要： 配电侧多微电网小量、频繁的电能交易使得传统集中交易模式的运行成本增高、效率降低、安全风险增大。为此,基于区块链技术,提出去中心化的配电侧多微电网电能交易模型。首先,精细阐述了配电侧多微电网电能交易与区块链技术的契合度,并给出搭建交易平台和部署合约的具体方法。其次,为保证参与主体的利益,同时提高交易匹配效率,在智能合约中嵌入双向拍卖定价机制,并提出能够根据市场变化及时调整的自适应进取值方法。再次,为维护配电网的安全运行,针对潮流约束和电压偏移问题设计了适用于智能合约的动态约束法。最后,通过以太坊网络Ganache客户端搭建了一个实际可运行的电能交易平台,算例与分析表明所提交易具有可行性和有效性。

关键词： 版权   区块链   BaaS   SaaS   跨链   智能合约   联盟链  

摘要： 国内版权市场巨大,尤其是随着网络媒体的高速增长,版权保护的必要性日益凸显。区块链技术具有的去中心化、可溯源、不可篡改等特点为解决版权保护问题带来了新途径。本文对基于区块链技术的数字版权管理平台的设计目标、系统特点、功能实现进行了简单介绍。

关键词： 区块链   能源互联网   电力交易   共识机制   智能合约   安全  

摘要： 随着清洁可再生能源产业的迅速发展,现有的能源架构难以满足能源产消的需要,一场能源行业的革新势在必行。能源互联网作为一个学术与工业界看好的下一代能源基础设施的发展方向,受到广泛关注,其开放、互联、对等、分享的基本特征为未来能源发展勾勒出一个丰富的愿景。然而,现有成熟的信息技术方案从设计思想到工程实施无法全面满足能源互联网的特征需求。区块链作为一种正在快速发展的技术,具有分布式、平等、安全、可追溯等特性,与能源互联网的设计思想高度契合,有望成为能源互联网落地的关键技术。能源区块链是区块链与能源行业结合的产物,其可以为能源互联网的各个层面提供安全保障和价值支撑。文章通过定位能源互联网中电力交易区块链中的关键技术,综述了现今能源电力交易区块链在共识机制、交易与智能合约设计、安全机制和其他领域技术等方面的研究进展,并结合研究现状进行了讨论与分析,探讨了目前各项技术领域存在的问题,以及未来可能的研究方向,为能源区块链的进一步研究与落地提供参考。