Either the spec changed since I last checked or I confused it with something else, you're right. They're basically using CRLs. For unlinkability, I think the p

Either the spec changed since I last checked or I confused it with something else, you're right. They're basically using CRLs. For unlinkability, I think the plan is to essentially issue single use IDs/"certificates", but it's not implemented in the Beta.