Advances in mathematically verified software could help here - although mechanisms for verifying the manufacturing of chips all the way down the supply chain mi

Advances in mathematically verified software could help here - although mechanisms for verifying the manufacturing of chips all the way down the supply chain might be farther out.