Oliver's Blog

❯

❯

❯

2025年4月10日1分钟阅读

Chenkai Weng

QuickSilver: Efficient and Affordable Zero-Knowledge Proofs for Circuits and Polynomials over Any Field
Multi-Verifier Zero-Knowledge Proofs for Any Constant Fraction of Corrupted Verifiers
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
Scalable Zero-knowledge Proofs for Non-linear Functions in Machine Learning
ZKSQL: Verifiable and Efficient Query Evaluation with Zero-Knowledge Proofs