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...

Hedera Hashgraph first DLT to complete Coq formal method proof

What feeling does this article give you?
Joy
Disgust
Fear
Anger
Sadness

#hashtags to follow:

Hedera Hashgraph [+]    Byzantine Fault Tolerant [+]    Coq [+]    DLT [+]   

More #news: