fn add(a: CompressedScalar, b: CompressedScalar) CompressedScalar
Return a+b (mod L)
a: CompressedScalar,
b: CompressedScalar,