Новости о Proof Hashgraph | |
Hedera Hashgraph Becomes the First Blockchain Tech to be Coq Verified
Hedera Hashgraph in a next-gen public ledger that has diversified governance. It recently announced that the hashgraph consensus algorithm had been validated as being asynchronous Byzantine Fault Tolerant. дальше »
2018-10-21 03:42 | |
|
Hedera Hashgraph first DLT to complete Coq formal method proof
CryptoNinjas Hedera Hashgraph, a next-generation distributed public ledger with highly diversified governance, today announced that the hashgraph consensus algorithm has been validated as asynchronous Byzantine Fault Tolerant (aBFT) by a math proof checked by computer using the Coq. дальше »
2018-10-18 02:26 | |
|
|