"But how do you verify that the compiler produces the code you wanted it to create?"
You open it in disassembler and look through. It's a white box.
"But how do you verify that the Computer actually does what is in the Bytecode?"
It is much closer to the original question. hardware backdoors is a difficult topic
"But how do you verify that the Computer actually does what is in the Bytecode?" It is much closer to the original question. hardware backdoors is a difficult topic