关键词： “区块链+税收”   税收征管   智能合约  

摘要： 区块链的分布式记账、去中心化、不可篡改性、智能合约的自动执行,能够解决税收征收管理中存在的诸多问题,能够进一步提升税收征管现代化。目前我国区块链在税收征收管理的应用场景逐渐增多,但是区块链作为一种新的技术,在与法律的融合中还存在许多缺陷,且对征纳双方的行为还需要规制。

关键词： 区块链技术   智能合约   医疗数据库   保险业  

摘要： 保险业务可以说非常复杂,为了对个人以及组织日常面临的各类风险进行评估与管理,过程中自然不可避免要涉及多方协调以及对大量记录信息的处理。正是这两大基本现实,使得保险业成为区块链技术优化尝试的重要领域。实际上,分布式分类账技术正是保险科技(Insuretech)迎来技术创新的一大突出特征,并有望给整个行业带来新的效率提升。

关键词： 区块链   链下扩容   智能合约   仓单交易   资产确权  

摘要： 仓单的本质是一种有价证券,仓单交易为仓单提供了一定的流动性,是仓单相关业务中非常重要的组成部分。当前,仓单交易系统一般是采用中心化的服务模式,且存在以下问题:第一,数据存在被篡改的风险,降低了数据的可信程度;第二,确权难,由于数据的可信程度低,即使用户实际拥有一张仓单,也难以得到其他机构的认可。针对现有仓单交易系统所存在的问题,本文提出了基于区块链构建仓单交易系统的解决方案。区块链是一种集成型创新技术,通过数据的多方维护和链式存储,实现了数据的多方可信、难以篡改和可追溯等特性。本文基于区块链构建的仓单交易系统具有以下特点:第一,针对区块链和业务结合时遇到的性能问题,基于链下扩容的思想,设计了“链下交易、链上结算”的系统架构,使得系统既满足业务性能需求,又不影响区块链的价值特性;第二,结合链上可信数据与SPV技术,设计实现了数字资产及相关操作数据的离线存储和公开验证功能,解决了仓单等数据的确权和追溯问题。本文的主要研究与设计内容如下:(1)研究分析区块链技术的原理和价值,对FISCO-BCOS联盟链平台进行修改,与公有链的SPV技术进行结合,使其支持链上数据的获取和验证;(2)基于修改之后的FISCO-BCOS平台,根据“链下交易、链上结算”的设计,将交易行情的维护、成交的达成等性能要求较高的部分放在链下处理,将交易的结算以及数字资产的管理维护过程放在链上处理。同时,在智能合约的设计过程中,采用“数据”和“逻辑”分离的方式,解决了智能合约的升级问题;(3)基于“核心机构维护数据、用户本地存储自身数据、公众监督数据”的思想,借助区块链的数据可信特性,设计了权益数据的离线存储和公开验证,解决了仓单数据的确权和追溯问题。

关键词： 票据   区块链   信用风险   智能合约   节约成本  

摘要： 随着中国票据市场逐渐完善,票据规模日益增长,票据的融资功能也逐渐受到了市场的重视。越来越多的企业运用票据融资,票据市场整体上发展迅速。但我国中小微企业利用票据融资仍然存在许多桎梏,如中小微企业持有的很多小金额、短期限、由中小银行承兑的票据一直以来融资都比较困难。传统金融机构因风险和成本等因素一直对具有类似融资需求的中小微企业缺乏足够的支持与服务。与此同时,票据市场中违法违规行为屡禁不止,一些心术不正之人专门利用目前票据监管的模糊之处进行违规操作,票据的真实性问题与信用风险问题突出,严重影响了我国票据市场的发展进程。区块链技术或将解决目前票据市场中存在的一些问题。区块链技术可实现分布式记账,并且以非对称加密算法确保交易安全,以共识机制使参与者之间达成信任,用时间戳标记交易顺序,交易数据无法被篡改。银行及其他票据交易参与主体借助区块链的可编程性以及数据透明性,可以更好地降低票据业务领域中的风险,使票据业务流程更加简单便捷,每笔业务所耗费的时间更短。本文通过文献分析法,系统地梳理了区块链技术的概念、特征、发展历程,并对目前区块链技术在票据及其它行业应用的现状及意义做了总结分析,详细阐述了区块链技术运用在票据行业的理论基础:分布式账户、智能合约、非对称加密、支付结算。结合区块链技术在票据行业运用的现状,以目前票据业务中存在的问题、风险为出发点,通过案例分析,研究区块链技术应用在票据业务能实际解决的相关问题,分析出区块链技术应用在票据行业的优劣势以及目前所存在的问题,并提出相应的对策建议。这对于我国商业银行及其他票据中介票据业务的创新和健康发展具有一定的指导意义。本文提出,将区块链技术应用于票据业务可以降低票据业务信用风险,提高清算效率,使得票据业务更加安全便捷。区块链的特性赋予区块链票据更多优势:安全便捷、成本低、融资期限灵活。将区块链技术应用于票据业务,除了能提高银行的经济效益外,还给银行带来了许多非经济层面的收益,如使银行获得大量高收益可投资资产,吸引更多客户等。目前技术发展、安全、成本、监管问题是制约区块链技术进一步推广的因素,监管部门、银行、企业等应给予这些方面更多关注,实施相应的对策。

