~/jendhub

def aes.rcon

bend-osdev-cipher-modes@0.1.0.0 · aes.bend:148

import bend-osdev-cipher-modes@0.1.0.0/aes.bend as Aes
import Base

148# x^(j - 1) in GF(2^8), the round constant of word j * Nk
149def aes.rcon(j: Nat) -> U32:
150  match j:
151    case 0n:
152      0
153    case 1n+p:
154      aes.rcon.go(p, 1)

Uses (3)

Used by (1)