ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash

In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic protocols are now efficient enough to be considered practical, yet research in the area remains largely theoretical and little work has been done to use these protocols in practice, despite a wealth of potential applications. This paper introduces a simple description language, ZKPDL, and an interpreter for this language. ZKPDL implements non-interactive zero-knowledge proofs of knowledge, a primitive which has received much attention in recent years.

Provided by: Brown University Topic: Networking Date Added: Jun 2010 Format: PDF

Download Now

Find By Topic