def aes.rcon.go

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

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

import Base

141def aes.rcon.go(n: Nat, +x: U32) -> U32:
142  match n:
143    case 0n:
144      x
145    case 1n+p:
146      aes.rcon.go(p, aes.xt(x))

Uses (3)

Used by (1)

bend-osdev-cipher-modes@0.1.0.0/aes:aes.rcon