Owner: @Alexander Mozeika @David Rusu

The analysis here is related to the document. Some preliminary results are available in the document. The details of analysis are provided in the overleaf document.

Review the literature and various online materials

Videos

• Ouroboros Genesis: A Provably Secure Proof-of-Stake Blockchain Protocol
  • Main difference from previous versions is that it introduces a new chain selection rule which allows nodes joining the network only to use genesis block.
  • A detailed discussion of mapping between the forks and tree structures, mapped to characteristic strings, used in the analysis of protocol.
• Ouroboros Crypsinous Privacy Preserving Proof of Stake

Articles

Summary of “Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol”

• Main result (”persistence” and “liveness”)

• Transaction Ledger Properties:

• Above is equivalent to the following three properties:

• Analysis of “Covert adversaries”

• The results below suggest that when longest chain rule is used the prob. of success of covert attack is very small.