The Delta Foundation for P2P Distributed Systems Engineering

Correctness analysis of IBFT