Notable ZKP Blogs and Papers
Below is a list of notable works from academia and industry, separated by year, that utilize zero-knowledge proofs in cutting edge applications or provide valuable insights on the current ZK landscape. We denote academic/industry papers and blogs as [P] and [B] respectively.
2024
[B] Don’t Trust When You Can Verify: A Primer on Zero-Knowledge Proofs. Jared Ronis. Wilson Center Blockchain Briefs.
[P] Zero-Knowledge Proofs of Training for Deep Neural Networks. Kasra Abbaszadeh, Christodoulos Pappas, Dimitrios Papadopoulos, Jonathan Katz. Cryptology ePrint Archive.
2023
[P] ZKROWNN: Zero Knowledge Right of Ownership for Neural Networks. Nojan Sheybani, Zahra Ghodsi, Ritvik Kapila, Farinaz Koushanfar. Design Automation Conference 2023.
[P] zPROBE: Zero Peek Robustness Checks for Federated Learning. Zahra Ghodsi*, Mojan Javaheripi*, Nojan Sheybani*, Xinqiao Zhang*, Ke Huang, Farinaz Koushanfar. International Conference on Computer Vision (ICCV) 2023.
[B] Accelerating Zero Knowledge Proofs. Figment Capital. Medium.
[B] Zero-Knowledge Proof: Applications and Use Cases. Chainlink Labs. Chainlink.
[P] zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs. Jens Ernstberger, Stefanos Chaliasos, George Kadianakis, Sebastian Steinhorst, Philipp Jovanovic, Arther Gervais, Benjamin Livshits, Michel Orrù. Cryptology ePrint Archive.
2022
[P] Nova: Recursive Zero-Knowledge Arguments from Folding Schemes. Abhiram Kothapalli, Srinath Setty, Ioanna Tzialla . 42nd Annual International Cryptology Conference.
[P] BlockMaze: An Efficient Privacy-Preserving Account-Model Blockchain Based on zk-SNARKs. Zhangshuang Guan, Zhiguo Wan, Yang Yang, Yan Zhou, Butian Huang. IEEE Transactions on Dependable and Secure Computing, Volume 19, Issue 3.
[B] zk, zkVM, zkEVM and their Future. msfew. Mirror.
2021
[P] A survey on zero-knowledge proof in blockchain. Xiaoqiang Sun, F. Richard Yu, Peng Zhang, Zhiwei Sun, Weixin Xie, Xiang Peng. IEEE Network, Volume 35, Issue 4.
[P] Poseidon: A New Hash Function for Zero-Knowledge Proof Systems. Lorenzo Grassi, Dmitry Khovratovich, Christian Rechberger, Arnab Roy, Markus Schofnegger. 30th USENIX Security Symposium.
[P] QuickSilver: Efficient and Affordable Zero-Knowledge Proofs for Circuits and Polynomials over Any Field. Kang Yang, Pratik Sarkar, Chenkai Wang, Xiao Wang. ACM SIGSAC Conference on Computer and Communications Security 2021.
[P] Mystique: Efficient Conversions for Zero-Knowledge Proofs with Applications to Machine Learning. Chenkai Weng, Kang Yang, Xiang Xie, Jonathan Katz, Xiao Wang. 30th USENIX Security Symposium.
[P] Wolverine: Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits. Chenkai Weng, Kang Yang, Jonathan Katz, Xiao Wang. IEEE Symposium on Security and Privacy 2021.
2020
[P] Zether: Towards Privacy in a Smart Contract World. Benedikt Bünz, Shashank Agrawal, Mahdi Zamani Dan Boneh. International Conference on Financial Crypotgraphy and Data Security 2020.
[P] Zexe: Enabling decentralized private computation. Sean Bowe, Alessandro Chiesa, Matthew Green, Ian Miers, Pratyush Mishra, Howard Wu. IEEE Symposium on Security and Privacy 2020.
[P] Spartan: Efficient and general-purpose zkSNARKs without trusted setup. Srinath Setty. Annual International Cryptology Conference 2020.
[P] DECO: Liberating web data using decentralized oracles for TLS. Fan Zhang, Deepak Maram, Harjasleen Malvai, Steven Goldfeder, Ari Juels. ACM SIGSAC Conference on Computer and Communications Security, 2020.
Foundational Works
[P] The Knowledge Complexity of Interactive Proof-Systems. Shafi Goldwasser, Silvio Micali, Charles Rackoff. ACM Symposium on Theory of Computing 1985.
[P] How to Prove all NP-statements in Zero-Knowledge, and a Methodology of Cryptographic Protocol Design. Oded Goldreich, Silvio Micali, Avi Wigderson. Advances in Cryptology 1986.
[P] Zero Knowledge Proofs of Identity. Uriel Feige, Amos Fiat, Adi Shamir. ACM Symposium on Theory of Computing 1987.
[P] Non-interactive Zero-Knowledge Proof Systems. Alfredo De Santis, Silvio Micali & Giuseppe Persiano. Advances in Cryptology 1987.
[P] Proofs that Yield Nothing But Their Validity or All Languages in NP Have Zero-Knowledge Proof Systems. Oded Goldreich, Silvio Micali, Avi Wigderson. Journal of the ACM, 1991.
[P] A note on efficient zero-knowledge proofs and arguments. Joe Kilian. ACM Symposium on Theory of Computing 1992.
*Equal Contribution