如何设计高效的异步“拜占庭容错共识算法”，这是密码学和分布式计算领域的著名难题。自20世纪80年代起，包括多位图灵奖得主在内的众多国际著名学者先后对这一难题进行探索，2016年提出的“蜜獾算法”(Honey Badger BFT)是第一个接近实用的异步共识算法，已被应用于区块链平台。

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

目前，在遍布全球四大洲的100个共识节点的测试网络中，“小飞象算法”的确认延迟时间为24秒、不到“蜜獾算法”的1/20，交易吞吐量为每秒近1.8万笔、是“蜜獾算法”的9倍多。

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