PSE 的 OpenAC 由 Microsoft/Spartan2 代碼庫中實現的 (Split)Spartan 證明器提供支持,並在最近的 Vega 論文中介紹。 Vega 超越了 SplitSpartan,通過使用折疊和重用證明範式來實現對現有憑證的更快證明!