Hedera Hashgraph first DLT to complete Coq formal method proof

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

origin »

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%)

hashgraph coq hedera proof formal method dlt