Users exiting Shielded Bitcoin can unlock Bitcoin from any available UTXO ciphertext that matches their note denomination