crypto_data_hash(Cs, Hs, Options) is true iff Hs is
a list of characters '0','1',...'9',a,b,c,d,e,f denoting the Base16-encoding of
a cryptographic hash of the characters Cs, taking into account
the list Options of crypto_data_hash-options. Direct
unification of Hs with a computed result may leak information about
the expected hash or HMAC.
Options:
algorithm(A) A, either
a variable or one of sha256, sha384,
or sha512. If A is a variable, then an
implementation-dependent algorithm I is used,
and A is unified with I.
encoding(E) E to use for
interpreting each character of Cs as a sequence of bytes,
either utf8 for UTF-8 encoding,
or octet to use the character code of each
character as byte value.
hmac(Bs) Hs is a hash-based message
authentication code (HMAC) of Cs, using the list
of bytes Bs as key. The construction is
specified in RFC 2104.
crypto_data_hash(+character_list, -character_list, +crypto_data_hash_options_list)
Cs is a partial list or a list with an element E which is a variable
instantiation_error.
Options is a partial list or has a list prefix with an element
E which is a variable
instantiation_error.
Cs is neither a list nor a partial list.
type_error(list, Cs).
Cs is a ground list with an element E which is not a character
type_error(character, E).
Options is neither a partial list nor a list
type_error(list, Options).
Options is a list with an element E
which is neither a variable nor a valid option
domain_error(crypto_data_hash_option, E).
Hs is neither a list nor a partial list.
type_error(list, Hs).
Hs has a list prefix with an element E which is not a character
type_error(character, E).
?- crypto_data_hash("test", Hs, [algorithm(sha256)]).
Hs = "9f86d081884c7d659a2feaa0c55ad015a3bf4f1b2b0b822cd15d6c15b0f00a08".
hmac/1 option as later addition
encoding/1 and hmac/1 options as later additions
Options of crypto_data_hash-options.
d90 1
a90 1
algorithm(A) Use hash algorithm A, either
d95 2
a96 3
encoding(E) Encoding E to use for
d101 5
a105 11
hmac(Bs) Hs is a hash-based message
authentication code (HMAC) of Cs, using the list
of bytes Bs as key. The construction is
specified in RFC 2104.Hs with a
computed result may leak information about the expected hash or
HMAC.
@
1.6
log
@*** empty log message ***
@
text
@d93 2
a94 1
d100 2
a101 1
a106 1
@
1.5
log
@*** empty log message ***
@
text
@d92 1
a92 1
and A is unified with I.
d95 15
a109 2
interpreting Cs as bytes,
either utf8 or octet.
d114 1
a114 1
crypto_data_hash(+character_list, -character_list, +crypto_data_hash_options_list).
d124 1
a124 1
Options is a partial list or a list with an element
d133 1
a133 1
Cs is a ground list that contains an element E which is not a character
d141 2
a142 2
E of the Options list is neither a
variable nor a valid option
d150 4
d165 8
@
1.4
log
@*** empty log message ***
@
text
@a77 5
crypto_data_hash(Cs, Hs, Options) is true if Hs is the
cryptographic hash of the characters Cs.
More precisely,
d80 1
a80 1
the cryptographic hash of the characters Cs, taking into account
@
1.3
log
@*** empty log message ***
@
text
@d79 1
a79 1
cryptographic hash of the characters Cs.
d85 2
a86 2
the cryptographic hash of the characters Cs, taking into account
Options.
d106 1
a106 1
crypto_data_hash(+character_list, -character_list, +options_list).
@
1.2
log
@*** empty log message ***
@
text
@d121 1
a121 1
Cs is neither a list nor partial list.
d138 1
a138 1
Hs is neither a list nor partial list.
@
1.1
log
@Initial revision
@
text
@d106 1
a106 1
crypto_data_hash(+list, -list, +options_list).
d112 1
a112 1
Cs is not ground
d121 1
a121 1
Cs is ground and not a list.
d136 5
a140 1
domain_error(crypto_data_hash_option, E).
@