关键词： 航运指数   航线指数   区块链   智能合约  

摘要： 针对现有航运指数编制方法中缺乏航线指数、实时综合指数和样本收集具有局限性的问题,提出一种基于区块链的航运指数新编制方法。首先利用区块链的开放共识和智能合约的去信任、自执行等特点设计可按需部署的航线指数和计算具有即时性的航运综合指数;然后基于区块链扩充指数计算所需的运价数据,在数据采集过程中设计了基于token的激励机制和区块链中航运企业和货主的成对报价模式,并利用博弈模型验证其有效性,解决新方法衍生的缺乏激励和数据造假的问题;最后描述基于区块链的航运指数编制方法整体框架及航运运价数据上链流程。

关键词： 区块链技术   内部审计   潜在应用   智能合约  

摘要： 区块链是一个由不同节点共同参与的分布式数据库系统.在互联网时代,由于区块链的去中心化、公开透明、不可篡改等优势,区块链逐渐在金融、保险、版权等领域中广泛应用.正是在区块链越来越受欢迎的情况下,加上区块链从根本上改变了许多业务流程的处理方式,审计行业也正在被影响着发生颠覆性的变化.本文讨论了区块链技术,并分析区块链技术应用于内部审计的可能及内部审计存在的困难和挑战.从自主审计、降低审计成本、提高审计效率和财务人员对财务信息的监督水平方面论述借助区块链技术实现内部审计的优势方面.从技术不足、技术安全问题、缺乏相关人才方面解释面前所面临的困境.综合探讨了区块链技术可能为内部审计带来的技术变革.

关键词： 区块链   物联网   智能合约   工业应用  

摘要： 物联网正在将传统工业重塑为以数据驱动决策为特征的智能工业。然而,物联网本身的特性带来了一系列挑战,如去中心化、互操作性差、存在隐私和安全漏洞等。区块链技术的出现为物联网应对挑战提供了新的解决途径。研究了区块链技术与物联网的融合,并把这种融合命名为物链网(BCoT,blockchain of things)。首先介绍物联网及区块链技术,然后着重介绍区块链和物联网的融合,提出了实现物链网体系结构的方案,并进一步讨论了物链网在工业中的应用问题,最后对该领域的开放性研究方向进行了概述。

关键词： 区块链   债券市场   智能合约   信息披露  

摘要： 当前,我国债券市场发展已取得举世瞩目的成绩,但债券市场透明度较低、信息披露制度不完善等问题依然存在,并影响着债券市场的高质量发展。作为一种分布式网络体系,区块链技术的信息不可篡改、透明公开、信息安全、智能化执行等特点可为缓解债券市场发展“痛点”提供新的技术方案。然而,将区块链技术引入债券市场也面临一些难题,需要各方从技术迭代、理念创新、监管升级等角度进行大量的论证和探索。

关键词： 区块链   联盟链   智能合约   个性化背书  

摘要： 目前市场供应链环节存在虚假供应信息、数据质量差等问题。区块链技术具有数据防篡改、多方共享、可溯源、分布式存储等优势,能有效解决这些问题,但初始上链数据是否真实需要进行判定。充分利用联盟链具有的多方组织、共同维护、支持智能合约等优势,设计基于Fabric联盟链的个性化背书方案,在数据上链之前可通过智能合约对上链数据进行校验,创新性地解决了初始上链数据的失真问题。

关键词： 区块链   智能合约   金融   法律   功能主义  

摘要： 2020年初,杭州互联网法院将司法区块链平台的智能合约运用到案件审理过程中,这一技术有潜力彻底改变个人和公司安全签约的方式。然而,智能合约并没有被广泛使用,主要是因为潜在用户不确定、智能合同的可执行性与现行合同法下的合同不一致。目前司法实践中,法官也未认可智能合约的合法性。本文从功能主义视角分析智能合约的四个法律基础要素,试图在现行法律框架内寻找一个智能合约的可能空间,并对立法发展和现有法律的调整提出建议。

关键词： 区块链技术   网络空间安全   去中心化   共识机制   智能合约  

摘要： 互联网时代用户信息容易遭到泄露和破坏,用户对信息的隐私性和安全性的关注日益增加。新兴的区块链技术具有去中心化、不可篡改和高可信性的特点,通过智能合约和共识机制等区块链技术能够更好的保障当前网络安全。针对当前网络安全现状,区块链技术在电子通讯,数据加密等网络安全领域应用增多,区块链技术逐渐成为保障网络空间安全的一种重要技术。阐述了当前网络空间安全所面临的威胁,剖析区块链技术在网络空间安全领域的优势以及应用,展望区块链技术下网络空间安全的未来。

关键词： 区块链   版权   智能合约   数字版权管理(DRM)   国际版权法规  

摘要： 区块链技术被普遍认为是减少市场环节与摩擦、提高许可效率和创作者自主性的有效手段。然而,现实中的技术设计与法律架构之间的潜在冲突也同样存在于区块链应用和版权法规之间。从版权法的角度对区块链关键技术概念进行规范性分析,重点讨论国际版权法框架下区块链技术与版权立法的关系以及区块链技术条件下智能合约版权内涵的重塑。

关键词： 智能合约   形式化方法   离散时间马尔可夫链   概率计算树逻辑   随机模型检验  

摘要： 针对智能合约对安全性方面的相关性质的极高要求,有必要改进已有的建模算法,提出将智能合约函数的函数体语句建模为DTMC的算法,并对生成的DTMC进行验证。通过为状态迁移添加概率,实现了对随机现象的关注。通过对调用函数的分类处理,精细化了对函数调用函数情况的处理。通过添加标识符,实现了对智能合约所有控制语句的支持。对常被用于判定函数是否可以被触发的require语句,提供了差异化的处理方式从而改善算法的处理能力。同时对智能合约应保障的部分性质进行规约以验证模型效果。实验结果表明,建模方法可以实现对智能合约所有控制结构语句建模的支持,能够实现对合约函数的建模并完成验证。

关键词： 智能合约   设计模式   区块链  

摘要： 针对以太坊Solidity语言智能合约设计问题,在研究开源合约程序的基础之上识别了面向智能合约的六种设计模式,包括访问约束、状态机、前置条件、后置条件、紧急制动和代理。面向智能合约的设计模式有益于提升合约代码可读性,降低合约语言学习难度,也是提高区块链合约代码审计效率的途径。