fix equals & hashCode on prover config