中国科学院软件研究员张振峰与合作团队提出了小飞象拜占庭容错(DumboBFT)算法，解决了异步共识算法设计的理论难题，且在性能上大幅提升并全面超越了当前工业界采用的蜜獾拜占庭容错( Honey BadgerBFT)算法，可为我国区块链基础设施建设提供强安全、高性能、可扩展的新一代技术。这表明（ ）
①小飞象拜占庭容错算法的提出突破了既有的理论与实践
②小飞象拜占庭容错算法是对蜜獾拜占庭容错算法的否定
③辩证的否定是实现拜占庭容错算法升级的基础与根本途径
④小飞象拜占庭容错算法推动科技发展、人类思维水平提高

A．①③

B．①④

C．②③

D．②④