关键词： 区块链   供应链溯源   跨境物流   智能合约   海关管理  

摘要： 针对跨境贸易过程中多主体之间信息不对称、物流追溯困难、报关手续繁琐等问题,提出了一种基于区块链技术的跨境供应链溯源的方法,并进行了系统方案及业务流程的设计。利用区块链结合RFID、二维码、GPS等物联网技术,实时追踪货物运输路径并采集其位置数据,实现一物一码,将商品从原材料采购、生产、运输、分销、零售等全链路的物流信息,以及其过程中产生的单据、仓单文件写入区块链,形成分布式跨境物流信息共享账本。该方法可以保障每件货物的唯一性与真实性,实现跨境供应链的可信溯源,便于检验检疫、海关、政府、税务局等权威机构线上监管。

关键词： 区块链   合同签署   Fabric   双向信任   智能合约  

摘要： 区块链在商业交易领域的快速发展及应用,尤其是交易合同的签署对公平的需求,导致传统的单向信任模式的区块链需要更换为双向信任模式。基于已有的多种公平合同签署协议(fair contract signing protocol,FCSP),提出一种面向Fabric区块链的快速公平合同签署协议(TFCSP),与已有FCSP的分步多次区块上传或者简单智能合约的实现不同,TFCSP通过修改Fabric的gossip进程,由交易发起方对交易签名、接收方对块信息验证并签名再进行上传,这种多次异步签名一次上传及二次验证合约内容的方式保证了双向信任,并且大大提升了交易的效率。最后将该协议应用到保险区块链,完成其架构设计,并通过实验验证其有效性,实验结果表明,该协议在保证交易可信的前提下保持了较好的性能。

关键词： 组播   组播源认证   区块链   智能合约   共识机制  

摘要： 针对目前集中式组播源认证模式给认证中心带来巨大的通信和计算压力的特点,提出一种基于区块链技术的组播源认证方法。本方法基于区块链联盟的超级账本算法,将多方安全计算方法中密钥共享和分配协议与超级账簿信任方法相融合,提出了一种新的高效组播源认证方法。经过实验仿真证明,该方法在认证时效和资源消耗等方面拥有相对优势。

关键词： 稻米供应链   动态监管   智能合约   区块链  

摘要： 稻米供应链具有全生命周期冗长、主体环节参与角色复杂、危害物种类众多、信息多维多源异构等特点,实现稻米供应链动态监管,有助于稻米质量安全保障和溯源。以区块链智能合约为驱动,构建了适用于稻米供应链信息流转特性的动态模型并进行合约化实现与原型验证。首先,在稻米供应链监管信息解析及分类的基础上,基于区块链智能合约构建稻米供应链动态监管模型框架。其次,在监管模型的逻辑框架下,定制化设计身份初始化、数据调用、模型验证、数据传输、贡献评估、信用评估等6种智能合约,并进行模型运行流畅分析。最后,依托动态监管模型及智能合约,设计并研发稻米供应链监管原型系统,并进行仿真分析和案例验证。结果表明,所构建的动态监管模型和原型系统能够解决稻米供应链业务信息、危害物信息及人员信息的全流程实时管理,在信息层面实现稻米供应链全生命周期动态可信监管。

关键词： 区块链技术   工程审计   信息透明化   智能合约   双链架构  

摘要： 随着工程规模的扩大以及项目复杂性的增加,传统工程审计所采用的方法已经无法满足当下高标准审计工作要求,尤其在审计透明性方面,传统工程审计存在信息孤岛、篡改风险高、审计效率低等问题,而区块链技术其去中心化、不可篡改、可追溯等技术特征,能够有效解决上述问题,实现工程审计信息的透明化。因此,文章围绕区块链技术的核心机制,深入分析其与工程审计工作间的契合性,并进一步探讨了其在审计流程优化、数据治理、实施监控等情景中的应用,并围绕区块链技术在应用中的挑战,提出相对应的应对策略,以期促进工程审计透明度、可靠性和智能化水平的全面提升。

关键词： 区块链   共识机制   智能合约   大数据   区块链场景  

摘要： 区块链技术经历十余年发展,应用领域已经从虚拟货币,拓展到实体经济领域。数据显示,区块链解决方案出现在金融、IT、供应链、物联网等诸多领域。本文通过市场数据并结合技术,给出关于区块链的适用场景的讨论,为区块链使用提供方向性参考。

关键词： 区块链   海关统计服务   智能合约   数据安全   信息共享  

摘要： 海关统计数据包含进出口环节丰富信息,对其他政府部门间优化协同监管、国际贸易各市场主体拓展商业价值具有重要意义。本文探索应用区块链技术,将海关统计数据以安全可靠的形式上链,一方面,与外汇、税务等政府部门数据实时响应,实现监管部门间现有数据共享模式的再升级,实现“让数据多跑路,让企业少跑腿”,促进口岸营商环境持续提高。另一方面,通过区块链数据加密验证等技术,在有效保护企业商业秘密的同时,为企业提供数据验证、资信认证等数据增值服务,为企业融资增信、开拓市场提供有力支撑,服务国家外贸发展大局。

关键词： 马尔可夫链   集束搜索   智能合约   形式化验证   模型检测  

摘要： 针对代币智能合约的形式化验证方法中模型检测存在的状态空间爆炸问题,提出了一种两段式模型检测方法。使用图转换规则对智能合约建模,利用工具生成模型状态空间。第一阶段对部分状态空间进行分支时序逻辑验证后,第二阶段先使用前一阶段的状态验证信息构造马尔可夫链,使用集束搜索结合马尔可夫链对余下状态进一步筛选,再进行验证。实验结果表明,该方法能够有效减少需验证状态数量,解决状态空间问题,完成合约验证。

关键词： 软件即服务   区块链   智能合约   非同质化代币   数字凭证  

摘要： 在软件销售场景中软件订阅和支持模式将成为主流,同时中心化授权在效率和安全性上受服务端限制。针对存储订阅信息的服务端可能遭受攻击导致盗版问题,提出基于非同质化代币的软件订阅模型,编写以太坊智能合约并利用去中心化方案保证订阅信息不可篡改。应用非同质化代币表示软件订阅,在区块链上映射软件订阅的生命周期,软件订阅流程依据代币原生操作完成,同时支持订阅购买者和销售商通过与智能合约交互实现安全的软件销售。根据订阅流程中智能合约调用的手续费开销,在模式设计层面选择发布-订阅区块链预言机,解决以太币汇率变化等相关问题,在系统设计层面设计链上存证和链下支付策略,使得订阅服务流程中的交易手续费不受以太坊主网行情的影响。实验结果表明,该模型通过非同质化代币完整映射软件订阅场景,并保障信息的可信、公开和不可篡改。

关键词： 用电权交易   区块链   智能合约   双向拍卖   端对端  

摘要： 负荷密集的商业园区、工业产业园区通常以合同形式对入驻企业进行电力资源分配,但是该方法存在配置效率低、资源利用不充分等问题。为此,提出了一种基于区块链的园区级多边用电权交易机制。包含双向拍卖规则和端对端交易的用电权益交易模型充分调动了园区的闲置电力容量,通过市场化手段优化用电权配置,避免了园区外线扩容改造的同时解决了企业临时增容需求问题。在此基础上,基于以太坊私有链的用电权交易机制确保了多边交易过程的公开透明,采用智能合约函数自动执行交易,提高了撮合效率的同时减少了交易成本。通过仿真算例验证了所提交易机制及区块链交易平台的有效性。