Oliver's Survey

❯

❯

2025年4月10日1分钟阅读

Dawn Song

CHURP: Dynamic-committee proactive secret sharing
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
Orion: Zero Knowledge Proof with Linear Prover Time
Sok: data sovereignty
Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof
Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs
Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution
MIRAGE: Succinct arguments for randomized algorithms with applications to universal zk-SNARKs