zk-SNARKs 综述
密码学与安全
2023-10-26 v4
摘要
zk-SNARK 是一种协议，令一方（证明者）向另一方（验证者）证明关于某些私有信息的陈述为真，而不泄露信息本身。本文描述了 zk-SNARKs 的技术基础、当前应用以及一些新颖应用。关于技术基础，我们回顾了二次算术程序（QAP）归约与 Pinocchio 协议。随后我们回顾了金融安全应用如 Zcash 和 Tornado Cash，以及 zk-Rollup 应用如 zkEVM 和 Darkforest。我们提出了用于区块链上私有拍卖和去中心化纸牌游戏的新颖 zk-SNARK 协议，并为所提应用提供了代码。最后我们简要探讨了有前景的 zk-SNARK 创新，如 zk-STARKs。
引用
@article{arxiv.2202.06877,
title = {A Review of zk-SNARKs},
author = {Thomas Chen and Hui Lu and Teeramet Kunpittaya and Alan Luo},
journal= {arXiv preprint arXiv:2202.06877},
year = {2023}
}