Youssef El Housni

Results 41 issues of Youssef El Housni

# Description *This PR needs https://github.com/Consensys/gnark-crypto/pull/524 to be merged first.* We define the `DoublePairingCheck` method which asserts that `e(a,b)e(c,d) == 1`. We merge the squares in final exp equivalence check...

perf
zk-evm