针对网络应用灵活控制路由带来的路由错误问题，该项目从路由转发表的代数结构表示入手，设计快速高效的路由验证子系统。我们发现，将路由转 发表从传统的基于规则的一维表示形式转换为基于等价类的高维表示形 式，即可将大规模网络中的海量路由转发表转换为紧致高效的等价类模型，显著降低路由验证所需的运算量。因此，申请人提出了等价类快速 转换技术。该技术通过映射—归约—二次归约，可以为海量路由转发表 快速构建等价类模型。申请人还设计了路由错误早期检测技术，在网络 设备转发表信息收集不完备的情况下，提前预警路由错误。使用多个大 规模网络生产数据集的实测表明，与美国工程院院士、德州大学奥斯汀分校教授Simon Lam提出的路由验证系统APV及世界上已知最快的路由验证系统 APKeep 相比，该系统验证速度提升多达 14000/9000 倍。