关键词： 智能合约   区块链   数据库软件   事务处理   分布式网络   加密技术   信息系统   基础设施  

摘要： 信任是现代社会运行的基石.在社会经济各领域数字化转型的今天,构建支持信任管理的基础设施信息系统,对于提高社会运行效率,降低社会协作成本,及时发现和应对各类风险,乃至创新协作模式,助力新数字经济产业的产生和发展都具有重要意义.区块链的本质是用技术手段构建信任,是利用计算机和数学支持和促进社会进步的信任机器,也是我国在社会进步和新的国际竞争格局中形成核心竞争力的关键领域之一.区块链是分布式网络、加密技术、智能合约等多种技术集成的新型数据库软件,是基于数据进行信任管理的信息系统基础设施.作为基础设施,单一技术路线的区块链系统无法解决多方协同面临的数据交换和交叉验证问题,目前缺乏开放互联的系统架构层面的理论和技术支撑;作为应用的基础,区块链系统不仅涉及数据存储、事务处理、智能合约执行、安全和隐私保护等核心技术,还必须解决方便开发、易于运维、软硬件适配,以及人才培养等生态建设问题.

关键词： 智能合约   重入性漏洞   鸽群算法   测试用例自动生成   路径覆盖  

摘要： 重入性漏洞在智能合约中普遍存在,可能造成巨大的经济损失.现有的基于符号执行的静态分析工具通过预设的规则判断漏洞是否存在,然而预设规则不全面可能会导致重入性漏洞的误报.为了避免误报,本研究尝试从软件测试用例生成的动态分析角度解决这一难题.本文将该应用场景抽象为存在重入性循环路径的路径覆盖测试用例自动生成问题,通过生成并执行覆盖重入性循环路径的测试用例来检测重入性漏洞.以鸽群算法为代表的群体智能算法是求解测试用例生成这类黑盒优化问题的常用方法.鸽群算法在整个决策空间内围绕种群最优解邻域搜索,然而,问题的最优解可能并不在该邻域内,导致路径覆盖率较低.为了提升鸽群算法的路径覆盖率,本文将利用流形启发式算子改进鸽群算法,使其分配更多的算力搜索与优化目标相关的子空间,从而提升鸽群算法求解效率,覆盖重入性循环路径.实验结果显示,改进后的流形鸽群算法能够更加高效地生成覆盖重入性循环路径的测试用例,检测出被测合约的重入性漏洞.与Oyente,Securify和Smartcheck这三个智能合约测试工具相比,本文提出的方法能够有效避免重入性漏洞的误报,在实验的8个被测试智能合约中重入性漏洞识别准确率分别提升12.5%,12.5%和25%.

关键词： 人民银行   信息服务管理   监管要求   风险防控   区块链   智能合约   融资风险   不良信息  

摘要： 区块链技术自诞生以来,核心技术不断迭代升级,应用规模持续扩大。但是,近年来不良信息上链、智能合约漏洞等问题时有发生,相关部门和机构对区块链风险防控十分重视,陆续发布了一系列区块链监管要求,如2017年人民银行等七部门发布了《关于防范代币发行融资风险的公告》,2019年国家网信办发布了《区块链信息服务管理规定》等。为了更好地满足监管要求。

关键词： 区块链   供应链   身份认证   智能合约   秘密共享  

摘要： 文章旨在总结基于区块链的供应链方面的研究成果及基于区块链的供应链目前面临的挑战,并对如何解决这些挑战进行应用研究和探讨。区块链技术在供应链管理中具有广泛的应用前景,包括物流跟踪、质量控制、供应链金融等方面。然而,基于区块链的供应链也面临着管理和技术方面的挑战。针对技术方面可能存在的区块链的可拓展性问题,文章分别探讨了基于BigChainDB与基于IFSP的简单解决方案,可以为区块链技术在供应链管理中的应用提供更加可靠的保障,从而推动供应链管理的数字化和智能化发展。

关键词： 维权成本   数字版权保护   区块链技术   登记方式   智能合约   应对策略   服务平台   监管体系  

摘要： 为了有效应对数字版权产业的新挑战,数字版权保护领域引入了技术手段。现从区块链技术视角出发,明确区块链技术应用于数字版权保护带来的改变登记方式、缩短确权周期,改变交易模式、赋能用权场景,改变取证形式、降低维权成本的发展机遇;以及面临的智能合约的制定与执行僵化,服务平台的能力和资质存在差异,作品保护的类型和场景存在局限性等挑战,并提出使用技术优势,升级现有产品;利用政策优势,完善监管体系;运用市场优势,扩展应用场景的应对策略,以期对数字作品提供全方位、全链条保护。

