摘要:智能合约是在数字加密货币和区块链技术基础上发展起来的在可信执行环境下执 行，管理数字化资产的灵活交易协议。领域特定语言（ DSL ）具有领域问题表达能力强、 抽象层次高、语言精练等特点，从而方便使用者高效地建立领域模型。区块链技术具有 去中心化、数据有序、可编程和安全可信等特点。为智能合约设计简单易用的描述语言 和构建普适性的系统执行模型是将智能合约推广应用的前提条件。 从智能合约的建模、设计、实现到应用，当前并没有形成系统的解决方案。课题旨 在使用 DSL 和区块链技术构建去中心化的点对点分布式模型，实现智能合约的可编程 性和执行环境的可信性。设计智能合约的基本思路是以 Fabric 作为底层区块链服务，设 计 DSL ，建立 DSL 描述的合约文本与链码对账本处理函数之间的映射。 本课题的主要工作包括三个部分： (1) 构建了可编程智能合约应用的系统模型。探 索构建智能合约应用的系统性方法，对系统架构、编程方法和服务接口进行设计和定义。 采用 Thrift RPC 和 C/S 模型设计的可编程智能合约系统框架隐藏了交易过程的细节，为 智能合约在不同产品和场景下提供了统一的执行模型。 (2) 基于 llvmlite 设计了智能合约 的领域特定语言 PSL 。详细介绍了 PSL 词法分析、语法分析、抽象语法树和 LLVM IR 代码生成、解释器构造等阶段的设计。探索 DSL 的交互性和扩展性，实现了 PSL 与宿 主语言、共享库之间的相互调用。提出 IR 內建函数、基础语言库和共享库三种实现“领 域性”的方法。 (3) 以众筹股权为例设计了原型系统。设计和实现了众筹项目合约描述、 账本数据库、链码处理函数。采用了共享库的方法，实现领域特性，状态变换驱动智能 合约的执行。展示了测试数据 : 交易过程中数据包括验证节点拓扑结构、区块信息和交易 数据；不同终端用户和验证节点的情况下的合约执行性能对比，以及系统调用链路的耗 时分析。 通过原型系统的构建和测试，验证了智能合约的可编程性和可信执行性。所设计的 可编程智能合约具有三个方面的技术优势： PSL 简单易用，具有良好的扩展性；采用 RPC 通信，交易通道易于实现多语言多平台的兼容；构建的可编程智能合约系统框架具 有普适性，易于扩展。

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

摘要:随区块链专利应用领域的更加多样化，申请区块链专利的主体也越来越多，全球区块链专利申请人已达到1300余个，并且这些申请人主要来自中国和美国，类型多为初创公司、研究院所、金融机构。并且公司正成为全球区块链专利的主要创新力量，全球区块链专利中，公司申请占比75%。区块链专利的撰写、审查和保护维权的路径在不断探索中也将越来越明晰。此外，随区块链领域的授权专利逐渐增多，产业应用逐渐明朗和成熟，区块链领域的知识产权风险也将随之提升，Nchain等申请人持有大量区块链基础技术专利将给BCH社区之外的开发者造成一定的潜在威胁。

摘要:该报告主体是围绕供应链金融的现状和存在的问题，分析区块链 技术与供应链金融深入契合的场景，利用区块链技术，切实解决“小 微融资难、小微融资贵”、“优化供给侧”、“去库存”等难题，保障处 于供应链上的中小企业的资金链的稳定和资金流动的高效性，助力中 小企业的茁壮发展਀提高供应链的竞争力。第一章着重介绍供应链金 融，分析供应链金融的概念、主要形态、政策支持、产业规模和主要 价值。第二章通过介绍传统供应链金融面临的痛点，分析区块链技术 针对供应链金融痛点的解决方案以਀主要应用场景。第三章剖析区块 链+供应链金融的应用案例，通过具体的场景来分析区块链+供应链金融的落地方案。第四章提出区块链+供应链金融落地的政策建议。

摘要:随着互联网金融向纵深发展，区块链技术及其应用成为人们日益关注的热点，开放、可信、去中心化、共享，区块链的这些核心思想被大家广泛认可。现在，区块链技术已经从概念走向了实际应用，越来越多的领域开始在区块链的技术中看到新的机遇，溯源作为大家近来关注的重点方向，区块链在溯源应用中发挥了重要的价值。

摘要:从行业探索和未来发展来看，区块链技术落地的场景已从金融领域向实体经济领域 延伸，覆盖了身份认证、溯源、能源、版权、共享经济、公益慈善、泛娱乐等非金融领域场景。未来，区块链技术将继续加快在产业场景中的广泛应用，与实体经济产业深度融合，助推产业区块链的发展。随着区块链开始改变市场结构，企业将会关注到商业的变革，带有智能合约技术的新生态系统会被整合到在现有行业中，新型的商业模式和监 管服务模式将会涌现，企业数量将会大大增加。区块链技术在实体经济中广泛落地将为 传统产业“换道超车”直接实现“数字化”提供机遇。

