I08: Incomplete test coverage of library functions

[philippecamacho]

Affected Code: • BN254.sol (lines 83,91,100,108,113,135) • BN254.sol (lines 140,145,150,173,188,234) • BN254.sol (lines 313,331)

Summary: Several functions (infinity, isInfinity, negate, add, mul, multiScalarMul, invert, validateScalarField, g1Serialize, g1Deserialize) in the library lack sufficient test coverage. Although the current implementation is correct, making changes to the library might result in unexpected behavior.

Suggestion: Write unit tests for all the functions to ensure the library’s correctness and ease of maintenance.