【摘要】区块链技术在数据共享、数据安全、隐私保护、确权确责等方面的技术优势，使其在政府、金融、供应链、交通等各个领域展现出广阔的应用前景。政务区块链平台是行业区块链平台的初步实践，未来在区块链技术的发展下，还会打造面向其他领域的链管平台，构建多方协同的分布式账本，让区块链应用更便捷高效的为产业服务。 1、行业区块链平台诞生背景 互联网时代下，区块链作为一种分布式的公开账本，具有去中心化、开放匿名、不可伪造篡改等特点，凭借其独特的信任机制和信息传递技术，在金融、医疗、教育等各个领域都有着广泛的应用，推动着科技领域的变革。 传统BaaS(BlockchainasaService)平台将区块链集成为...

【摘要】1．区块链跨链技术诞生背景及发展历程1.1什么是跨链？区块链技术经过10来年演进，已经被认为是可以参与未来可信社会构建的重要基础设施。但是现实的社会中包括许多行业和不同的经济领域。把整个现实世界中的各个行业都套用区块链是不现实的，也是不合适的。不同行业、不同经济领域的商品可以通过市场实现价值交换。每个区块链系统都是一个独立的价值经济体系。区块链跨链技术是连接独立区块链的枢纽，承载着不同价值... 1．区块链跨链技术诞生背景及发展历程 1.1什么是跨链？ 区块链技术经过10来年演进，已经被认为是可以参与未来可信社会构建的重要基础设施。但是现实的社会中包括许多行业和不同的经济领域。把整个现...

【摘要】区块链联盟链智能合约形式化验证揭秘，解释了我们为什么要对区块链上的智能合约进行形式化验证，以及形式化验证的分类和业界针对每种分类所推出的形式化验证工具，最后作者描述了一下目前形式华验证的种种方法所面临的问题及对于这个领域技术发展的展望。 什么是形式化验证？ 维基百科对形式化验证的解释是这样的：在计算机硬件（特别是集成电路）和软件系统的设计过程中，形式化验证的含义是根据某个或某些形式化规范或属性，使用数学的方法证明其正确性或非正确性。传统上在硬件设计领域比较常用。主要原因就是硬件设计周期长，成本高，一旦生产出来就很难改动了。例如一个CPU设计如果已经出芯片了，那么出了问题就是大事。形式验...

【摘要】零知识证明技术不管应用于金融还是其他领域，都可以对隐私保护，性能提升，或者安全性等场景带来很多帮助。本文通过介绍华为如何在同态加密及零知识证明框架的集成介绍来介绍了一些对金融领域交易隐私保护的思路，通过代码结和应用场景描述了zksnark如何集成到现有联盟链体系保护交易隐私。以及目前零知识证明领域应用的技术挑战，华为是通过什么样的技术解决当前的挑战问题的，并提出对未来区块链的隐私保护思路。 什么是零知识证明？    证明者在不泄露任何有效知识的情况下，验证者可以验证某个论断是正确的。图1给出一个有趣的例子，Alice把自己的签名的信封放到一个保险箱中，Bo...