Oliver's Survey

❯

❯

2025年4月10日1分钟阅读

Jiaheng Zhang

BatchZK: A Fully Pipelined GPU-Accelerated System for Batch Generation of Zero-Knowledge Proofs
Zero Knowledge Proofs for Decision Tree Predictions and Accuracy
Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time
zkBridge: Trustless Cross-chain Bridges Made Practical
Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation
Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof
Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs
HyperPianist: Pianist with Linear-Time Prover and Logarithmic Communication Cost
Polynomial Commitment with a One-to-Many Prover and Applications
DeepFold: Efficient Multilinear Polynomial Commitment from Reed-Solomon Code and Its Application to Zero-knowledge Proofs