1// Proof system prover/verifier tests were removed. 2// The prover and verifier were outdated and not fully functional, 3// and these tests depended on them. 4// The implementation can be recovered from git history if needed in the future.