Coq Proof Completed By Carnegie Mellon Professor Confirms Hashgraph Consensus Algorithm Is Asynchronous Byzantine Fault Tolerant.
In: PR Newswire, 2018-10-17
Zeitungsartikel
Zugriff:
Titel: |
Coq Proof Completed By Carnegie Mellon Professor Confirms Hashgraph Consensus Algorithm Is Asynchronous Byzantine Fault Tolerant.
|
---|---|
Zeitschrift: | PR Newswire, 2018-10-17 |
Veröffentlichung: | 2018 |
Medientyp: | Zeitungsartikel |
Sonstiges: |
|