LATEST: 🔒 Three teams of cryptographers spent over a month producing 2,700+ machine-checked theorems to formally verify Ironwood, Zcash’s new shielded pool, and rule out undetectable counterfeiting bugs. https://t.co/u1uwuDzAYC ...