Ivy Proofs for splitBFT
Proof is based on a proof of PBFT by Guiliano Losa, available at https://doi.org/10.5281/zenodo.2577103.
Ivy Proofs for splitBFT
Proof is based on a proof of PBFT by Guiliano Losa, available at https://doi.org/10.5281/zenodo.2577103.