Tyler and Cameron Winklevoss have publicly endorsed Zcash's formal verification efforts as a solution to address bugs in the shielded pool, following a sharp selloff in ZEC. The endorsement comes after a security bug scare that raised concerns about the privacy coin's robustness. Formal verification is a mathematical method used to prove the correctness of software, which could enhance trust in Zcash's privacy features. The Winklevoss twins, known for their early involvement in Bitcoin and crypto exchange Gemini, signaled confidence in Zcash's long-term viability despite recent market volatility. Their backing may help stabilize investor sentiment as the Zcash team works to implement fixes and strengthen the protocol's security.

Key facts

• Winklevoss twins back Zcash formal verification after security bug scare.
• ZEC experienced sharp selloff due to shielded pool bug concerns.
• Formal verification aims to mathematically prove software correctness.
• Endorsement may boost investor confidence in Zcash's privacy features.

KeyAudit data perspective