Dev explains why Zcash is meaningfully different today because of Ironwood’s quantum recoverability and formal verification
“I think it's meaningfully different to be a Zcash user today than literally six weeks ago”
“Quantum recoverability and formal verification with Ironwood means that you can just get funds in Ironwood and go away for a decade and know your money's still safe”
“A quantum computer can't steal it because the pool will get frozen and you can still move your funds out after the fact”
“That's what quantum recoverability is and you know there's no undetectable bug left. That's what formal verification proves”