This link:
has portions of the Mimir B2i Bridge Whitepaper from a version that carried technical maths. This is by no means a complete write-up, but it does demonstrate how to use N choose K to form probabilities around sub group membership for Sybil attacks. It also describes what was a valid model under the Mimir Bridge assumptions for stake requirements. Hope it helps you guys out!