progress on revoking proofs