Oliver's Survey

❯

❯

2025年4月10日1分钟阅读

Xiao Wang

汪骁

QuickSilver: Efficient and Affordable Zero-Knowledge Proofs for Circuits and Polynomials over Any Field
Proving UNSAT in Zero Knowledge
Ou: Automating the Parallelization of Zero-Knowledge Protocols
Wolverine: Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and Arithmetic Circuits
Mystique: Efficient Conversions for Zero-Knowledge Proofs with Applications to Machine Learning
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge
ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs
Founding Zero-Knowledge Proofs of Training on Optimum Vicinity
Jonathan Katz