Андрей Мухаметшин, в целом согласен, но во-первых врядли эту ревизию будут проводить, во-вторых он открыт не полностью, вроде бы там есть проприетарные бинарники, а в-третьих даже если они полностью свою сборку туда прошьют, то само оборудование ревизии никак не поддается. По внешним признакам никак нельзя узнать жучок. Он может встраивать шпионскую информацию в основной трафик наподобие вотермарков, может влиять на генерацию случайных чисел, так что распределение будет легко угадываться и соответстветсвенно на всю криптографию. Изнутри оперционки, какая бы она не была параноидальная невозможно определить жучки в самой машине, на которой она запускается. Извне тоже проблематично. Внутрь микросхемы тож не залезешь так как она под патентами.