def aes_middle_round
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
223def aes_middle_round(state: List<&2, U32>, words: List<&2, U32>, round: Nat) -> List<&2, U32>:
224 aes_add_key(aes_mix_state(aes_shift_rows(aes_sub_state(state))), words, round)
Uses (7)
Used by (81)
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:aes_rounds.go
- qasim-bend-kit@0.1.0.2/proof/AES_TraceProof:rounds_step_at
- qasim-bend-kit@0.1.0.2/proof/AES_NistBlockProof:round_10_matches
- qasim-bend-kit@0.1.0.2/proof/AES_NistBlockProof:round_11_matches
- qasim-bend-kit@0.1.0.2/proof/AES_NistBlockProof:round_12_matches
- …