Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System

George Danezis, Cedric Fournet, Markulf Kohlweiss, and Bryan Parno

Abstract

Bitcoin is the first widely adopted distributed e-cash system and Zerocoin is a recent proposal to extend Bitcoin with anonymous transactions.

The original Zerocoin protocol relies heavily on the Strong RSA assumption and double-discrete logarithm proofs, long-standing techniques with known performance restrictions. We show a variant of the Zerocoin protocol using instead elliptic curves and bilinear pairings. The proof system makes use of modern techniques based on quadratic arithmetic programs resulting in smaller proofs and quicker verification. We remark on several extensions to Zerocoin that are en-abled by the general-purpose nature of these techniques

Details

Publication typeInproceedings
Published inWorkshop on Language Support for Privacy Enhancing Technologies
DOI10.1145/2517872.2517878
PublisherACM – Association for Computing Machinery
> Publications > Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System