def ghash_nat_bytes

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

import Base

430def ghash_nat_bytes(n: Nat) -> List<&2, U32>:
431    ghash_nat_bytes.go(8n, Nat.divmod(n, 256n), Nil{})