Looking at flamegraphs, it seems we are doing subgroup checks two times during an ecpairing precompile call: one before calling compute_batch, and another inside it.

First check (in our side):

Second, compute_batch check (in the lambdaworks side):

https://github.com/lambdaclass/lambdaworks/blob/3b96e92c046dc7088a53dfb6f4772489a05cc11b/crates/math/src/elliptic_curve/short_weierstrass/curves/bn_254/pairing.rs#L163-L165