Vector Oblivious Linear Evaluation Unlocks Efficient Zero-Knowledge Proof Systems
VOLE-ZK leverages MPC primitives to construct highly efficient, CPU-friendly zero-knowledge proofs for complex computation.
Scalable Collaborative zk-SNARKs Decouple Proving from Centralization and Resource Bottlenecks
Collaborative zk-SNARKs distribute the prover's work across multiple servers, achieving a 30x speedup and 16x larger circuits for mass-scale verifiable computation.
Succinct One-Sided Private Set Intersection for Confidential Data Matching
This research introduces a novel cryptographic primitive enabling private set intersection where one party learns the common elements succinctly, without revealing their own set.
Scalable Zero-Knowledge Proofs: Optimizing Delegation and Private Aggregation
This research introduces novel proof systems and architectures that fundamentally scale zero-knowledge proofs, reducing server communication costs for privacy-preserving applications.
