def gcm_ctr_step

qasim-bend-kit@0.1.0.2 · libs/AES256GCMCore.bend:481

import Base

481def gcm_ctr_step(+words: List<&2, U32>, +counter: List<&2, U32>,
482    block: List<&2, U32>) -> GcmCtrStep:
483    match block:
484        case Nil{}:
485            +next_block = aes256_encrypt_expanded(words, counter)
486            GcmCtrStep{aes_byte_at(next_block, 0n), gcm_inc32(counter),
487                List.tail(&2, U32, next_block)}
488        case byte <> rest: GcmCtrStep{byte, counter, rest}