~/jendhub

def ghash_nat_bytes.go

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

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

423def ghash_nat_bytes.go(fuel: Nat, qr: Nat & Nat, +acc: List<&2, U32>) -> List<&2, U32>:
424    match fuel:
425        case 0n: acc
426        case 1n+p:
427            (q, r) = qr
428            ghash_nat_bytes.go(p, Nat.divmod(q, 256n), U32.from_nat(r) <> acc)

Uses (7)

Used by (1)