Open-source zero-power hackathon NFC badges built around RP2040 with e-ink, plus explicit manufacturing cost and BOM data.
A Hacker News post title claims Raspberry Pi Pico 2 can operate at 873.5MHz with a 3.05V core, i.e., extreme overclocking/voltage.