Hello, on the Algorand website there is some mention of Immediate Transaction Finality. Most salient is this sentence: "At most, one block is certified and written to the chain in a given round.". The page is explicit that "in the event of a network partition in Algorand, the adversary is never able to convince two honest users to accept two different blocks for the same round" -- this is a vital distinction that Algorand has over other blockchains I think.
But I would like to understand how this is achieved. Is it the case that each block has the same number of validators, regardless of how large the network grows? That would explain it, but I don't know how you would have a fixed number of validators in a network of varying size.
Can someone please explain how Immediate Transaction Finality and the impossibility-of-forking as achieved in Algorand? Or please link me to some additional reading I can do? Perhaps it is explained in the developer docs or something.