4 ms·
The point is that for some programs[1], you can prove that all inputs will lead to an output with certain properties. With a physical lock, you cannot. For phy
by anyfoo 6y ago
The point is that for some programs[1], you can prove that all inputs will lead to an output with certain properties. With a physical lock, you cannot.
For physical locks, you cannot even rigorously define the "input".
[1] Not always, unfortunately, if your language is turing complete. You might be able to prove weaker, but still very useful statements, like "no input will cause a point to be dereferenced out of bounds".
- ngneer 6y agoYes, you may prove such a statement about a program. But you will not be able to prove that about the physical system where the program is running (assuming you want to run your program and not just reason about it as a mathematical object). If you need an example, consider Plundervolt.