def recurrence

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha512.bend:205

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

205# W[t] = sigma1(W[t-2]) + W[t-7] + sigma0(W[t-15]) + W[t-16]
206def recurrence(+history: List<&2, T.Lane>) -> T.Lane:
207  add(add(add(sigma1(previous(history, 2n)), previous(history, 7n)),
208    sigma0(previous(history, 15n))), previous(history, 16n))