def aes_words
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
65def aes_words(bytes: List<&2, U32>) -> List<&2, U32>:
66 match bytes:
67 case a <> b <> c <> d <> tail:
68 aes_word(a, b, c, d) <> aes_words(tail)
69 case _: Nil{}
Uses (3)
Used by (5)
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:aes_expand_key
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:ghash_field
- qasim-bend-kit@0.1.0.2/proof/AES_TraceBridgeProof:expand_input_matches
- qasim-bend-kit@0.1.0.2/proof/AES_TraceBridgeProof:expand_key_matches
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:aes256_expand_impl