short-paper

Pinocchio coin: building zerocoin from a succinct pairing-based proof system

Authors:

George Danezis,

Cedric Fournet,

Markulf Kohlweiss, and

Bryan ParnoAuthors Info & Claims

PETShop '13: Proceedings of the First ACM workshop on Language support for privacy-enhancing technologies

November 2013

Pages 27 - 30

https://doi.org/10.1145/2517872.2517878

Published: 04 November 2013 Publication History

Get Access

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 enabled by the general-purpose nature of these techniques.

References

[1]

Melissa Chase and Anna Lysyanskaya. On signatures of knowledge. In CRYPTO, 2006.

Digital Library

Google Scholar

[2]

Rosario Gennaro, Craig Gentry, Bryan Parno, and Mariana Raykova. Quadratic span programs and succinct NIZKs without PCPs. In EUROCRYPT, 2013.

Crossref

Google Scholar

[3]

Kristiyan Haralambiev. Efficient cryptographic primitives for non-interactive zero-knowledge proofs and applications. PhD thesis, 2011.

Digital Library

Google Scholar

[4]

Ian Miers, Christina Garman, Matthew Green, and Aviel D. Rubin. Zerocoin: Anonymous distributed e-cash from bitcoin. In IEEE Symposium on Security and Privacy, 2013.

Digital Library

Google Scholar

[5]

Bryan Parno, Jon Howell, Craig Gentry, and Mariana Raykova. Pinocchio: Nearly practical verifiable computation. In IEEE Symposium on Security and Privacy, 2013.

Digital Library

Google Scholar

Cited By

View all

Gong G(2024)Uni/multi variate polynomial embeddings for zkSNARKsCryptography and Communications10.1007/s12095-024-00723-0Online publication date: 16-Jul-2024
https://doi.org/10.1007/s12095-024-00723-0
Wan ZZhou YRen K(2023)zk-AuthFeed: Protecting Data Feed to Smart Contracts With Authenticated Zero Knowledge ProofIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2022.315308420:2(1335-1347)Online publication date: 1-Mar-2023
https://doi.org/10.1109/TDSC.2022.3153084
Liu WWan ZShao JYu Y(2023)HyperMaze: Towards Privacy-Preserving and Scalable Permissioned BlockchainIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2021.313384020:1(360-376)Online publication date: 1-Jan-2023
https://doi.org/10.1109/TDSC.2021.3133840
Show More Cited By

Index Terms

Pinocchio coin: building zerocoin from a succinct pairing-based proof system
1. Applied computing
  1. Electronic commerce
2. Security and privacy
  1. Human and societal aspects of security and privacy
  2. Software and application security
    1. Domain-specific security and privacy architectures

Recommendations

Hiding Transaction Amounts and Balances in Bitcoin
Proceedings of the 7th International Conference on Trust and Trustworthy Computing - Volume 8564

Bitcoin is gaining increasing adoption and popularity nowadays. In spite of its reliance on pseudonyms, Bitcoin raises a number of privacy concerns due to the fact that all of the transactions that take place in the system are publicly announced.

The ...
Read More
CoinShuffle: Practical Decentralized Coin Mixing for Bitcoin
Computer Security - ESORICS 2014
Abstract
The decentralized currency network Bitcoin is emerging as a potential new way of performing financial transactions across the globe. Its use of pseudonyms towards protecting users’ privacy has been an attractive feature to many of its adopters. ...
Read More
Double-spending fast payments in bitcoin
CCS '12: Proceedings of the 2012 ACM conference on Computer and communications security

