Closed IAvecilla closed 7 months ago
Context: EcPairing.yul#L501
Description: g2JacobianAdd requires inputs to be a two different points in Jacobian coordinates. It returns inf if they are the same.
g2JacobianAdd
inf
Recommendation: Update doc comment of this function and stress this requirements. g2JacobianDouble should be used instead.
g2JacobianDouble
zkSync:
Spearbit:
Context: EcPairing.yul#L501
Description:
g2JacobianAdd
requires inputs to be a two different points in Jacobian coordinates. It returnsinf
if they are the same.Recommendation: Update doc comment of this function and stress this requirements.
g2JacobianDouble
should be used instead.zkSync:
Spearbit: