O OpenAC da PSE é alimentado pelo provador (Split)Spartan implementado na base de código Microsoft/Spartan2 e introduzido no recente artigo Vega. O Vega vai além do SplitSpartan para alcançar provas ainda mais rápidas de credenciais existentes, utilizando o paradigma de prova de dobrar e reutilizar!