Good blog. One correction, Shardeum uses Proof of Quorum (PoQ) and Proof of Stake (PoS) consensus algorithm that is even superior to BFT security level with its leaderless validators and node rotations.

good blog with anchor links. One correction - Shardeum uses Proof of Quorum and Proof of Stake consensus algorithms which is not necessarily restricted to a BFT level security. It is probably as good as an aBFT level + other key features like constant node rotation

Good descriptive blog. Good job!