摘要:智能合约是部署在区块链上的可执行代码，可不依赖中心机构自动化地 代表各签署方执行合约。因其具有强制执行性、防篡改性和可验证性等特点，可以应 用到很多场景中。过去几年中，已经出现很多可以部署智能合约的区块链平台，其中 一些已经在实际中实施和使用。文章首先对智能合约的定义和性质进行描述 ；然后分 析各个区块链平台中的智能合约，并对应用最广泛的比特币、以太坊和超级账本等区 块链系统中的智能合约进行重点阐述 ；最后指出智能合约存在的问题和解决方法。

摘要:本白皮书由浅及深地介绍了区块链即服务平台的技术细节与应用场景。基本的模块设计从功能上可划分为资源管理层、区块链底层技术和平台管理层三个层次，其底层的关键技术包括可插拔的共识机制、高可用存储和多类型账本支持、多类型的交易模型、多语言支持的智能合约引擎以及安全隐私保护。除了这些基本的区块链特性之外，BaaS平台还会提供跨云部署、跨链交互、链上链下访问和分布式身份管理等高阶特性。最后，本白皮书还分享了几个基于BaaS平台落地的重要案例，为区块链应用的开发和创新提供多视角的思路。

摘要:该报告第一章首先介绍了区块链的技术特征，从技术架构的角度分析区块链的安全性。第二章着重分析当前的安全现状、和区块链相关的安全服务业务以及安全领域的发展趋势。第三章至第八章围绕网络安全、密码安全、账本数据、共识机制、智能合约及应用生态六大部分，详细介绍了当前已知的攻击手段，并对其面临的安全风险进行了深入的剖析，最后提出相应的应对措施。第九章给出了相应的对策和建议。

摘要:当前，全球科技创新进入空前活跃的时期，以人工智能、量子信息、移动通信、物联网、区块链为代表的新一代信息技术加速突破。区块链技术的集成应用在全球范围内呈现强劲发展势头，在新的技术革命和产业变革中起着重要作用，将在建设网络强国、发展数字经济、助力经济社会发展等方面发挥更大作用。为加快高校区块链技术创新，服务国家战 略需求，制定本行动计划。

摘要:本白皮书旨在围绕工业应用发展的现状及挑战，分析区块链技术如何能更好地与工业应用深入契合。第一章着重介绍工业应用的特点，分析了区块链对工业应用的价值。第二章分析了工业区块链的技术，应用图谱以及应用于工业的相关优势。从第三章到第六章分别介绍了区块链在助力工业安全、提高工业生产效率、帮助服务型升级、促进数据共享和柔性监管方面的应用场景，同时对其中部分场景，应用区块链所带来的价值提升进行了深度分析。最后在第七、八章提出工业区块链应用落地面临的挑战和相关政策建议。

摘要:百度作为中国在尖端科学核心技术领头的高科技企业，秉承“用科技让复杂的世界更简单”的使命，积极配合国家战略层面的指引方针，以公平开放、技术赋能、生态联盟为准则，致力于构建行业区块链应用生态，将区块链的价值赋能给包括政府、企业及个人用户的社会各个层面，为降成本、提效率、优化产业诚信环境、价值重新分配等方面贡献力量。百度区块链实验室，全面布局区块链生态的各个领域，包括 XuperChain 底层基础设施建设，企业级的解决方案BaaS(Blockchain-As-A-Service)，以及服务于创造数字经济和改善社会生活的一系列区块链应用等。

摘要:本白皮书聚焦于探讨区块链与边缘计算技术和应用的结合点，探索二者结合产生的相互赋能、相互促进效果，在分析一些典型应用场景的需求、方案的基础上，提出通用性技术方案，包括服务模式和部署方案。最后，总结了“区块链+边缘计算”应用拓展面临的挑战和发展趋势。

摘要:目前，农产品安全质量溯源是区块链应用最广泛、技术最成熟的领域之一；农产品供应链领域的区块链应用通常由大型平台主导；农业金融领域的区块链应用模式分为基于电商数据打造区块链金融服务系统和区块链农权抵押借贷系统；区块链在农业保险领域的实践通常以溯源系统为基础。2025 年，我国农业数字经济规模将接近 1.3 万亿元。借助数字农业的万亿生产规模，区块链应用有望实现重要突破。“区块链农业园区”将成为未来区块链在数字农业领域应用的主流模式。

摘要:本白皮书结合习总书记中央政治局学习内容及要求，对国内外行业发展状况重新进行了整理分析，阐述了区块链技术近期的演变和发展趋势，梳理了区块链的应用逻辑和落地实践，分析了当前国内外区块链在产业、应用方面的最新形势和发展机遇，剖析了区块链的监管挑战，并提出相应政策建议。