On Sustainable Ring-based Anonymous Systems

“the algorithm proposed in this section can detect surely-used accounts regardless of how the rings are sampled. In what follows we call this algorithm a garbage collector.”

...(truncated)

I’m getting a little lost in the math of this paper. My understanding so far is that the authors identified the TXO model of monero as “unsustainable” and propose a garbage collector to identify “surely used accounts”. The authors go on to suggest that this wont impact anonymity “partitioning samplers have been shown [Ron+21] to achieve near-optimal anonymity”.