def parts

qasim-bend-kit@0.1.0.2 · proof/AES_NistObservationProof.bend:50

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as Core

50def parts(+words: List<&2, U32>, +nonce: AES.Nonce,
51          +aad: List<&2, U32>, +bytes: List<&2, U32>) -> List<&2, U32>:
52    List.append(&2, U32, AES.raw_nonce_bytes(nonce),
53        List.append(&2, U32, bytes,
54            Core.gcm_tag_bytes(Core.gcm_tag_output(words,
55                AES.raw_nonce_bytes(nonce), aad, bytes))))