Cryptography Library

Our cryptographic library implements many widely-used zero-knowledge proofs of knowledge, with applications in Camenisch-Lysyanskaya blind signatures, verifiable encryption, electronic cash, and efficient fair exchange. The library was described in detail in our USENIX Security 2010 paper, ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash.

Source code and documentation for the ZKPDL interpreter and the Cashlib e-cash library are available freely online, at