The deck is a work in progress and is likely best accompanied with additional notes. Regardless, I thought some people may find it interesting. Note the SMR implementations there are toy implementations for the sake of brevity (and the QSBR implementation was designed to be purely snapshot-based to help people reason through the concept of grace periods).