OpenAC de la PSE este alimentat de proverul (Split)Spartan implementat în codul Microsoft/Spartan2 și introdus în recentul articol Vega. Vega merge dincolo de SplitSpartan pentru a obține dovezi și mai rapide ale acreditărilor existente, folosind paradigma de demonstrare fold-and-reuse!