يعمل OpenAC الخاص ب PSE بواسطة جهاز (Split)Spartan prover المطبق في قاعدة شيفرة Microsoft/Spartan2 وتم تقديمه في ورقة Vega الأخيرة. تتجاوز فيغا SplitSpartan لتحقيق إثباتات أسرع للمؤهلات الموجودة باستخدام نموذج إثبات الطي وإعادة الاستخدام!