Youssef El Housni
Youssef El Housni
The infinity point is represented by `(0,0)` in the EVM: - [x] handle the edge cases in ECADD (`AddUnified`) that involve or should return `(0,0)`. - [x] handle the edge...
Hey! how about this BW6-767 curve defined over the scalar field of BLS12-381? - blog post: https://ethresear.ch/t/bw6-over-bls12-381/10321 - code: https://github.com/yelhousni/gnark-crypto/tree/feat/bw6_on_bls12-381/ecc/bw6-767 It is on 12 machine words instead of 13 (with...
# Description Replace two `ScalarMultiplication` by a `JointScalarMultiplication` in KZG verification. ## Type of change - [x] New feature (non-breaking change which adds functionality) # How has this been tested?...
# Description For pairing checks of the form `∏ e(Pi, Qi) == 1` we replace the final exponentiation by class equivalence check as described in https://eprint.iacr.org/2024/640.pdf (Section 4). We compute...
# Description When we revisited GLV scalar decomposition https://github.com/Consensys/gnark-crypto/pull/213, we increased conditionally the loop bounds by 1 for all `mulGLV` methods for all curves but we forgot to do so...
# Description Placeholder PR to correct comments and add missing ones. ## Type of change - [x] This change requires a documentation update # How has this been tested? N/A...
# Description In affine pairing (`MillerLoopFixedQ`), use `doubleAndAdd` to compute `2P+Q` as of `P+Q+P`. This optimizes the one-time line precomputation for KZG in gnark-crypto, but most importantly matches gnark in-circuit...
# Description Similar to #506 for BLS12-377 and BLS12-381. ## Type of change - [x] New feature (non-breaking change which adds functionality) # How has this been tested? Existing tests...
# Description https://ethresear.ch/t/fake-glv-you-dont-need-an-efficient-endomorphism-to-implement-glv-like-scalar-multiplication-in-snark-circuits/20394/7 ## Type of change - [x] New feature (non-breaking change which adds functionality) # How has this been tested? Correctness tests are implemented in `emulated/sw_emulated/point_test.go` and `native/sw_bls12377/g1_test.go`....
# Description Fixes #268 ## Type of change - [x] Bug fix (non-breaking change which fixes an issue) - [x] New feature (non-breaking change which adds functionality) # How has...