A Review of zk-SNARKs

February 14, 2022 · The Cartographer · 🏛 arXiv.org

"No code URL or promise found in abstract"
"Title-pattern auto-detect: A Review of zk-SNARKs"

Evidence collected by the PWNC Scanner

Authors Thomas Chen, Hui Lu, Teeramet Kunpittaya, Alan Luo arXiv ID 2202.06877 Category cs.CR: Cryptography & Security Citations 62 Venue arXiv.org Last Checked 1 day ago

Abstract

A zk-SNARK is a protocol that lets one party, the prover, prove to another party, the verifier, that a statement about some privately-held information is true without revealing the information itself. This paper describes technical foundations, current applications, and some novel applications of zk-SNARKs. Regarding technical foundations, we go over the Quadratic Arithmetic Program reduction and the Pinocchio protocol. We then go over financial security applications like Zcash and Tornado Cash, and zk-Rollup applications like zkEVM and Darkforest. We propose novel zk-SNARK protocols for private auctions and decentralized card games on the blockchain, providing code for the proposed applications. We conclude by touching on promising zk-SNARK innovations, such as zk-STARKs.