Reusable Formal Verification of DAG-based Consensus Protocols

Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin +2

Blockchains use consensus protocols to reach agreement, e.g., on the ordering of transactions. DAG-based consensus protocols are increasingly adopted by blockchain companies to red…