https://en.wikipedia.org/wiki/Proof-of-stake is missing any mention of Cardano and ouroboros
None of the academia-sourced protocols Charles mentioned are there. The other two he referenced are Algorand and Snow White, the page describes only “industrial” protocols aren’t proven to be secure.