Updatable zero-knowledge databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3788 LNCS, Issue , 2005, Pages 174-198

  Liskov, Moses ^a  

^a Dept of Economics and Thomas Jefferson Program in Public Policy at the College of William and Mary   (United States)

Author keywords

Commitments; Protocols; Transparent updates; Updatable commitments; Zero knowledge; Zero knowledge databases; Zero knowledge sets

Indexed keywords

FUNCTION EVALUATION; KNOWLEDGE BASED SYSTEMS; NETWORK PROTOCOLS; RANDOM PROCESSES; SECURITY OF DATA; SET THEORY;

COMMITMENTS; TRANSPARENT UPDATES; UPDATABLE COMMITMENTS; ZERO-KNOWLEDGE; ZERO-KNOWLEDGE DATABASES; ZERO-KNOWLEDGE SETS;

DATABASE SYSTEMS;

EID: 33646764587     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11593447_10     Document Type: Conference Paper

References (12)

1. Manuel Blum, Alfredo De Santis, Silvio Micali, and Giuseppe Persiano. Noninteractive zero-knowledge. SIAM Journal on Computing, 20(6):1084 - 1118, December 1991.
2. Melissa Chase, Alex Healy, Anna Lysyanskaya, Tal Malkin, and Leonid Reyzin. Mercurial commitments with applications to zero-knowledge sets. In Advances in Cryptology - EUROCRYPT 2005, Lecture Notes in Computer Science. Springer-Verlag, 22 - 26 May 2005.
3. Yevgeniy Dodis and Aleksandr Yampolskiy. A verifiable random function with short proofs and keys. In Serge Vaudenay, editor, 8th International Workshop on Theory and Practice in Public Key Cryptography, volume 3386 of lncs, pages 416 - 432. Springer-Verlag, 2005.
4. Oded Goldreich, Silvio Micali, and Avi Wigderson. Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. Journal of the ACM, 38(1):691 - 729, 1991.
5. J. Kilian. Efficiently committing to databases. TR 97-040, NEC Research Institute, 1997.
6. Anna Lysyanskaya. Unique signatures and verifiable random functions from the DH-DDH separation. In Moti Yung, editor, Advances in Cryptology - CRYPTO 2002, Lecture Notes in Computer Science. Springer-Verlag, 2002.
7. Ralph C. Merkle. A certified digital signature. In G. Brassard, editor, Advances in Cryptology - CRYPTO 89, volume 435 of Lecture Notes in Computer Science, pages 218238. Springer-Verlag, 1990, 20 - 24 August 1989.
8. Silvio Micali and Michael Rabin. Hashing on strings, cryptography, and protection of privacy. In Proceedings of Compression and Complexity of Sequences, page 1, Los Alamitos, California, 11 - 13 June 1997. IEEE Computer Society.
9. Silvio Micali, Michael Rabin, and Joseph Kilian. Zero-knowledge sets. In 44th Annual Symposium on Foundations of Computer Science, Cambridge, MA, October 2003. IEEE.
10. Silvio Micali, Michael Rabin, and Salil Vadhan. Verifiable random functions. In 40th Annual Symposium on Foundations of Computer Science, pages 120 - 130, New York, October 1999. IEEE.
11. R. Ostrovsky, C. Rackoff, and A. Smith. Efficient proofs of consistency for generalized queries on a committed database. In Proceedings of ICALP 2004, 2004.
12. Torben Pryds Pedersen. A threshold cryptosystem without a trusted party (extended abstract). In D. W. Davies, editor, Advances in Cryptology - EUROCRYPT 91, volume 547 of Lecture Notes in Computer Science, pages 522-526. Springer-Verlag, 8 - 11 April 1991.