[tgsovlerkhgsel]

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.