tag:blogger.com,1999:blog-8890204.post7659346441833502000..comments2024-03-10T05:26:42.148-04:00Comments on My Biased Coin: Guest Post by Justin Thaler: A "Mini-Survey" of Practical Verification AlgorithmsMichael Mitzenmacherhttp://www.blogger.com/profile/06738274256402616703noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-8890204.post-14515934110231767782013-09-07T16:50:28.636-04:002013-09-07T16:50:28.636-04:00Thanks Ilya, that's an excellent point.Thanks Ilya, that's an excellent point.Justin Thalernoreply@blogger.comtag:blogger.com,1999:blog-8890204.post-60763027986550445782013-09-07T01:35:38.736-04:002013-09-07T01:35:38.736-04:00Thank you for putting this post together - it'...Thank you for putting this post together - it's an excellent summary that I'll share with others.<br /><br />Personally, I'm more excited about the zero-knowledge and SNARK potential of this line of work. There's always an alternative to farming out a computation - i.e., doing it locally. For outsourcing to make economic sense, numbers have to work out. On the other hand, there are sometimes no good alternatives to NIZKs or SNARKs. Existence of practical NIZKs constructions opens a whole new range of possibilities for designers of cryptographic protocols.Ilya Mironovnoreply@blogger.com