bend-osdev-cipher-core

Search uses release 0.1.0.0 · 148 definitions

Releases (1)

type LcErrorEvery failure the package reports
type LcBlock64A 64-bit block: two 32-bit words, big-endian (hi holds bytes 0 to 3, byte 0 in its top 8 bits).
def LcBlock64.zero
def LcBlock64.xor
def lc.rotl
def lc.bytebyte n of x, counting from the least significant (n = 0 to 3)
def lc.bethe word with bytes a (most significant), b, c, d
def lc.lethe word with bytes a (least significant), b, c, d
def lc.bitbit i of x (0 the least significant), as 0 or 1
def lc.atelement n of a list of words (0 past the end)
def lc.wrotlthe (m + n)-bit word w rotated left by n
def lc.rotl1.bits
def lc.rotl3.bits
def lc.rotl5.bits
def lc.rotl7.bits
def lc.rotl10.bits
def lc.rotl13.bits
def lc.rotl19.bits
def lc.rotl22.bits
def lc.rotl25.bits
def lc.rotl27.bits
def lc.rotl29.bits
def lc.rotl31.bits
def lc.bits8the low 8 bits of a word, as bits, and the byte with these bits
def lc.of8
def lc.be.bitsthe word with bytes a (most significant), b, c, d, by bits
def lc.b0.bitsthe bytes of w, by bits: b0 the most significant
def lc.b1.bits
def lc.b2.bits
def lc.b3.bits
def lc.bswap.bitsthe word with its bytes in reverse order (big-endian to little-endian)
def lc.msb.gothe bits of a word, most significant first, in front of acc
def lc.msb
def lc.rev_bitsbs reversed, in front of acc
def lc.drop_bitsall but the first n of bs
def lc.word_lsbthe n-bit word whose bits, least significant first, are the first n of bs (False past the end)
def lc.nththe element i of bs (False past the end)

law block64_octets_round_trip64-bit blocks as bytes: a block read back from its 8 bytes is itself, 8 bytes read as a block are written back as those bytes, and a list of blocks read back from its bytes is itself
law block64_octets_dual
law blocks64_octets_round_trip
law word_xor_cancelXOR undone, for every word of any width, every 32-bit word and every 64-bit block
law u32_xor_cancel
law block64_xor_cancel
law rotl1_rotl31the rotations by 1 and 31 bits on bits undo each other, and the byte swap on bits undoes itself, for every word
law rotl31_rotl1
law bswap_bswap
law feistel_unrun_runFeistel rounds over any round function f and any round keys: the rounds undone last to first undo the rounds, and the other way round
law feistel_run_unrun
law modes64_ecb_blocksThe 64-bit modes over any cipher: decryption after encryption on blocks is the structural forms' (X.m64.ecb, X.m64.cbc.enc, X.m64.cbc.dec), over which a cipher's own round trip proves the mode's by induction; and on bytes, for the bytes of a list of blocks under the bytes of an IV, it is the block layer's
law modes64_cbc_blocks
law modes64_ecb_octets
law modes64_cbc_octets
law modes64_not_whole_blocksthe 64-bit modes refuse a message that is not whole blocks

def bool_xx
def word_xx
def u32_xx
def rot_1_31
def rot_31_1
def bswap2
def blk_bytesa 64-bit block's bytes, masked and read back
def blk8
def fe_unstep_step
def fe_step_unstep
def fe_unrun_run
def fe_run_unrun
def b64.mgeta block read from 8 bytes is written back as those bytes (on their bits, and then off a list of any length)
def b64.mdisc
def b64.nsome
def b64.dbitsa block's bytes read from 8 bytes are those bytes (on their bits)
def b64.dualLa block read from a list of bytes is written back as those bytes
def b64.dual
def m64_joinsthe bytes of the blocks bs in front of ys, structurally
def m64_join_rev
def m64_split_joins
def bool_xx2
def word_xx2
def u32_xx2
def b64_xx2
def ecb_ref
def cbc_enc_ref
def cbc_dec_ref
def cbc_enc_ok
def cbc_dec_ok
def ecb_enc_ok
def ecb_dec_ok