关键词： 以太坊   智能合约   形式化验证   定理证明  

摘要： 随着以太坊的蓬勃发展,智能合约作为以太坊区块链的核心,其安全性逐渐受到大众的重视。但应用场景的逐渐丰富,使得智能合约的代码量和复杂度也逐步递增。这使得测试或者人工分析这类传统的安全审计方法无法满足当前智能合约开发过程中的安全需求。形式化验证以数学理论为基础被大众认可为最为可靠的安全验证方法并且广泛的被运用在计算机的软硬件安全领域中。本文采用形式化验证中的定理证明方法对智能合约的合约代码分别从源代码和字节码,这两个角度进行形式化建模与验证,通过对智能合约的程序规范的形式化定义及证明来验证智能合约的安全性。结合以太坊的底层实现和其技术特点,本文给出了智能合约不同验证场景下的形式化验证方法,并设计了以太坊智能合约的形式化验证的验证框架,可以满足基于源代码和基于字节码的两种智能合约组织形式的形式化验证需求。通过验证框架详细描述了两种验证模式下的智能合约的验证流程,包括智能合约的形式化规范获取、智能合约的形式化建模、智能合约待验证定理和智能合约定理证明。智能合约的形式化验证的实现主要包含在辅助定理证明工具中分别构建关于solidity和字节码的推理系统。在推理系统中建模了以太坊运行环境,包括了运算模拟、状态模型、solidity语法模型和以太坊操作码模型。将智能合约源代码及编译后的字节码分别转换至对应的模型中,在安全属性给出的前置条件下执行指定合约模块后得到系统终止状态,证明其与后置条件的关系,从而得到智能合约的是否满足安全属性的证明结论。通过智能合约的安全属性的形式化证明,验证人员可以有效地从证明结果中分析定位合约代码中的问题代码段,从而加速智能合约迭代速度,提高工业化生产质量和效率。

关键词： 智能合约   以太坊   云服务信任   物联控制权   物联门锁  

摘要： 物联网（Internet of Things,IoT）技术的普及给人们的生活带来了极大的便利。然而,物联系统中存在着“云服务信任”问题,这是因为物联用户对物联设备的控制权是建立在对物联系统云服务提供商的信任之上的,云服务提供商完全有能力在未经用户允许的情况下控制物联设备的运转。在某些敏感场合上,用户往往不希望自己的设备受到其它组织或个人的控制。为了解决这一问题,论文主要的工作是结合区块链技术与物联网技术,设计一个基于区块链的去中心化物联控制权管理方案,并在此基础上实现不受中心化云服务控制的物联门锁案例系统以验证方案的可行性。物联控制权管理方案的核心是采用以太坊区块链进行用户权限信息的存储以及采用非对称加密算法的签名、验签技术实现的用户识别机制。更进一步的,考虑到方案容易受到重放攻击,为此方案引入指令随机序列、Nonce和时间戳机制。物联门锁系统包括智能合约部分、手机App部分、树莓派门锁硬件部分以及辅助云服务部分组成。论文对各部分进行分析、设计与实现,然后在以太坊测试链上对物联门锁系统进行测试,发现系统能按预期运行,论文提出的方案确实可行。

关键词： 区块链   自然语言   当事人   人力资源工作者   缔约能力   合同法  

摘要： 在技术更迭日益加速的今天,以大数据、人工智能、物联网、数字经济等为代表的信息技术深刻地影响着现代商业模式的发展,这对人力资源管理工作不断提出新挑战。从20世纪20年代开始,传统人事管理的萌芽,到现代人力资源管理的高阶发展,其发展与科学技术的推动密切相关。工作范围得到了很大拓展,人力资源角色得到转换,各种人力资源管理软件或系统的普及方便了人力资源管理者的日常工作,一定程度上提高了HR的工作效率。近年来,区块链技术的提出和发展,又给人力资源工作者提供了新的机遇和挑战,该技术的日益成熟将彻底改变我国的商业模式,而人力资源工作者的工作

关键词： 区块链   私募股权基金   智能合约   监管沙盒   监管科技  

