OpenAC от PSE работает на основе (Split)Spartan доказателя, реализованного в кодовой базе Microsoft/Spartan2 и представленном в недавней статье Vega. Vega выходит за рамки SplitSpartan, чтобы достичь еще более быстрых доказательств существующих учетных данных, используя парадигму доказательства fold-and-reuse!