<div class="gmail_quote"><div>Hi,</div><div> </div><div>This week at  seminar, Omer Paneth will be telling us about concurrent zero knowledge in the global hash model.  Monday 10am in MCS137. <br clear="all"></div><div>Next week we&#39;ll skip seminar due to Marathon Monday.</div>


<div> </div><div>See you tomorrow!</div><div> </div><div>Sharon</div><div> </div><div>*****</div><div><span>BUsec</span> Calendar:  <a href="http://www.bu.edu/cs/busec/" target="_blank">http://www.bu.edu/cs/<span>busec</span>/</a><br>



<span>BUsec</span> Mailing list:  <a href="http://cs-mailman.bu.edu/mailman/listinfo/busec" target="_blank">http://cs-mailman.bu.edu/mailman/listinfo/<span>busec</span></a><br></div><div> </div><div>
<div>Title: Public-Coin Concurrent Zero-Knowledge in the Global Hash Model</div><div>Speaker: Omer Paneth, BU</div><div>Monday April 8, 10AM</div><div>MCS137<br></div><div>Public-coin zero-knowledge and concurrent zero-knowledge (cZK) are two classes of zero</div>



<div>knowledge protocols that guarantee some additional desirable properties. Still, to this date</div><div>no protocol is known that is both public-coin and cZK for a language outside BPP. Furthermore,</div><div>it is known that no such protocol can be black-box ZK [Pass <a href="http://et.al/" target="_blank">et.al</a>, Crypto 09].</div>



<div>We present a public-coin concurrent ZK protocol for any NP language. The protocol</div><div>assumes that all verifiers have access to a globally specified function, drawn from a collision</div><div>resistant hash function family. (This model, which we call the Global Hash Function, or</div>



<div>GHF model, can be seen as a restricted case of the non-programmable reference string</div><div>model.) We also show that the impossibility of black-box public-coin cZK extends also to</div><div>the GHF model.</div><div>



 </div><div>Our protocol assumes CRH functions against quasi-polynomial adversaries and takes</div><div>O(log^{1+  \eps}(n)) rounds for any  \eps &gt; 0, where n is the security parameter. Our techniques</div><div>combine those for (non-public-coin) black-box cZK with Barak&#39;s non-black-box technique for</div>



<div>public-coin constant-round ZK. As a corollary we obtain the first simultaneously resettable</div><div>zero-knowledge protocol with O(log^{1+  \eps}(n)) rounds, in the GHF model.</div><div> </div>Joint work with Ran Canetti and Rachel Lin</div>



</div><br><br clear="all"><br>-- <br>Sharon Goldberg<br>Computer Science, Boston University<br><a href="http://www.cs.bu.edu/~goldbe" target="_blank">http://www.cs.bu.edu/~goldbe</a>