Comment by panpanna

I am sorry, but how does an open ISA guarantee lack of backdoors?

Technically, the x64 ISA is also open. It is patented to death, but its open. There is a free document describing every detail of it on Intel's website (AMD has one too).