'Zerolink' - to me, Coinjoin is not in the same category of protocols as zero knowledge proofs, as that name is trying to suggest.

You can make structures with guaranteed properties in isolation, sure, but taking the context into account it's not so simple what they actually achieve.

But anyway I defer you to the 20 or 30 talks and podcasts and blogs I've done on these topics. People generally aren't that interested in nuanced takes though, they want strong and clear answers, I don't have them.