<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Den ons 9 juni 2021 00:33Robert Wilson via cryptography <<a href="mailto:cryptography@metzdowd.com">cryptography@metzdowd.com</a>> skrev:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">A few millennia ago I was working on "provable" security. (Orange book <br>
stuff.) Lots of people wanted to use inductive proofs: Start in a known <br>
good state, prove that all possible transitions maintain what you want, <br>
voila.<br>
<br>
We had to consider distributed systems. It was obvious to me that there <br>
is no place in the universe (per relativity) where one could know a <br>
well-defined state. What could it even mean?<br>
<br>
I had then been thinking of distributed as meaning something like <br>
network-connected machines. But as Kent correctly points out, even <br>
within what we call a CPU chip, at any instant (and what does even that <br>
mean?) any distinct points will have different notions of what's going <br>
on! What kinds of systems, if any, can have well defined states?<br>
<br>
Bob Wilson<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">This is what for example concensus systems and atomic databases are for, along with related systems like append-only logs, logging filesystems, etc.</div><div dir="auto"><br></div><div dir="auto">For cryptographic solutions, we got Zero-knowledge proofs and related forms of proofs of correctness, paired with formal logic. </div><div dir="auto"><br></div><div dir="auto">On the hardware level there's error correction, and schemes like using [tmultiple processors which need to agree on a result (the NASA approach), etc. </div><div dir="auto"><br></div><div dir="auto">We do not attempt to make sure the complete system is perfectly well defined in all components at all times - instead we select a carved out subset which we try to ensure will be in a coherent state. We try to ensure that whenever you poll the system you can get a valid response out. </div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div></div>