def gcm_ctr_stream.go

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

import Base

464def gcm_ctr_stream.go(fuel: Nat, +words: List<&2, U32>, +counter: List<&2, U32>,
465                      +acc: List<&2, U32>) -> List<&2, U32>:
466    match fuel:
467        case 0n: List.reverse(&2, U32, acc)
468        case 1n+p:
469            stream = aes256_encrypt_expanded(words, counter)
470            next_acc = List.append(&2, U32, List.reverse(&2, U32, stream), acc)
471            gcm_ctr_stream.go(p, words, gcm_inc32(counter), next_acc)