~/jendhub

def ghash_finish

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

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

401def ghash_finish(space: Nat, block_rev: List<&2, U32>, h: List<&2, U32>, y: List<&2, U32>) -> List<&2, U32>:
402    match space:
403        case 16n: y
404        case 0n: ghash_update(y, h, List.reverse(&2, U32, block_rev))
405        case 1n+p:
406            ghash_update(y, h, ghash_zero_pad.go(space, List.reverse(&2, U32, block_rev)))

Uses (6)

Used by (1)