def aes256_encrypt_expanded
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
235def aes256_encrypt_expanded(+words: List<&2, U32>, block: List<&2, U32>) -> List<&2, U32>:
236 match words:
237 case Nil{}: aes_rounds.go(13n, aes_add_key(block, words, 0n), words, 1n)
238 case head <> tail: aes_rounds.go(13n, aes_add_key(block, words, 0n), words, 1n)
Uses (4)
Used by (20)
- qasim-bend-kit@0.1.0.2/proof/AES_BlockBridgeProof:expanded_block_from_initial
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:ghash_auth_expanded
- qasim-bend-kit@0.1.0.2/proof/AES_NistCtrProof:stream_step
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:gcm_ctr_step
- qasim-bend-kit@0.1.0.2/proof/AES_NistBlockComposeProof:expanded_block_matches
- …