Affected Code: BN254.sol (line 188)
Summary: The current implementation of the invert function allows the input 0 to be processed. This is incorrect because 0 does not have a multiplicative inverse in the field.
Suggestion: We recommend that the function reverts inversion gracefully if the input is 0.
Status: Pending
philippecamacho
commented
3 months ago
Affected Code: BN254.sol (line 188) Summary: The current implementation of the invert function allows the input 0 to be processed. This is incorrect because 0 does not have a multiplicative inverse in the field. Suggestion: We recommend that the function reverts inversion gracefully if the input is 0. Status: Pending
This ticket is a copy of https://github.com/EspressoSystems/espresso-sequencer/issues/1732.