Knowledge Base Contents: QBFT comparison to IBFT Review of the QBFT formal spec from Roberto Saltini SSV protocol specification