def aes_rcon_kind
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
92def aes_rcon_kind(rcon: U32, advance: Bool) -> U32:
93 match advance:
94 case True{}: aes_rcon_step(rcon)
95 case False{}: rcon
Uses (3)
Used by (56)
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:aes_expand.go
- qasim-bend-kit@0.1.0.2/proof/AES_TraceProof:expand_step_number_at
- qasim-bend-kit@0.1.0.2/proof/AES_NistKeyScheduleProof:next_rcon_10
- qasim-bend-kit@0.1.0.2/proof/AES_NistKeyScheduleProof:next_rcon_11
- qasim-bend-kit@0.1.0.2/proof/AES_NistKeyScheduleProof:next_rcon_12
- …