软件所等提出国际首个完全实用的异步共识算法“小飞象” 区块链核心技术取得重大突破

文章来源:  |  发布时间:2021-02-08  |  【打印】 【关闭

  

  近日,中国科学院软件研究所张振峰团队与新泽西理工学院唐强团队在区块链核心技术——拜占庭容错BFT共识研究中取得突破,提出了首个完全实用的异步共识算法——小飞象拜占庭容错(DumboBFT)算法,该成果《Dumbo: Faster Asynchronous BFT Protocols》发表于网络安全旗舰会议ACM CCS(第27届国际计算机与通信安全大会)。在异步BFT共识算法设计领域,我国此前未有重要研究成果在国际顶级会议上发表。 

  拜占庭容错(BFT)共识算法是区块链的关键核心技术,是确保区块链安全可靠运行、提升区块链扩展能力和运行性能的核心算法。BFT共识算法具有运行性能高、资源消耗低、易于部署等特点,得到了工业界的青睐,广泛应用于国内外区块链系统中。异步BFT算法能够容忍网络通信故障、抵抗拜占庭敌手恶意攻击,是保障区块链在互联网环境下健壮运行的理想共识技术。 

  如何设计高效的异步BFT共识算法,是密码学和分布式计算领域的著名难题。自上世纪80年代起,多位图灵奖得主在内的众多国际著名学者先后对这一难题进行了探索。第一个接近实用的异步共识算法是在2016年提出的HoneyBadgerBFT算法,已被应用于蚂蚁链等区块链平台。 

  为了设计完全实用的异步共识算法,软件所于2015年开展小飞象拜占庭容错算法研究工作。该算法以独到视角对HoneyBadgerBFT算法进行了分析,揭示其性能受限的根源是大量随机化子模块调用导致的运行时间增加,提出了全新的可证明可靠广播(provable reliable broadcast)原语,并给出了基于门限数字签名技术的高效构造方法,通过一种创新性的多值拜占庭共识应用,在容忍1/3的恶意节点的同时,突破了异步共识算法在性能上的设计挑战。 

  在遍布全球四大洲的100个共识节点的测试网络中,小飞象拜占庭容错算法DumboBFT的确认延迟时间为24秒、不到HoneyBadgerBFT算法的1/20,交易吞吐量为每秒近1.8万笔、是HoneyBadgerBFT算法的9倍多。 

  此外,团队成员路远等人进一步提出了小飞象多值共识算法(Dubmo-MVBA),在消息数量、通信代价和运行时间等关键性能指标上均达到了渐进理论最优,圆满回答了国际密码界关于“如何提升异步共识算法的关键性能指标”这一提出了20年的公开问题。 

  小飞象共识算法的创造性突破,不仅解决了异步共识算法设计的理论难题,而且在性能上大幅提升并全面超越了当前工业界采用的HoneyBadgerBFT,成为国际首个完全实用的异步共识算法,可为我国区块链基础设施建设提供强安全、高性能、可扩展的新一代核心技术。