Technically they also use a federated protocol called Authenticated Transfer (AT). Though overall from what I can tell they’re not doing well, Threads has over 100 million users and Mastadon has over 10 million, while Bluesky only has a bit over 300,000.