The current routing protocol used in the internet backbone is based on manual configuration, making it susceptible to errors. To mitigate these configuration-related issues, it becomes imperative to validate the accuracy and convergence of the algorithm, ensuring a seamless operation devoid of problems. However, the process of network verification faces challenges related to privacy and scalability. This paper addresses these challenges by introducing a novel approach: leveraging privacy-preserving computation, specifically multiparty computation (MPC), to verify the correctness of configurations in the internet backbone, governed by the BGP protocol. Not only does our proposed solution effectively address scalability concerns, but it also establishes a robust privacy framework. Through rigorous analysis, we demonstrate that our approach maintains privacy by not disclosing any information beyond the query result, thus providing a comprehensive and secure solution to the intricacies associated with routing protocol verification in large-scale networks.

翻译：当前互联网主干网使用的路由协议基于手动配置，容易产生错误。为缓解这些配置相关的问题，必须验证算法的准确性和收敛性，确保无间断的无故障运行。然而，网络验证过程面临隐私和可扩展性方面的挑战。本文通过引入一种新颖方法来解决这些挑战：利用隐私保护计算，特别是多方计算（MPC），来验证由BGP协议控制的互联网主干网配置的正确性。我们提出的方案不仅有效解决了可扩展性问题，还建立了一个强大的隐私框架。通过严格的分析，我们证明该方法能够保持隐私性，不泄露除查询结果之外的任何信息，从而为大规模网络中路由协议验证的复杂性提供全面且安全的解决方案。