def iv

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake2b.bend:51

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend as T

51# RFC 7693 section 2.6: IV[i], the SHA-512 initial hash values.
52def iv(i: Nat) -> T.Lane:
53  match i:
54    case 0n: T.W{4089235720,1779033703}
55    case 1n: T.W{2227873595,3144134277}
56    case 2n: T.W{4271175723,1013904242}
57    case 3n: T.W{1595750129,2773480762}
58    case 4n: T.W{2917565137,1359893119}
59    case 5n: T.W{725511199,2600822924}
60    case 6n: T.W{4215389547,528734635}
61    case 7n: T.W{327033209,1541459225}
62    case _: T.W{0,0}