From the devboard datasheet:
> The RP2040 ADC does not have an on-board reference and therefore uses its own power supply as a reference. On Pico the ADC_AVDD pin (the ADC supply) is generated from the SMPS 3.3V by using an R-C filter (201 ohms into 2.2μF)
Which doesn't sound promising and I don't see a DAC in the RP2040 datasheet.