def ghash_auth_with_hash

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

import Base

441# Do not expand a symbolic GHASH multiplication while transporting its hash.
442def ghash_auth_with_hash(+h: List<&2, U32>, +aad: List<&2, U32>, +ciphertext: List<&2, U32>) -> List<&2, U32>:
443    match aad:
444        case Nil{}: ghash_auth_with_hash_impl(h, aad, ciphertext)
445        case head <> tail: ghash_auth_with_hash_impl(h, aad, ciphertext)