def xtime
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/sbox.bend as Sboximport Base
151def xtime(x: U32) -> U32:
152 match x:
153 case U32{w}: xtime_word(U32{w})
Uses (2)
Used by (7)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/aes:mix_column
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/aes:xpow
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/sbox:xtime_ok
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/cipher:mix_column_ok
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/cipher:xpow_ok
- …