law lcblock64_xor

bend-osdev-crypto@0.1.0.0 · LAWS.bend:158

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
import bend-osdev-crypto@0.1.0.0/inst_lc.bend as LC

158law lcblock64_xor:
159  for a: L.LcBlock64
160  for b: L.LcBlock64
161  {LC.CrBlk64.xor(LC.CrBlk64.xor(a, b), b) == a : L.LcBlock64}