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