If you understand this article you’ll never buy a coldcard again. It reads like they had people that were just blindly trying to make the code compile, maybe under pressure to rush a product out. It is incomprehensible.

https://insider.btcpp.dev/p/when-randombytes-runs-but-doesnt