Share Facebook Twitter LinkedIn Pinterest Email The Winklevoss twins are backing Zcash with formal verification, following a recent security bug scare that impacted the cryptocurrency.