This repository has been archived by the owner on Feb 5, 2022. It is now read-only.

Formally prove the forwarding–broadcasting network equivalence for Ouroboros BFT#196

Merged

jeltsch merged 1 commit intomasterfrom enhancement/obft-forwarding-broadcasting-equivalence

Jan 23, 2022

+65-29

Commits on Apr 29, 2020

Initial implementation
javierdiaz72
committed