I highly doubt that
Based on the fact that ultimately we can't check the system. And based on the fact that at some point in the chain humans are involved. [1]
What we are left with is "trust in Apple" not "trust in math".
[1]: https://news.ycombinator.com/item?id=27878333
I highly doubt that