law cast5_rfc2144

bend-osdev-cast5@0.1.0.0 · LAWS.bend:24

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as L
import bend-osdev-cast5@0.1.0.0/cast5.bend as C5

24# BEGIN GENERATED by gen/vectors.py: vectors
25# RFC 2144, Appendix B.1: CAST-128 with the 128-bit key
26# 0123456712345678234567893456789A, plaintext 0123456789ABCDEF, ciphertext
27# 238B4FE5847E44B2
28law cast5_rfc2144:
29  {Result.map(&2, &2, L.LcError, C5.LcCast5Key, L.LcBlock64, k => C5.LcCast5.encrypt(k, L.LcBlock64{19088743, 2309737967}), C5.LcCast5.key(B.Octets.of_list([1, 35, 69, 103, 18, 52, 86, 120, 35, 69, 103, 137, 52, 86, 120, 154]))) == Done{L.LcBlock64{596332517, 2222867634}} : Result<&2, &2, L.LcError, L.LcBlock64>}