Interesting... RP2040 seems like maybe a bit overkill for a zero power badge. I've participated in writing some software for an RP2040 powered badge for the RVASEC conference in Richmond, VA, for several years, and the RP2040 is really nice to program for, and is quite powerful. https://www.youtube.com/watch?v=A5ZrHAXCFLA
Yeah the RP2040 is a bit overkill, but it's really cheap to get from JLC, easy to prototype FAST and easy if anyone wants to reference the design and create/program their own badges.
I have been looking at some other MCU's like the CH32 for future projects, so if you also have any suggestions for other ones, I'd love to hear them!