关键词： 物联网   边缘计算   区块链   智能合约   数字经济  

摘要： 为了在提高物联网中数据可信度的同时提升处理效率,提出采用边缘计算进行数据处理,并在边缘计算环境中构建区块链用于数据安全保护。建立物联网设备层、边缘计算层和应用服务层三层物联网结构模型。对多边缘服务器的多用户多任务协同资源分配策略进行数学描述,实现边缘服务器的协同工作。采用智能合约模式实现物联网设备节点、物联网网关节点及边缘计算节点的可信认证,实现物联网用户任务的边缘接入和边缘计算。试验结果表明,相比于云计算,在边缘计算环境中采用区块链策略,既能够提高物联网中常见任务的执行效率,又能降低能耗,同时区块链智能合约则为物联网节点的通信质量提供了有效保障。

关键词： 访问控制   智能合约   属性分级   区块链  

摘要： 为解决访问控制中心化和访问效率低的问题,提出基于区块链属性分级访问控制机制.基于智能合约技术实现控制去中心化、访问可追溯和可审计的访问控制过程,提高了访问控制可信度和数据共享的安全性;通过设置数据隐私等级和访问用户当前信誉等级,实施访问控制策略,提高用户的访问效率.实验结果表明,该方案能够实现控制去中心化、提高访问效率,实现访问控制可靠、可追溯,保证数据的安全与共享.

关键词： 智能合约   Event-B方法   自动代码生成   Solidity合约   定理证明  

摘要： 智能合约是一种以代码的方式执行合同条款的可计算交易协议,其应用场景与规模日益增长,承载着多达数十亿美元的各类资产。由于其代码缺陷可能会造成严重的经济损失,因此智能合约的可信开发成为技术关键。为此,提出了一种基于集合论语言Event-B的智能合约可信验证与自动生成方法。Event-B方法是一种基于精化的形式化方法,可用于规约、设计和验证软件系统。通过对智能合约的模型验证和可执行代码的自动生成技术,研发了自动转换工具EB2S,打通了形式化模型和智能合约编程语言的语义鸿沟和技术壁垒。最后,选取典型的在线支付智能合约场景,应用基于Event-B的智能合约模型自动生成合约代码,验证了EB2S转换工具的有效性。

关键词： 以太坊智能合约   安全漏洞   漏洞检测   测试方法   测试工具  

摘要： 以太坊智能合约管理着大量数字资产,吸引了攻击者的注意,并且由于其不可篡改等性质,安全漏洞难以恢复,一旦攻击成功,将造成不可估量的损失。为了保障以太坊智能合约的安全性,许多研究者对此开展了大量研究工作,取得了丰硕的成果。首先对以太坊智能合约的基础知识进行简单的介绍;然后梳理了13个常见的漏洞类型,按照漏洞发生的层级对其进行分类阐述,并列出了相应的攻击事件;进一步总结了四类测试方法及对应的测试工具,为了探究漏洞、测试方法和测试工具之间的关系,对各种测试方法下的测试工具检测的漏洞类型做了详细的梳理;最后,针对目前智能合约测试中存在的问题提出合理的展望。

关键词： 非交互零知识证明   ElGamal算法   默克尔树   身份认证  

摘要： 以区块链和密码学技术为支撑的加密货币的兴起,打破了传统的中心化交易模式。但在它带来诸多便利的同时,也暴露了缺陷。当加密货币的合法用户密钥遗失或有攻击者利用合约漏洞非法转移资金时,系统缺乏额外的身份认证和资金托管功能,这会导致用户失去资金的控制权。针对这些问题,本文方案将对用户的账户资金跟踪管理规则写进智能合约中,在特定的异常情况下,强制用户调用双因素认证方案(结合非交互零知识证明、默克尔树、ElGamal算法等方法)来验证合法身份,防止攻击者非法转移资金。通过仿真实验与其他方案对比的结果显示,该方案在安全性和效率上有一定的提升。

关键词： 区块链   农业生产   数据隐私   智能合约  

摘要： 随着大数据、区块链技术的兴起,农业生产也处于信息化的浪潮之下。在此背景下,区块链赋能现代农业的生产经营方式应运而生。但是目前对于区块链在现代农业生产中存在的法律问题却未进行有效探究,本文基于区块链在农业生产中的智能合约、信息安全以及诉讼管辖存在的问题进行探讨,以期对于未来区块链在我国农业发展的法律问题提供有效的解决措施。

关键词： 区块链   可追溯   图书共享系统   智能合约  

摘要： 现代图书交换借助移动网络为读者提供便捷连接以共享图书。然而,缺乏可追溯性阻碍了移动图书交换的广泛应用,导致图书丢失。为解决这一问题,文章提出了基于区块链的校园图书可追溯和高效共享系统。该系统将感兴趣图书的完整共享数据永久存储在区块链上,使每位读者都能追溯借阅历史,从而减少图书丢失的可能性。此外,系统引入智能合约以自动化图书流通,提高效率,降低人为干预。

关键词： 线上教学   成绩管理   区块链   智能合约   成绩共享  

摘要： 基于线上教学成果评价体系产生大量电子评价记录的现状,通过对高校成绩管理和高校间成绩共享现状和存在问题的分析,结合现有模式的转变需求提出了基于区块链的高校成绩管理方法。引入联盟链技术,利用其永久记录和不可篡改的特点实现可信成绩共享流通;结合其半中心化共识架构和分级节点设计实现高效的成绩事务处理;通过智能合约开发实现成绩管理和成绩追溯的自动化可靠执行。实验证明引入联盟链技术的成绩管理方法能够在高校内部成绩管理和高校间成绩共享模式改革中取得较好效果。

关键词： 供应链金融   国际服务贸易   工商银行   对公   塑料包装   智能合约   融资   京东  

摘要： 9月2日,在2023年中国国际服务贸易交易会(以下简称“服贸会”)现场,京东科技携手工商银行共同推出了,基于数字人民币智能合约的可编程供应链金融全链路解决方案。这套解决方案可以为产业链上下游企业提供在线钱包开立申请、资金监管、高效融资等的全方位服务。事实上,在服贸会前夕,邢台金塑塑料包装有限公司(以下简称“邢台金塑”)就开通了数字人民币对公钱包。提交采购融资审核的当天,企业就快速拿到融资。

关键词： 区块链技术   碳资产管理会计   智能合约   碳履约   信息披露  

摘要： 区块链嵌入碳资产管理会计有利于提升碳资产价值,辅助企业实施碳资产管理业务。就现阶段而言,企业碳资产管理会计仍存在数据管理混乱、信息披露质量差、碳履约程序繁杂问题,不利于达成碳达峰碳中和目标。而区块链具有分布式组网、加密算法与共识机制等技术优势,能够提升碳资产识别精准度、碳资产核查可信度与碳资产价值转换效率。因此,结合区块链技术设计碳资产管理会计技术性方案,并构筑集碳资产识别、碳资产披露与碳资产决策三大子系统在内的碳资产管理会计体系,可助力企业提高碳资产价值。同时,为提升体系运行稳定性,针对性提出强化服务接口管理,提高体系运行效率;提升数据传输安全性,保障体系运行可靠性;出台标准化管理应用制度,规范体系运作模式;部署数字化新型基础设施,夯实体系运作基础的应用建议,期望赋能企业合理管控碳资产。