In a Nakamoto-style proof-of-stake consensus protocol like Ouroboros Praos, the staking procedure's property of independent aggregation uniquely determines the staking threshold and simplifies security analysis by ensuring that malicious actors gain no advantage from splitting resources into multiple accounts, making the protocol's behavior analyzable as a Markov chain with computable transition probabilities