When coding, you trust the CPU to do correct math. The kernel to properly allocate memory. The network stack to send packets and pass you only the ones with valid checksum.

Much of our world operates on trust (and eventually verify), same as any application does. It's exceedingly costly to do otherwise.