IACR News item: 29 May 2012
Abhishek Jain, Rafail Ostrovsky, Silas Richelson, Ivan Visconti
ePrint ReportWe stress that in the Bounded Player model, in addition to no apriori bound on the number of sessions, there is no synchronization barrier, no trusted party, and simulation must be performed in polynomial time.
In this setting, we achieve concurrent Zero Knowledge (cZK) with sub-logarithmic round complexity.
Our security proof is (necessarily) non-black-box, our simulator is straight-line and works as long as the number of rounds is $\\omega(1)$.
We further show that unlike previously studied relaxations of the standard model (e.g., timing assumptions, super-polynomial simulation), concurrent-secure computation is impossible to achieve in the Bounded Player model. This gives evidence that our model is closer to the standard model than previously studied models, and we believe might have additional applications.
Additional news items may be found on the IACR news page.