The only official Arduino board that uses the RP2040 microcontroller is the Arduino Nano RP2040 Connect.
However, there are many RP2040-based boards by other manufacturers, all of which can be used with the Arduino development software. Those include the Raspberry Pi Pico, the Adafruit Feather RP2040, the SparkFun Pro Micro - RP2040, and so on...