关键词： 区块链技术   材料进场管理   信息透明度   智能合约   信任机制  

摘要： 本研究旨在探讨基于区块链技术的材料进场管理方法,通过分析传统材料进场管理存在的问题和不足,结合区块链技术的优势,提出了一种基于区块链技术的材料进场管理方法。该方法通过建立材料进场信息的不可篡改的分布式账本,实现了材料进场信息的全程追溯和公开透明,有效地解决了传统材料进场管理存在的信息不对称、数据不完整、资料易篡改等问题。同时,该方法采用智能合约技术,实现了自动化审批和支付,提高了工作效率和管理水平。本研究的实践应用结果表明,基于区块链技术的材料进场管理方法具有较高的安全性、可靠性和实用性,可为相关企业提供可行的材料进场管理解决方案。

关键词： 联盟链   跨链   监管   智能合约  

摘要： 近年来联盟链在物流溯源、数据交易等领域发挥了重大作用,但是由于联盟链的底层实现差异较大,导致链与链之间无法形成有效的数据共享,跨链技术是打破联盟链数据孤岛现状的重要手段。现有的跨链技术无法满足联盟链跨链监管的需求,没有对跨链请求和链间互操作划分明确的权限,链与链之间合约调用可能导致跨链过程中出现恶意篡改账本数据的情况,无法较好适用于跨链监管场景。针对上述问题,面向联盟链跨链监管需求,提出了一种基于中继链的联盟链上计算跨链监管机制,通过对接入链身份进行分级,保证了跨链操作的安全性,利用模块化设计实现了跨链的可扩展性;设计了可用于跨链监管的通信消息协议,保证了监管过程中的安全性。最后将所提方案和现有机制进行了对比分析,并通过模拟实验验证了所提方案运行效率的实用性。

关键词： 合同自动化   智能法律合约   智能合约   人工智能   风险闭环  

摘要： 从合同自动化的等级序列入手,通过类比自动驾驶对合同自动化的差异化发展问题进行探讨,指出智能法律合约想要转换为智能合约需满足文法要求、平台访问、非赋权原则三个基本规则。结合合同生命周期对智能法律合约的运行过程进行系统化的展开,进而对不同阶段的智能法律合同所聚焦的问题进行论证。通过分析智能合约自动执行与法律合同中当事人享有权利之间存在的内生矛盾引出智能合约的风险原点,并加以讨论和评价。最后,摆脱代码之治这种单一化的风险救济途径,通过构建覆盖事前、事中、事后全流程的智能合约风险闭环机制,为探索智能合约可持续发展提供新的可行性方案。

关键词： Web3.0   阅读体验   分布式技术   区块链技术   图书馆服务   智能合约   个性化   创新性  

摘要： 现以Web3.0概述及其特征为切入点,在此基础上进一步提出以Web3.0为基础的图书馆服务创新内容,并且对以Web3.0为基础的图书馆服务创新策略进行介绍,希望能为图书馆服务创新提供参考和借鉴。图书馆服务因Web3.0的出现迎来了新的机遇和挑战。借助区块链技术、智能合约和分布式技术,图书馆可以为读者提供更加个性化,更具互动性和创新性的服务。本研究旨在探索以Web3.0为基础的图书馆服务创新,以提升读者的阅读体验和图书馆的服务质量。

关键词： 电-碳-绿证协同市场   新型电力系统   智能合约   共识机制   溯源模型  

摘要： 新型电力系统是构建新型能源体系和实现“双碳”目标的基础支撑,电力市场、碳市场、绿证市场协同运行是实现新型电力系统市场化运行的必然路径。为此,提出了电-碳-绿证市场协同运行的区块链关键技术体系。首先,提炼了电-碳-绿证市场协同运行的体系架构,从产品、主体、政策3个角度分析了市场间的协同运作情况。其次,构建了基于区块链技术的市场运行体系:建立了一个统一的积分认证机制来衔接电-碳-绿证市场之间的交易标的物;结合区块链技术的智能合约确保交易的透明和可靠性;将共识机制结合积分认证应用于协同市场,确保参与方之间的一致性以及协同性;通过跟踪电力的来源去向,构建了电-碳-绿证溯源模型来确保电力数据的准确性。最后,提出建设电-碳-绿证体系建议,聚焦于政策、技术、试点三方面为新型电力系统市场化运行提供辅助决策。