In the proof, we use a new variant of the non-black-box simulation technique of Barak (FOCS'01). An important property of our simulation technique is that the simulator runs in a straight-line manner in the fully concurrent setting. Compared with the simulation technique of Goyal, which also has such a property, the analysis of our simulation technique is (arguably) simpler.
Category / Keywords: foundations / concurrent zero-knowledge, non-black-box simulation Original Publication (in the same form): IACR-TCC-2015 Date: received 29 Jan 2015 Contact author: kiyoshima susumu at lab ntt co jp Available format(s): PDF | BibTeX Citation Version: 20150129:121655 (All versions of this report) Discussion forum: Show discussion | Start new discussion