def xs

bend-osdev-gf@0.1.1.0 · PROOF.bend:537

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

537def xs(+b: G.Gf8Bits, +p: G.Gf8Bits) -> List<&2, G.Gf8Bits>:
538  [xk(0n, b, p), xk(1n, b, p), xk(2n, b, p), xk(3n, b, p), xk(4n, b, p), xk(5n, b, p), xk(6n, b, p), xk(7n, b, p)]