Extension to the protocol so that it requires only bounded storage in the unreliable network model, without adopting any additional network assumptions. More at amiller/HoneyBadgerBFT#57.