law streebog512_split3

bend-osdev-hashes@0.1.0.0 · LAWS.bend:310

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-hashes@0.1.0.0/streebog.bend as ST

310# Streebog-512 (RFC 6986): and in three pieces
311law streebog512_split3:
312  for +a: B.Octets
313  for +b: B.Octets
314  for +c: B.Octets
315  {ST.HsStreebog.final512(ST.HsStreebog.update(ST.HsStreebog.update(ST.HsStreebog.update(ST.HsStreebog.init512(), a), b), c)) == ST.HsStreebog.digest512(B.Octets.append(a, B.Octets.append(b, c))) : B.Octets}