fn mulAdd(a: CompressedScalar, b: CompressedScalar, c: CompressedScalar) CompressedScalar
Return a*b+c (mod L)
a: CompressedScalar,
b: CompressedScalar,
c: CompressedScalar,