Probabilistic solitude verification on a ring | Synapse