Another possible solution for addressing “Approving invalid blocks”-problem is to rotate validators (say N) for a shard every X blocks, and a shard’s state becomes finalized only if yN validators (e.g., y=3) have worked on this shard. This, of course, trades-off security with instant-finality.