共享秘密：分布式隐私保护监控

在传统的运行时验证中，系统通常由单一监控器观察。为确保隐私，这种设置下的计算成本高昂，因为需要重型加密原语。因此，隐私保护监控在实际时序应用中仍不实用。本文通过将监控器分布到多个参与方（至少有一个诚实方）来解决此可扩展性挑战。这种架构允许使用高效秘密共享方案，而非计算密集型加密，显著降低开销，同时保持强隐私保证。虽然现有秘密共享方法通常仅限于一次性执行，无法维持内部状态，但我们引入了针对持续监控的协议，支持对保持状态（对系统和监控实体保密）的反复评估。我们采用 MP-SPDZ 框架实现了该方法。实验结果表明，在这些架构假设下，我们的协议在可扩展性方面显著优于现有方案。