matter-labs-chonkybft

The specification of ChonkyBFT consensus in Quint was written by Igor Konnov and Denis Kolegov in collaboration with Bruno França, Denis Firsov, and Grzegorz Prusak. For more details, see the blogpost.