Common Contracts

2 similar Formalization of Nakamoto Consensus contracts

Agreement with Satoshi – On the Formalization of Nakamoto Consensus
Formalization of Nakamoto Consensus • May 1st, 2018

informally outline the persistence and liveness properties that are shown to hold if f < n . Persistence ensures that once a

Agreement with Satoshi – On the Formalization of Nakamoto Consensus
Formalization of Nakamoto Consensus • May 1st, 2018

informally outline the persistence and liveness properties that are shown to hold if f < n . Persistence ensures that once a