Tyler和Cameron Winklevoss公开支持Zcash的形式化验证工作，以此作为解决屏蔽池漏洞的方案。此前，ZEC价格因安全漏洞恐慌出现大幅下跌。形式化验证是一种用于证明软件正确性的数学方法，可增强对Zcash隐私功能的信任。Winklevoss双胞胎以早期涉足比特币和加密交易所Gemini而闻名，他们的表态表明了对Zcash长期可行性的信心，尽管近期市场波动。他们的支持可能有助于稳定投资者情绪，同时Zcash团队正在努力实施修复并加强协议安全性。

关键事实

• Winklevoss双胞胎在安全漏洞恐慌后支持Zcash形式化验证。
• ZEC因屏蔽池漏洞担忧出现大幅下跌。
• 形式化验证旨在数学上证明软件正确性。
• 支持可能增强投资者对Zcash隐私功能的信心。

KeyAudit 数据视角