Blake2b.iv: def of bend-collections-laws-crypto@1.0.0.0
Import: import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake2b.bend as Blake2b
Lines 51-62 of bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake2b.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake2b.bend&start_line=51&end_line=62

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

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend&name=Lane