~/jendhub

def ghash_zero_pad.go

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

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

396def ghash_zero_pad.go(fuel: Nat, +bytes: List<&2, U32>) -> List<&2, U32>:
397    match fuel:
398        case 0n: bytes
399        case 1n+p: ghash_zero_pad.go(p, List.append(&2, U32, bytes, [0]))

Uses (4)

Used by (1)