You are looking at a specific version 20190724:154639 of this paper. See the latest version.

Paper 2019/859

A Coin-Free Oracle-Based Augmented Black Box Framework

Kyosuke Yamashita and Mehdi Tibouchi and Masayuki Abe

Abstract

After the work of Impagliazzo and Rudich (STOC, 1989), the black box framework has become one of the main research domain of cryptography. However black box techniques say nothing about non-black box techniques such as making use of zero-knowledge proofs. Brakerski et al. introduced a new black box framework named augmented black box framework, in which they gave a zero-knowledge proof oracle in addition to a base primitive oracle (TCC, 2011). They showed a construction of a non-interactive zero knowledge proof system based on a witness indistinguishable proof system oracle. They presented augmented black box construction of chosen ciphertext secure public key encryption scheme based on chosen plaintext secure public key encryption scheme and augmented black box separation between one-way function and key agreement. In this paper we simplify the work of Brakerski et al. by introducing a proof system oracle without witness indistinguishability, named coin-free proof system oracle, that aims to give the same construction and separation results of previous work. As a result, the augmented black box framework becomes easier to handle. Since our oracle is not witness indistinguishable, our result encompasses the result of previous work.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Published elsewhere. Minor revision. The 13th International Conference on Provable and Practical Security (ProvSec 2019)
Keywords
Black Box ConstructionZero-Knowledge ProofNIZKWitness Indistinguishability
Contact author(s)
yamashita kyousuke 75w @ st kyoto-u ac jp
History
2019-07-24: received
Short URL
https://ia.cr/2019/859
License
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.