PSEs OpenAC wird von dem (Split)Spartan-Prover betrieben, der im Microsoft/Spartan2-Codebasis implementiert ist und im aktuellen Vega-Papier vorgestellt wurde. Vega geht über SplitSpartan hinaus, um noch schnellere Nachweise bestehender Berechtigungen zu erzielen, indem das Fold-and-Reuse-Proving-Paradigma verwendet wird!