krypto.md: Description of input format. (#424)

* krypto.md: Description of input format.

* krypto: formatting

krypto.md

@@ -16,6 +16,8 @@ module KRYPTO
 -   `ECDSARecover` takes a 32-character byte string of a message, v, r, s of the signed message and returns the 64-character public key used to sign the message.
     See [this StackOverflow post](https://ethereum.stackexchange.com/questions/15766/what-does-v-r-s-in-eth-gettransactionbyhash-mean) for some information about v, r, and s.
 
+In all functions above, input `String` is interpreted as byte array, e.g. it is NOT hex-encoded.
+
 ```k
     syntax String ::= Keccak256 ( String )                            [function, hook(KRYPTO.keccak256)]
                     | ECDSARecover ( String , Int , String , String ) [function, hook(KRYPTO.ecdsaRecover)]