Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool - View it on GitHub