def hs.rmd.step

bend-osdev-hashes@0.1.0.0 · ripemd160.bend:33

import Base
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs

33# one step: ((a + f + X[r] + K) <<< s) + e
34def hs.rmd.step(a: U32, f: U32, x: U32, k: U32, +s: Nat, e: U32) -> U32:
35  U32.add(Hs.hs.rotl(U32.add(U32.add(a, f), U32.add(x, k)), s), e)