PSE's OpenAC je poháněn (Split)Spartan proverem implementovaným v kódu Microsoft/Spartan2 a představeným v nedávném článku Vega. Vega jde dál než SplitSpartan, aby dosáhla ještě rychlejších důkazů existujících údajů pomocí paradigmatu skládání a opětovného použití!