Corpus ID: 189998427

Why and How zk-SNARK Works

  title={Why and How zk-SNARK Works},
  author={Maksym Petkus},
  • Maksym Petkus
  • Published 2019
  • Computer Science, Mathematics
  • ArXiv
  • Despite the existence of multiple great resources on zk-SNARK construction, from original papers to explainers, due to the sheer number of moving parts the subject remains a black box for many. While some pieces of the puzzle are given one can not see the full picture without the missing ones. Hence the focus of this work is to shed light onto the topic with a straightforward and clean approach based on examples and answering many whys along the way so that more individuals can appreciate the… CONTINUE READING
    1 Citations
    Blockchain Based Zero-Knowledge Proof of Location in IoT


    On the Size of Pairing-Based Non-interactive Arguments
    • Jens Groth
    • Mathematics, Computer Science
    • 2016
    • 190
    • Highly Influential
    • PDF
    Designated Verifier Proofs and Their Applications
    • 819
    • PDF
    Proofs of Ignorance and Applications to 2-Message Witness Hiding
    • 5
    • PDF
    Zerocash: Decentralized Anonymous Payments from Bitcoin
    • 933
    • PDF
    Bulletproofs: Short Proofs for Confidential Transactions and More
    • 235
    • PDF
    Pinocchio: Nearly Practical Verifiable Computation
    • 267
    • PDF
    Short Pairing-Based Non-interactive Zero-Knowledge Arguments
    • 297
    • PDF
    Non-interactive zero-knowledge and its applications
    • 652