def G
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend as Blamkaimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend as A
211# G(X, Y) = Z XOR R, where R = X XOR Y, Q = P on the rows of R and Z = P on
212# the columns of Q (RFC 9106 section 3.5).
213def G(x: A.Block, y: A.Block) -> A.Block:
214 +r = xor(x, y)
215 xor(cols(rows(r)), r)
Uses (4)
Used by (9)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/blamka:compress_correct
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/argon2:store
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/argon2:addresses
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/blamka:compress_xor_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/index:addresses_eq
- …