PSE 的 OpenAC 由 Microsoft/Spartan2 代码库中实现的 (Split)Spartan 证明器提供支持,并在最近的 Vega 论文中介绍。 Vega 超越了 SplitSpartan,通过使用折叠和重用证明范式,实现了对现有凭证的更快证明!