COLDCARD’s firmware source code is publicly available and reproducibly buildable, so you can inspect it, compile it, and compare your build with the released firmware.