law bits_xor

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/subtle/word.bend:84

import Base

84law bits_xor:
85  for +k: Bool
86  for +x: Bool
87  for +y: Bool
88  {Bool.and(k, Cmp.is_eq(Bool.cmp(Bool.xor(x, y), False{}))) == Bool.and(k, Cmp.is_eq(Bool.cmp(x, y))) : Bool}