def lc.block_bytes

bend-osdev-legacy-ciphers@0.1.0.0 · legacy_ciphers.bend:367

import Base

367# the 8 bytes of a block in front of rest
368def lc.block_bytes(b: LcBlock64, rest: List<&2, U32>) -> List<&2, U32>:
369  match b:
370    case LcBlock64{+hi, +lo}:
371      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}}}}}}}}