def recurrence

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha.bend:94

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha.bend as Sha

import Base

94def recurrence(+history: List<&2, U32>) -> U32:
95  (sigma1(previous(history, 2n)) + previous(history, 7n)
96    + sigma0(previous(history, 15n)) + previous(history, 16n) : U32)

Uses (6)

Used by (3)