Inaccurate `t` value in `NAF_REPRESENTATIVE()` doc comment
IAvecilla opened this issue · 0 comments
IAvecilla commented
Context: EcPairing.yul#L80
Description: Miller loop for ate pairing iterates to 6x+2 not to 6x^2 + 1. This value is trace of Frobenius not ate loop count.
Recommendation:
Update doc comment
zkSync:
Spearbit: