<div dir="ltr"><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><font face="verdana, sans-serif">Frank, Glen, Nick,</font></div><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><font face="verdana, sans-serif"><br></font></div><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><font face="verdana, sans-serif">Glen writes:</font></div><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><font face="monospace">`<span style="color:rgb(0,0,0);font-size:13.44px">... in last week's Zoom, I mentioned to Jon (in response</span></font></div><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><font face="monospace"><span style="color:rgb(0,0,0);font-size:13.44px">to his query </span></font><span style="font-family:monospace;color:rgb(0,0,0);font-size:13.44px">to Frank about RSA-encryption::mind) that I</span></div><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><span style="font-family:monospace;color:rgb(0,0,0);font-size:13.44px">think homomorphic </span><span style="font-family:monospace;color:rgb(0,0,0);font-size:13.44px">encryption is a better analogy (to mind).`</span></div><div class="gmail_default" style="font-size:small;color:rgb(51,51,51)"><span style="color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif;font-size:13.44px"><br></span></div><div class="gmail_default"><font face="verdana, sans-serif"><font color="#000000"><span style="font-size:13.44px">Fully homomorphic encryption</span></font><span style="font-size:16px">†</span><span style="font-size:13.44px;color:rgb(0,0,0)"> was also the metaphor I originally</span></font></div><div class="gmail_default"><font face="verdana, sans-serif"><font color="#000000"><span style="font-size:13.44px">had in mind. In an effort to not complicate matters, I </span></font><span style="font-size:13.44px;color:rgb(0,0,0)">decided to </span>focus</font></div><div class="gmail_default"><font face="verdana, sans-serif">on the idea<span style="font-size:13.44px;color:rgb(0,0,0)"> of public key encryption more generally. </span><span style="font-size:13.44px;color:rgb(0,0,0)">Thank you, Glen</span></font></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0)"><font face="verdana, sans-serif">for taking it the rest of the way. Because Glen, Nick and I appear to</font></span></div><div class="gmail_default"><font color="#000000" face="verdana, sans-serif"><span style="font-size:13.44px">differ on Frank's mind only in that we disagree about the way that</span></font></div><div class="gmail_default"><font color="#000000" face="verdana, sans-serif"><span style="font-size:13.44px">Frank's mind </span></font><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">is public, I will attempt to switch sides and argue for</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">why his mind may be private.</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif"><br></span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">Firstly, while we may only need to know some combination of</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif"><i>transformations</i> which will allow us to know his mind, it may</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">be the case that those transformations are not accessible to</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">us. As an example and in analogy to computation, it may be the</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">case that we are not the kind of machines which can recognize</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">the language produced by a mind. While we as observers are</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">able to finite automata our way along observations of Frank,</span></div><div class="gmail_default"><font color="#000000" face="verdana, sans-serif"><span style="font-size:13.44px">his mind is producing context-free sentences, say. I don't</span></font></div><div class="gmail_default"><font color="#000000" face="verdana, sans-serif"><span style="font-size:13.44px">entirely buy this argument, but it also may be defendable.</span></font></div><div class="gmail_default"><font color="#000000" face="verdana, sans-serif"><span style="font-size:13.44px">As another example/analogy, </span></font><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">we may be attempting to solve</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">a problem analogous to those geometric problems of Greek</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">antiquity</span>††<span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">. </span><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">It may take a psychological </span><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">analog to Galois theory</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">before we understand exactly why </span><span style="font-size:13.44px;color:rgb(0,0,0);font-family:verdana,sans-serif">we can't know Frank's mind.</span></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px"><br></span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">Secondly, it may be that the encryption metaphor should</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">actually be something closer to hashing. A friend of mine</span></font></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">once said that <i>rememberings</i> were morphisms between</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif"><i>forgettings</i>. We are often </span><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">ok </span><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">with the idea that memory is</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">lossy, but why not thoughts </span><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">themselves? Perhaps, at least</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">with regard to what we can observer of Frank, every time</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">Frank thinks of a covariant tensor he is reconstituting</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">something fundamentally different. The <i>remembering</i> is</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">always between different <i>forgettings</i>.</span></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px"><br></span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">Ok, I am not sure I could necessarily defend these thoughts.</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">Further, I am not sure they are necessarily helpful to our</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">conversation. It seemed a good idea to try.</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px"><br></span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">On the topic of steganography, I wanted to mention the</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">book <i><a href="https://en.wikipedia.org/wiki/Steganographia">Steganographia</a></i>. I had originally read about it in some</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">part of </span></font><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">Neal Stephenson's <i>Baroque Cycle</i>, and it has since</span></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">found a place in my heart. The book, originally written in</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">1499, is perhaps the oldest text on the subject of cryptography.</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">What is amazing about the book is that it is an example of</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">itself (nod to Nick). The plaintext content of the book is</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">on the subject of magic, but for a reader clever enough to</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">find the </span></font><font face="verdana, sans-serif">deciphering key</font> <font face="verdana, sans-serif">the</font><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif"> book is about cryptography.</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">I had </span><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">found a copy from the 1700's in the rare books library</span></div><div class="gmail_default"><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">at </span><span style="font-size:13.44px;color:rgb(0,0,0);font-family:Verdana,Geneva,Helvetica,Arial,sans-serif">the University of Texas some years ago. The content was</span></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px"><i>doubly hidden</i> from me as I neither had the deciphering</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">key nor can I read Latin ;)</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px"><br></span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px">Jon</span></font></div><div class="gmail_default"><font color="#000000" face="Verdana, Geneva, Helvetica, Arial, sans-serif"><span style="font-size:13.44px"><br></span></font></div><div class="gmail_default"><span style="font-family:Roboto,arial,sans-serif">†:</span><font face="verdana, sans-serif"> If any members of the group would like to form a reading<font color="#000000" style=""><br></font></font></div><div class="gmail_default"><font face="verdana, sans-serif">group around Craig Gentry's <a href="https://www.bookdepository.com/Fully-Homomorphic-Encryption-Scheme-Craig-Gentry/9781243663139">thesis on FHE</a>, I would gladly</font></div><div class="gmail_default"><font face="verdana, sans-serif">participate.</font></div><div class="gmail_default">†† <font face="verdana, sans-serif">While it turned out that the Greek's assumptions about</font><span style="font-family:Roboto,arial,sans-serif;font-size:16px"><br></span></div><div class="gmail_default"><font face="verdana, sans-serif">the power of a compass and straightedge were incorrect,</font></div><div class="gmail_default"><font face="verdana, sans-serif">work beginning with <a href="https://en.wikipedia.org/wiki/Margherita_Piazzola_Beloch">Margherita Beloch</a> (and culminating</font></div><div class="gmail_default"><font face="verdana, sans-serif">with</font><span style="font-family:verdana,sans-serif"> the <a href="https://en.wikipedia.org/wiki/Huzita%E2%80%93Hatori_axioms">Huzita-Hatori</a> axioms) show that origami would</span></div><div class="gmail_default"><span style="font-family:verdana,sans-serif">have been a more powerful choice!</span></div></div>