L'OpenAC de PSE est alimenté par le prouveur (Split)Spartan implémenté dans la base de code Microsoft/Spartan2 et introduit dans le récent article Vega. Vega va au-delà de SplitSpartan pour obtenir des preuves encore plus rapides des credentials existants en utilisant le paradigme de preuve fold-and-reuse !