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
. origin »Agrello (DLT) на Currencies.ru
![]() ![]() ![]() ![]() ![]() ![]() |