AES256GCMCore.ghash_field_bytes: def of qasim-bend-kit@0.1.0.2
Import: import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCore
Lines 336-346 of qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend: https://jend.leeeet.dev/read.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend&start_line=336&end_line=346

import Base

def ghash_field_bytes(value: GhashField) -> List<&2, U32>:
    match value:
        case GhashField{+w0, +w1, +w2, +w3}:
            [U32.and(255, U32.shrn(w0, 24n)), U32.and(255, U32.shrn(w0, 16n)),
             U32.and(255, U32.shrn(w0, 8n)), U32.and(255, w0),
             U32.and(255, U32.shrn(w1, 24n)), U32.and(255, U32.shrn(w1, 16n)),
             U32.and(255, U32.shrn(w1, 8n)), U32.and(255, w1),
             U32.and(255, U32.shrn(w2, 24n)), U32.and(255, U32.shrn(w2, 16n)),
             U32.and(255, U32.shrn(w2, 8n)), U32.and(255, w2),
             U32.and(255, U32.shrn(w3, 24n)), U32.and(255, U32.shrn(w3, 16n)),
             U32.and(255, U32.shrn(w3, 8n)), U32.and(255, w3)]

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.shrn
  https://jend.leeeet.dev/definition.txt?path=qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend&name=GhashField