law fcrypt_spec

bend-osdev-legacy-ciphers@0.1.0.0 · LAWS.bend:322

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
import bend-osdev-legacy-ciphers@0.1.0.0/fcrypt.bend as FC

322# the FCrypt specification's second vector: key 114477AADD003366,
323# plaintext 123456789ABCDEF0, ciphertext D8ED787477EC0680
324law fcrypt_spec:
325  {Result.map(&2, &2, L.LcError, FC.LcFcryptKey, L.LcBlock64, k => FC.LcFcrypt.encrypt(k, L.LcBlock64{305419896, 2596069104}), FC.LcFcrypt.key(B.Octets.of_list([17, 68, 119, 170, 221, 0, 51, 102]))) == Done{L.LcBlock64{3639441524, 2011956864}} : Result<&2, &2, L.LcError, L.LcBlock64>}