Bittorrent DHT used in pubky : https://github.com/pubky/mainline if you say there its right here on the github
Yes pubky uses Mainline in the same way Nostr uses ICANN rott DNS server. That is not p2p swarming etc, this is just a better DNS, the rest is HTTP And Holepunch team do NOT maintain any of this, Mainline DHT has 10s if not 100s of implementations