fn mul(a: CompressedScalar, b: CompressedScalar) CompressedScalar
Return a*b (mod L)
a: CompressedScalar,
b: CompressedScalar,