law compress_xor_correct

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/argon2/laws.bend:37

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend as A
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/blamka.bend as G
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend as SG

37law compress_xor_correct:
38  for +x: A.Block
39  for +y: A.Block
40  for +old: A.Block
41  {G.compress_xor(x, y, old) == SG.xor(SG.G(x, y), old) : A.Block}