PSE:n OpenAC saa voimansa (Split)Spartan-todistajalla, joka on toteutettu Microsoft/Spartan2-koodipohjassa ja esiteltiin tuoreessa Vega-artikkelissa. Vega menee SplitSpartanin pidemmälle saavuttaakseen entistä nopeamman todistuksen olemassa olevista pätevyyksistä käyttämällä fold-and-reuse -todistusparadigmaa!