Cryptographic techniques like stealth addresses and ring signatures fail the formal security game of ledger indistinguishability