I noticed the following problem. Despite the revocation of a credential a proof gets verified to true. I made a simple timeline which describes the events.
What semantics do the intervals and timestamps in the proof request and in the revocation states have?
I’m using ISSUANCE_ON_DEMAND for the revocation and I’m writing the delta to the ledger each time a credential has beed issued to a prover.