law v_aes_xtime

bend-osdev-gf@0.1.1.0 · LAWS.bend:126

import Base
import bend-osdev-gf@0.1.1.0/gf.bend as G

126law v_aes_xtime:
127  {[G.Gf8.xtime(G.Gf8.aes(), 87), G.Gf8.mul(G.Gf8.aes(), 87, 4), G.Gf8.mul(G.Gf8.aes(), 87, 8), G.Gf8.mul(G.Gf8.aes(), 87, 16)] == [174, 71, 142, 7] : List<&2, U32>}