The chance to be the leader of a slot is
Active Stake / Total Staked ADA
I’d like to find out where to get a correct info about total staked ADA.
I think that AdaPools also inclue stake which is delegated to retired pools. But actually those do not have a chance to win a slot so would need to be removed from this number. Is this a correct assumption?
There is also stake in oversaturated pools. But those still get the same chance for a slot. So i think i should not remove this.
After all where do i get a valid number of Total Active stake which participates in the slot lottery?