This repository contains specifications for OBFT Checkpointing - View it on GitHub