def main

bend-osdev-cipher-core@0.1.0.0 · check.bend:80

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-cipher-core@0.1.0.0/modes64.bend as X

80def main() -> IO(Unit):
81  do IO<Unit>:
82    IO.print(L.LcBlock64.hex(toy_key()))
83    IO.print(B.Octets.hex(L.LcBlock64.to_octets(toy_key())))
84    IO.print(show_some(L.LcBlock64.of_octets(L.LcBlock64.to_octets(toy_key()))))
85    IO.print(show_some(L.LcBlock64.of_octets(B.Octets.zeros(7n))))
86    IO.print(L.LcBlock64.hex(L.LcBlock64.xor(toy_key(), L.LcBlock64{4294967295, 0})))
87    IO.print(word(L.lc.bswap.bits(16909060)) ++ " " ++ word(L.lc.rotl1.bits(2147483649)) ++ " " ++ word(L.lc.rotl(2147483649, 1n)) ++ " " ++ word(L.lc.rotl31.bits(3)))
88    IO.print(word(L.lc.be(1, 2, 3, 4)) ++ " " ++ word(L.lc.le(1, 2, 3, 4)) ++ " " ++ word(L.lc.byte(16909060, 3n)))
89    IO.print(tab())
90    IO.print(feistel(L.LcBlock64{305419896, 2596069104}))
91    IO.print(show_blocks(X.Lc64.blocks_of(msg())))
92    IO.print(ecb(msg()))
93    IO.print(cbc(iv(), msg()))
94    IO.print(cbc(B.Octets.zeros(7n), msg()))
95    IO.print(ecb(B.Octets.zeros(9n)))