Comment by DDR0

7 years ago

You're right – but I don't think "hardware" usually counts as state!

We don't generally count hardware as state because we expect it to be a reliable abstraction, but this same attitude applies to other things we do too: note that any program you've ever compiled can also count the compiler itself as state; this is the whole foundation for trusting-trust attacks!