title_body: What is the exact implementation of proof of stake in Cardano? I have a rough idea of what proof of stake does. However, I'd like the exact implementation (not the code) but a high-level description with hopefully some actual number, e.g. how many pools verify the transactions for each block, how is the consensus achieved, etc. If anyone knows or can send a resource with that information, it would be appreciated.
upvoted_answer: You might want start by checking out the documentation library. Go here and search on page for &quot;Ouroboros&quot;.