Formal Methods: The Importance of Being ABFT in a World with Bad Actors

Hedera Hashgraph Announces Winners Of Global Hackathon And Hedera MVPs

Coq Proof Completed By Carnegie Mellon Professor Confirms Hashgraph Consensus Algorithm Is Asynchronous Byzantine…

HEDERA HASHGRAPH RELEASES OPEN SOURCE SDK

Java-Based SDK Now Available for Download

Introducing Hashgraph.org

A “centralized” community resource for a decentralized future

We are extremely excited about publicly launching Hashgraph.org, sponsored by Hedera Hashgraph. The idea for this initiative was brought about by the…