Lean proof now covers Zcash Ironwood’s shielded pool, so undetectable counterfeits are off the table, in theory.