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 - TapSwap on Solana Airdrops In 2024
Agrello (DLT) на Currencies.ru
$ 0.0004127 (+1.13% )
Объем 24H $0
Изменеия 24h: 0.70 % , 7d: -5.71 %
Cегодня L: $0.0004127 - H: $0.0004204
Капитализация $0 Rank 7550
Цена в час новости $ 0.0900462 (-99.54% )
|
