def GBw

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/blamka.bend:48

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

48# (v_a, v_b, v_c, v_d) <- GB(v_a, v_b, v_c, v_d)
49def GBw(+w: T.State, +a: Nat, +b: Nat, +c: Nat, +d: Nat) -> T.State:
50  apply(w, a, b, c, d, GB(B.at(w, a), B.at(w, b), B.at(w, c), B.at(w, d)))