论文标题
ZK-SNARKS的评论
A Review of zk-SNARKs
论文作者
论文摘要
ZK-SNARK是一项协议，可以让一个方，供奉献者向另一方证明验证者，即关于某些私人信息的声明是正确的，而无需透露信息本身。本文介绍了ZK-SNARKS的技术基础，当前的应用以及一些新颖的应用。关于技术基础，我们介绍了二次算术程序减少和pinocchio协议。然后，我们介绍Zcash和Tornado Cash等财务安全应用程序，以及ZKEVM和Darkforest等ZK-Rollup应用程序。我们建议在区块链上为私人拍卖和分散式纸牌游戏提出新颖的ZK-SNARK协议，为拟议的应用程序提供了代码。我们通过谈到有希望的ZK-SNARK创新（例如ZK-Starks）来结束。
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.
