Makes no sense, there is no other place for the code, maybe would compile in the USB connector? 😆
You can actually prove it does what it claims for reproducibly build it yourself https://github.com/coldcard/firmware
here are some folks doing just that https://bitcoinbinary.org/
I am still doing research on this and realized I had one major false assumption - that CC runs on MCU chip with no SE. Lol, the Mk4 has 2 of those 😅
I think I assumed it as I have heard CoinKite guys saying on podcasts that everything is open-source. SE’s can’t be due to NDA so I assumed they have only MCU.
At least I learnt a lot today.
This has a good overview https://blog.coinkite.com/understanding-mk4-security-model/
