def lc.block_bytes

bend-osdev-cipher-core@0.1.0.0 · cipher_core.bend:364

import Base

364# the 8 bytes of a block in front of rest
365def lc.block_bytes(b: LcBlock64, rest: List<&2, U32>) -> List<&2, U32>:
366  match b:
367    case LcBlock64{+hi, +lo}:
368      Con{lc.b0.bits(hi), Con{lc.b1.bits(hi), Con{lc.b2.bits(hi), Con{lc.b3.bits(hi), Con{lc.b0.bits(lo), Con{lc.b1.bits(lo), Con{lc.b2.bits(lo), Con{lc.b3.bits(lo), rest}}}}}}}}