def compress

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake2b.bend:190

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

190# RFC 7693 section 3.2: F(h, m, t, f) with twelve rounds.
191def compress(+h: T.Chain, +m: List<&2,T.Lane>, t: T.Counter, last: Bool) -> T.Chain:
192  finish(h,rounds(12n,0n,start(h,t,last),m))