ecPairing precompile and the Groth16 verifier on Solana. Poseidon operates over the BN254 scalar field, whose prime order is approximately 2^254.
See the Poseidon Cipher and Poseidon as a PRF: Security Proofs pages for the full cryptographic treatment.