摘要： 区块链作为一项引领全球新一轮技术变革和产业变革的重点前沿技术,已经向着智能合约时代迈进。区块链私募股权基金投资平台的出现正是区块链智能合约技术在我国私募股权基金投资领域高度发展的产物。然而,我国区块链智能合约技术的不成熟和私募股权基金监管制度的缺失直接导致了各类区块链私募股权基金风险的产生。因此,就法律层面来讲,对于区块链技术运用在私募股权基金投资领域应当解决“是否需要监管”以及“如何设计监管”的问题。风险的产生,是监管的前提。区块链私募股权基金的风险来源于智能合约的合规性风险、区块链的安全性风险以及区块链匿名性特点带来的集聚性风险。由于区块链私募股权基金的金融风险具有集聚性、隐蔽性、外溢性等特点,从保护投资者权利和规范区块链私募股权基金运作的角度出发,我国应当在现有法律制度框架内引入对区块链私募股权基金监管的相关规定。放眼域外立法,因区块链私募股权基金在各国均属于较新的金融产品,没有成熟的监管法规提供借鉴。但是对比美国、英国、澳大利亚在其他金融领域对区块链金融产品的监管态度以及监管方式,能够发现这三个国家在鼓励区块链金融发展的同时,监管方式各有侧重:美国总体上侧重于对区块链金融进行事前监管、英国侧重对区块链金融进行“沙盒”监管、澳大利亚对区块链金融则采取“技术”监管。通过分析区块链私募股权基金存在的风险,并借鉴域外区块链金融领域先进的监管方式,构建一个多维度的区块链私募股权基金监管框架已势在必行。从保护投资者利益和保护区块链私募股权基金市场良好有序发展的角度出发,监管主体应当选择行为监管理论对区块链私募股权基金进行软法监管。从监管对象方面分析,应当主要针对基金管理人、基金投资者、区块链私募股权基金投资平台设计公司等。从监管方式方面分析,应当在事前采取“沙盒”监管方式为合格的区块链私募股权基金投资平台的设计公司颁发行政许可证以及事中采取科技监管方式降低风险出现的概率。从监管内容方面分析,则应当主要识别参与主体是否合格和实名以及区块链智能合约代码是否存在漏洞。综上,区块链私募股权基金的监管应当在平衡区块链技术创新与金融安全的过程中,更加侧重保护投资者的合法权益。

关键词： 区块链   保险创新   智能合约   保险监管  

摘要： 区块链技术被认为是我国最有可能在保险行业普及和推广的未来技术.本文分析了区块链技术特征与保险业创新应用的契合点,展示了我国保险业在区块链应用方面的成果,阐述了区块链技术在保险业应用中面临的技术、安全、监管层面的挑战,展望了区块链在防控欺诈风险、提升理赔效率及在健康险、再保险、互助保险方面的应用趋势.

关键词： 区块链   智能合约   数据追溯   数据同步   双重支付  

摘要： 区块链的诞生,从根本上打破了中心化的信任体系,其实现了去中心化、防篡改、可追溯等特性,引发了社会各界的广泛关注。因此,国内外涌现出区块链研究热潮,推动着区块链技术进一步完善发展。在区块链从1.0到3.0的发展过程中,最重要的变化之一就是智能合约技术的发展,智能合约为区块链的应用带来了更多的可能性。因此,本文基于对区块链和智能合约技术的研究,旨在设计一个通用性、可用性、易用性更强的智能合约管理引擎。主要研究工作包括:(1)研究了现有典型的区块链产品比特币、以太坊、hyperledger和EOS,从网络拓扑、隐私保护、共识算法和智能合约等方面对他们进行对比,总结了区块链技术在性能、成本和隐私保护方面存在的问题,分析了区块链在共识算法、数据存储、合约形式化验证等方面的发展方向。并对区块链核心架构和关键技术进行梳理和介绍。(2)研究了智能合约的生命周期管理问题,从合约的部署、实例化、停用、更新和重用等方面进行设计;提出了一种简化智能合约开发难度的方案,将智能合约需要考虑的分布式系统和并发请求导致的复杂性剥离出来,采用一个由平台满足数据一致性和并发正确性的方案,使智能合约的开发尽可能像单机、单线程的程序一样简单;分析了比特币的账户模型,并设计和实现了一种数据追溯模型,该数据模型提供了数据记录的追溯功能和同步支持。(3)基于简化后的实用拜占庭容错算法设计并实现了一个支持交易的实时确认的联盟链的区块链平台。并对系统架构进行了优化,统一了平台的合约管理模块、用户管理模块与应用合约的处理流程,提高了系统的可扩展性;优化了智能合约与区块链平台的通信性能。介绍了基于该平台开发智能合约的规范,并以一个应用合约作为示例介绍了智能合约的开发流程和区块链平台的使用方法。最后对智能合约管理引擎进行完善的功能测试,并根据现有环境对区块链平台进行性能测试。验证了本文研究和实现的智能合约管理引擎的可行性和有效性。