[negus]

"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