Blake2b.round: 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 155-164 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=155&end_line=164

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

# RFC 7693 section 3.2, one round of F with schedule s = SIGMA[i mod 10].
def round(v: T.State, +m: List<&2,T.Lane>, +s: List<&2,Nat>) -> T.State:
  v = G(v,0n,4n,8n,12n,word(m,s,0n),word(m,s,1n))
  v = G(v,1n,5n,9n,13n,word(m,s,2n),word(m,s,3n))
  v = G(v,2n,6n,10n,14n,word(m,s,4n),word(m,s,5n))
  v = G(v,3n,7n,11n,15n,word(m,s,6n),word(m,s,7n))
  v = G(v,0n,5n,10n,15n,word(m,s,8n),word(m,s,9n))
  v = G(v,1n,6n,11n,12n,word(m,s,10n),word(m,s,11n))
  v = G(v,2n,7n,8n,13n,word(m,s,12n),word(m,s,13n))
  G(v,3n,4n,9n,14n,word(m,s,14n),word(m,s,15n))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/spec/crypto/blake/blake2b.bend&name=G
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake2b.bend&name=word
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend&name=Lane
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend&name=State