bend-osdev-mode-core

Releases (1)

• 0.1.0.0 indexed

Definitions (151)

mode_core.bend

• type CmBlock
• type CmErrorEvery failure a mode can report
• def CmBlock.zero
• def CmBlock.xor
• def CmBlock.dec_encEach block of xs encrypted under k and decrypted again: xs itself for every list exactly where decryption undoes encryption at k, which is how the round-trip laws (LAWS.bend) take that property of the cipher
• def cm.bytea byte (the low 8 bits of x), as bend-osdev-bytes masks it
• def cm.bits8
• def cm.of8
• def cm.wordthe word with bytes a, b, c, d, most significant first
• def cm.b0the bytes of w, most significant first
• def cm.b1
• def cm.b2
• def cm.b3
• def cm.unwordthe four bytes of w, most significant first, in front of rest
• def cm.w0
• def cm.w1
• def cm.w2
• def cm.w3
• def cm.bytes_ontothe 16 bytes of a block in front of rest (always 16 cells, whatever b is)
• def cm.bytes_of
• def cm.block16
• def cm.block_of.full
• def cm.block_ofthe block of the first 16 bytes of xs, zero-filled if xs is shorter
• type CmSplitA byte string as its whole blocks and the 0 to 15 bytes after them
• def cm.split.cons
• def cm.split
• def cm.split.blocks
• def cm.split.tail
• def cm.join_ontothe bytes of the blocks bs, in front of rest
• def cm.join
• def cm.xor_bytesbyte-wise XOR, as long as the shorter list
• def cm.blocks.rev_ontothe blocks of bs in reverse order, in front of acc
• def cm.blocks.len.go
• def cm.blocks.lenthe number of blocks (List.length)
• def cm.blocks.appendxs, then ys (List.append)
• def cm.split.gothe blocks split so far are kept reversed in acc (cm.split)
• def cm.split.fast
• def cm.join.gothe bytes of the blocks rs (last first) in front of acc
• def cm.join_onto.fastcm.join_onto
• def cm.xor_bytes.go
• def cm.xor_bytes.fastcm.xor_bytes
• def cm.diff
• def cm.ct_eqequality of two byte lists with no early exit of the same length (a tag check)
• def cm.mask0 for a 0 bit, all ones for a 1 bit (the low bit of b)
• def cm.check
• def cm.need_block.picka 16-byte value as a block, or the error e
• def cm.need_block
• def CmBlock.to_octets
• def CmBlock.of_octets.pick
• def CmBlock.of_octetsa 16-byte string as a block; None for any other length
• def CmBlock.hex