Probably, but ColdCards are closed source so we really don't know.
Every byte of code can be found here, reproducible too https://github.com/COLDCARD/firmware
1
