def cam_white

bend-osdev-legacy-ciphers@0.1.0.0 · PROOF.bend:301

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
import bend-osdev-legacy-ciphers@0.1.0.0/camellia.bend as C

301def cam_white(a: L.LcBlock64, b: L.LcBlock64, +s: M.CmBlock) -> {s == C.cam.white(a, b, C.cam.white(a, b, s)) : M.CmBlock}:
302  match a b:
303    case L.LcBlock64{+a0, +a1} L.LcBlock64{+b0, +b1}:
304      block_xx(s, M.CmBlock{a0, a1, b0, b1})