01▲Formal Verification of Zcash Ironwood Completed — Project Tachyon tachyon.z.cash Lean proof now covers Zcash Ironwood’s shielded pool, so undetectable counterfeits are off the table, in theory.balance-integrityblockchainfiat-shamirformal-verificationhashknowledge-soundnessledgersignaturessnarkzkzkmesh0 pts/nonce23/11 days ago/discuss