Josh Swihart

AI Is Helping Discover Tech Vulnerabilities—And Zcash Is Just the Latest Example

Within days the various Zcash teams comes up with the most ironclad solution to sound encrypted money. Using formal verification, a method for mathematically proving the code outputs what it is supposed to, the Ironwood pool will have machine-checked proof of supply! Using AI in public is making Z

Unlike Zcash, the Monero supply is cryptographically auditable. https://t.co/sHCPxHgpAK

BREAKING: Introducing Ironwood, a new shielded pool for Zcash, backed by formal verification and independent audits, proposed by Zcash's core dev teams. Target activation: late July 2026.

What Happened to Zcash (Full Explanation) with @mert and @ilblackdragon Timestamps 00:00 Zcash Exploit Or Not? 00:41 ZK Circuit Risk Explained 02:32 Why ZEC Price Dropped 03:48 Zcash Sapling Pool 2019 05:22 No Infinite Mint Evidence 06:31 Formal Verification Is Solution 08:05 Project Tachyon Quant

吴说获悉，Zcash 生态核心贡献者 Zcash Open Development Lab（ZODL）宣布联合 Tachyon、Valar Group、Zcash Foundation 及 Shielded Labs 提出新的网络升级方案和隐私池 Ironwood。Ironwood 将基于现有 Orchard 协议构建，并通过形式化验证（Formal Verification）及额外独立审计进一步增强安全性。 根据方案，Orchard 中的全部 ZEC 供应量将通过“Turnstile（旋转门）”机制迁移至 Ironwood，该机制允许任何人独立验证 Zcash 流通供应量，确保流通中的 Z

RT @will__mcevoy: .@mert on Zcash's future: "The next upgrade is a formally verified, quantum-proof and more scalable shielded pool in Tac…

now when you tell the girls (or boys) you hold zcash, you can just say you have some ironwood instead incredible name

RT @cypherpunk: .@ilblackdragon on Zcash: "In the past two days, we actually had net inflow into Zcash through @near_intents. As price was…

All of you in the crypto cheap seats can keep dunking on Zcash for 'crashing' to the price six weeks ago, or you can instead learn something and spend your energy helping get your own crypto house in order for the AI & quantum risks ahead https://x.com/zmanian/status/2063070156507746722