One downside of a verify that returns a bool is that you can forget to call it. One way to mitigate this (until we get Linear Haskell 😄) is to fuse deserialization of the message with verification, something like

[arianvp]

One downside of a verify that returns a bool is that you can forget to call it. One way to mitigate this (until we get Linear Haskell 😄) is to fuse deserialization of the message with verification, something like

verifyAndDecode :: PublicKey -> Message ByteString -> Signature -> Maybe DecodedMessage

is there a sensible decode operation for the message to do this with?

A different option would be to return some kind of validity token of which the constructor is not exposed, and to have remaining functions take such a token as input.

Originally posted by @ruuda in #23