Bitcoin is a decentralized payment system that relies on Proof-of-Work (PoW) to verify payments. Nowadays, Bitcoin is increasingly used in a number of fast payment scenarios, where the time between the exchange of currency and goods is short (in the ...
Read More

Comments

Information & Contributors

Information

Published In

PETShop '13: Proceedings of the First ACM workshop on Language support for privacy-enhancing technologies

November 2013

36 pages

ISBN:9781450324892

DOI:10.1145/2517872

Program Chairs:
Martin Franz
Deutsche Bank, Germany
,
Andreas Holzer
Vienna University of Technology, Austria
,
Rupak Majumdar
MPI SWS Kaiserslautern, Germany
,
Bryan Parno
Microsoft Research, USA
,
Helmut Veith
Vienna University of Technology, Austria

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 November 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Conference

CCS'13

Sponsor:

SIGSAC

CCS'13: 2013 ACM SIGSAC Conference on Computer and Communications Security

November 4, 2013

Berlin, Germany

Acceptance Rates

PETShop '13 Paper Acceptance Rate 7 of 8 submissions, 88%;

Overall Acceptance Rate 7 of 8 submissions, 88%

Upcoming Conference

CCS '24

Sponsor:
sigsac

ACM SIGSAC Conference on Computer and Communications Security

October 14 - 18, 2024

Salt Lake City , UT , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

62
Total Citations
View Citations
454
Total Downloads

Downloads (Last 12 months)20
Downloads (Last 6 weeks)3

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gong G(2024)Uni/multi variate polynomial embeddings for zkSNARKsCryptography and Communications10.1007/s12095-024-00723-0Online publication date: 16-Jul-2024
https://doi.org/10.1007/s12095-024-00723-0
Wan ZZhou YRen K(2023)zk-AuthFeed: Protecting Data Feed to Smart Contracts With Authenticated Zero Knowledge ProofIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2022.315308420:2(1335-1347)Online publication date: 1-Mar-2023
https://doi.org/10.1109/TDSC.2022.3153084
Liu WWan ZShao JYu Y(2023)HyperMaze: Towards Privacy-Preserving and Scalable Permissioned BlockchainIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2021.313384020:1(360-376)Online publication date: 1-Jan-2023
https://doi.org/10.1109/TDSC.2021.3133840
Zhao BHuang WLi THuang Y(2023)BSTMSM: A High-Performance FPGA-based Multi-Scalar Multiplication Hardware Accelerator2023 International Conference on Field Programmable Technology (ICFPT)10.1109/ICFPT59805.2023.00009(35-43)Online publication date: 12-Dec-2023
https://doi.org/10.1109/ICFPT59805.2023.00009
Gaikar VTedla BRane C(2023)Trust Chain for Managing Trust in Blockchain-Associated IoT-Enabled Supply-ChainsAdvances in Information Communication Technology and Computing10.1007/978-981-19-9888-1_14(203-219)Online publication date: 30-May-2023
https://doi.org/10.1007/978-981-19-9888-1_14
Ambrona MBeunardeau MSchmitt AToledo R(2023)$$a\mathcal {P}lon\mathcal {K}$$: Aggregated $$\mathcal {P}lon\mathcal {K}$$ from Multi-polynomial Commitment SchemesAdvances in Information and Computer Security10.1007/978-3-031-41326-1_11(195-213)Online publication date: 24-Aug-2023
https://doi.org/10.1007/978-3-031-41326-1_11
Zhao HDing DWang FHua PWang NWu QChai Z(2023)Hardware acceleration of number theoretic transform for zk‐SNARKEngineering Reports10.1002/eng2.12639Online publication date: 16-Feb-2023
https://doi.org/10.1002/eng2.12639
Leng JZhou MZhao JHuang YBian Y(2022)Blockchain Security: A Survey of Techniques and Research DirectionsIEEE Transactions on Services Computing10.1109/TSC.2020.303864115:4(2490-2510)Online publication date: 1-Jul-2022
https://doi.org/10.1109/TSC.2020.3038641
Ozdemir ABrown FWahby R(2022)CirC: Compiler infrastructure for proof systems, software verification, and more2022 IEEE Symposium on Security and Privacy (SP)10.1109/SP46214.2022.9833782(2248-2266)Online publication date: May-2022
https://doi.org/10.1109/SP46214.2022.9833782
Thibault LSarry THafid A(2022)Blockchain Scaling Using Rollups: A Comprehensive SurveyIEEE Access10.1109/ACCESS.2022.320005110(93039-93054)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3200051
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Hiding Transaction Amounts and Balances in Bitcoin

CoinShuffle: Practical Decentralized Coin Mixing for Bitcoin

Double-spending fast payments in bitcoin

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Hiding Transaction Amounts and Balances in Bitcoin

CoinShuffle: Practical Decentralized Coin Mixing for Bitcoin

Double-spending fast payments in bitcoin

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations