HORST.verify

Undocumented in source.
template HORST(uint n, uint m, alias hash_n_n, alias hash_2n_n, uint tree_height, alias prg)
@safe @nogc pure nothrow
verify_t
verify
(
in ref ubyte[msg_hash_bytes] msg_hash
,
in ubyte[] sig
,
in M[] bitmasks
)
if (
is_hash_n_n!hash_n_n &&
is_hash_2n_n!hash_2n_n
&&
is_prg!(prg, seed_bytes)
&&
n % 8 == 0
&&
m % 8 == 0
)

Meta