fn sub(a: CompressedScalar, b: CompressedScalar) CompressedScalar
Return (a-b) (mod L)
a: CompressedScalar,
b: CompressedScalar,