H Wee - Advances in Cryptology–CRYPTO 2010: 30th Annual …, 2010 - Springer
We introduce the notion of an extractable hash proof system. Essentially, this is a special
kind of non-interactive zero-knowledge proof of knowledge system where the secret keys …