2018-10-18 02:26 |
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.
. .
Hedera Hashgraph first DLT to complete Coq formal method proof
.Similar to Notcoin - Blum - Airdrops In 2024