<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/'><id>tag:blogger.com,1999:blog-6839602.post2752919249456839916..comments</id><updated>2007-06-11T20:44:48.460-07:00</updated><category term='grammar checking'/><category term='Leibniz equality'/><category term='sized lists'/><category term='definability'/><category term='Heyting algebra'/><category term='static analysis'/><category term='bugs'/><category term='Coq'/><category term='Fomega'/><category term='V=L'/><category term='constructive logic'/><category term='type disequality'/><category term='morphisms'/><category term='nested types'/><category term='flow caml'/><category term='countability'/><category term='kinds'/><category term='impredicativity'/><category term='fuzzy logic'/><category term='termination'/><category term='lightweight static capabilities'/><category term='Simulating Dependent Types with Guarded Algebraic Datatypes'/><category term='C++'/><category term='Haskell'/><category term='Liskov substitutability'/><category term='effects'/><category term='information flow'/><category term='effect inference'/><category term='zero-knowledge proof'/><category term='cardinal numbers'/><category term='_|_'/><category term='CPOs'/><category term='dependent types'/><category term='continuity'/><category term='OOP'/><category term='Dependent ML'/><category term='copious free time'/><category term='parallel or'/><category term='GHC'/><category term='GADTs'/><category term='polymorphism'/><category term='laypeople'/><category term='quotient types'/><category term='refinement types'/><category term='ML'/><category term='referential transparency'/><category term='ordinals'/><category term='conferences'/><title type='text'>Comments on Everyone Else is Crazy: Existentials and Zero-Knowledge Proofs</title><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://blog.jbapple.com/feeds/2752919249456839916/comments/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/6839602/2752919249456839916/comments/default'/><link rel='alternate' type='text/html' href='http://blog.jbapple.com/2007/02/existentials-and-zero-knowledge-proofs.html'/><author><name>Jim Apple</name><uri>http://www.blogger.com/profile/11080395413026172939</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='32' src='http://www.jbapple.com/me-in-suit.jpg'/></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>1</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>25</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-6839602.post-6768047249990483618</id><published>2007-03-30T08:25:00.000-07:00</published><updated>2007-03-30T08:25:00.000-07:00</updated><title type='text'>Interesting point. Zero knowledge proofs are curre...</title><content type='html'>Interesting point. Zero knowledge proofs are currently mainly used in security settings to prove you know something but not revealing anymore about it. &lt;BR/&gt;You would think this would be useful to increase modularity in programming. Where providing as little information as possible between different components is beneficial. &lt;BR/&gt;&lt;BR/&gt;On another weird connection to Zero knowledge proofs&lt;BR/&gt;http://www.wisdom.weizmann.ac.il/~naor/PUZZLES/waldo.html&lt;BR/&gt;The medium tech solution seems to imply there might be a connection between copying and them.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/6839602/2752919249456839916/comments/default/6768047249990483618'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/6839602/2752919249456839916/comments/default/6768047249990483618'/><link rel='alternate' type='text/html' href='http://blog.jbapple.com/2007/02/existentials-and-zero-knowledge-proofs.html?showComment=1175268300000#c6768047249990483618' title=''/><author><name>David Curran</name><uri>http://www.blogger.com/profile/02768287658329807075</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.jbapple.com/2007/02/existentials-and-zero-knowledge-proofs.html' ref='tag:blogger.com,1999:blog-6839602.post-2752919249456839916' source='http://www.blogger.com/feeds/6839602/posts/default/2752919249456839916' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1243463079'/></entry></feed>
