def auth_from_hash

qasim-bend-kit@0.1.0.2 · proof/AES_NistTagProof.bend:12

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

12def auth_from_hash(+h: List<&2, U32>, +aad: List<&2, U32>, +bytes: List<&2, U32>) -> List<&2, U32>:
13    Core.ghash_auth_with_hash(h, aad, bytes)