A post was merged into an existing topic: Ironwood: Verifying the Soundness of Zcash’s Circulating Supply