Decryption encCiphertext

Hi! At 4.16.2 of this document, I see the decryption is executed after Bob receives a coin from Alice, which means that coin has been verified, so what happens if the decryption function returns false? That coin will not be used by both Alice and Bob?

1 Like