If one is serious about it, there is a clear distinction between verifiable and trusted computation. There's also a less clear distinction between cheap and expensive to verify ones.

Just because most equipment must be trusted, it doesn't mean you can't use lots and lots of untrustable hardware.