law mul_zero

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

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

50law mul_zero:
51  for +f: G.Gf8Field
52  for +a: U32
53  {G.Gf8.mul(f, 0, a) == 0 : U32}