Pav: a formally verified Key Transparency system WIP proof: https://github.com/sanjit-bhat/pav-proof. More details to come...