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