Polyx: Accelerating Verification of Traffic Migration in Large-Scale BGP Networks

作者：Rongbang Wu, Longlong Zhu, Jiashuo Yu, Dong Zhang, Hongyan Liu, Chuan Lin, Zongye Lin, Junjie Lin, Lida Liao, Xiang Chen, Chunming Wu · 年份：2025 · DOI：10.1109/iwqos65803.2025.11143513 · 研究领域：Network Traffic and Congestion Control、Software-Defined Networks and 5G、Network Security and Intrusion Detection

In BGP networks, traffic migration verification ensures the scalability and reliability of the network during configuration changes. However, previous approaches suffer from low scalability and high computational overhead. In this poster, we propose Polyx, a framework for accelerating verification of traffic migration in large-scale BGP networks. Its key idea is to leverage hardware parallelism with a deterministic serialization algorithm to enhance state machine techniques. We implement the Polyx prototype and evaluate it on our built testbed. The experimental results demonstrate that Polyx achieves up to 46× overall speedup, 36× in state machine construction, and 131× in equivalence verification with minimal FPGA resource usage.