def compress
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/blamka.bend as Blamkaimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend as A
170def compress(x: A.Block, y: A.Block) -> A.Block:
171 fin(xor(x,y))
Uses (3)
Used by (8)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/argon2/blamka:compress_correct
- bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/blamka:compress_xor
- bend-collections-laws-crypto@1.0.0.0/src/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
- …