Corpus ID: 202632754

On Privacy Preserving Blockchains and zk-SNARKs

  title={On Privacy Preserving Blockchains and zk-SNARKs},
  author={Shahla Atapoor},
During last few years, along with blockchain technology, cryptocurrencies have found huge attention from both commercial and scientific perspectives. Cryptocurrencies are digital coins which use cryptographic tools to allow secure peer-to-peer monetary transactions. Bitcoin is the most well-known cryptocurrency that allows direct payments between pseudonyms without any third party. If a user’s pseudonym is linked to her identity, all her transactions will be traceable, which will violate her… Expand

Figures and Tables from this paper


Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
Hawk is a decentralized smart contract system that does not store financial transactions in the clear on the blockchain, thus retaining transactional privacy from the public's view, and is the first to formalize the blockchain model of cryptography. Expand
A Traceability Analysis of Monero's Blockchain
This work quantifies the efficacy of three attacks on Monero’s untraceability guarantee, which promises to make it hard to trace the origin of a received fund, by analyzing its blockchain data and develops three attack routines and evaluates them on the Monero blockchain. Expand
An Empirical Analysis of Traceability in the Monero Blockchain
It is found that after removing mining pool activity, there remains a large amount of potentially privacy-sensitive transactions that are affected by these weaknesses in Monero's mixin sampling strategy and two countermeasures are proposed and evaluated that can improve the privacy of future transactions. Expand
Zerocash: Decentralized Anonymous Payments from Bitcoin
This paper formulate and construct decentralized anonymous payment schemes (DAP schemes) and builds Zero cash, a practical instantiation of the DAP scheme construction that is orders of magnitude more efficient than the less-anonymous Zero coin and competitive with plain Bit coin. Expand
QuisQuis: A New Design for Anonymous Cryptocurrencies
The creation of privacy-enhanced cryptocurrencies such as Monero and Zcash are specifically designed to counteract the tracking analysis possible in currencies like Bitcoin. Expand
On the Efficiency of Privacy-Preserving Smart Contract Systems
A variation of Groth and Maller’s zk-SNARK from Crypto 2017 is presented, and it is shown that it achieves UC-security and has better efficiency than the ones that currently are used in Hawk and Gyges. Expand
The Ring of Gyges: Investigating the Future of Criminal Smart Contracts
This paper shows how what they call criminal smart contracts (CSCs) can facilitate leakage of confidential information, theft of cryptographic keys, and various real-world crimes (murder, arson, terrorism) and highlights the urgency of creating policy and technical safeguards against CSCs. Expand
UC-Secure CRS Generation for SNARKs
This work enhances the CRS-generation protocol to achieve UC-security, and avoids the random oracle model which is typically not required by zk-SNARKs themselves. Expand
Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs
This work shows how public parameters for a class of NIZKs can be generated by a multi-party protocol, such that if at least one of the parties is honest, then the result is secure and can be subsequently used for generating and verifying numerous proofs without any further trust. Expand
How to Leak a Secret
A new construction of ring signatures is proposed, which is unconditionally signer-ambiguous, provably secure in the random oracle model, and exceptionally efficient: adding each ring member increases the cost of signing or verifying by a single modular multiplication and a single symmetric encryption. Expand