We do have Pippenger MSM in the engine, on CPU and CUDA, but it is not used for standard ECDSA verification. Schnorr batches and generic MSM can use Pippenger. Our ECDSA batch path uses Montgomery batch inversion plus per-signature GLV Strauss dual-scalar multiplication, because standard ECDSA still requires an individual R.x mod n == r check and does not provide the recovery parity needed to reconstruct R unambiguously. So any wording suggesting “Pippenger ECDSA” is misleading unless it refers to generic MSM or a recoverable/explicit-R variant.