OpenAC của PSE được hỗ trợ bởi trình chứng (Split)Spartan được triển khai trong mã nguồn Microsoft/Spartan2 và được giới thiệu trong bài báo Vega gần đây. Vega vượt xa SplitSpartan để đạt được các chứng minh nhanh hơn cho các chứng chỉ hiện có bằng cách sử dụng mô hình chứng minh gập và tái sử dụng!