%
% - `encoding(+Encoding)`
% The default encoding is `utf8`. The alternative is `octet`, to
-% treat the input as a list of raw bytes.
+% use the character code of each character in Data as a byte
+% value.
%
% - `hmac(+Key)`
% Compute a hash-based message authentication code (HMAC) using
% default is all zeroes.
% - `encoding(+Encoding)`
% The default encoding is `utf8`. The alternative is `octet`,
-% to treat the input as a list of raw bytes.
+% to use the character code of each character in Data as a byte
+% value.
%
% The `info/1` option can be used to generate multiple keys from a
% single master key, using for example values such as "key" and
% Options:
%
% - `encoding(+Encoding)`
-% Encoding to use for PlainText. Default is utf8. The alternative
-% is octet to treat PlainText as raw bytes.
+% Encoding to use for PlainText. The default is `utf8`. The
+% alternative is `octet`, to use the character code of each
+% character in PlainText as a byte value.
%
% - `tag(-List)`
% For authenticated encryption schemes, List is unified with a
% Options is a list of:
%
% - `encoding(+Encoding)`
-% Encoding to use for PlainText. The default is utf8. The
-% alternative is octet, which is used if the data are raw bytes.
+% Encoding to use for PlainText. The default is `utf8`. The
+% alternative is `octet`, to obtain a list of characters where each
+% character code corresponds to a decrypted octet of CipherText.
%
% - `tag(+Tag)`
% For authenticated encryption schemes, the tag must be specified as
%
% - `encoding(+Encoding)`
% The default encoding of Data is `utf8`. The alternative is `octet`,
-% which treats Data as a list of raw bytes.
+% to use the character code of each character in Data as a byte
+% value.
ed25519_verify(Key, Data0, Signature0, Options) :-
must_be_octet_chars(Key, ed25519_verify/4),