Fiat-Shamir Transformation Unsoundness Enables Practical Zero-Knowledge False Proofs
The Fiat-Shamir heuristic fails a class of succinct arguments, allowing false statements to be proven, demanding new security models.
Linear Prover Time Unlocks Universal Scalable Zero-Knowledge Proofs
The Orion argument system achieves optimal linear prover time and polylogarithmic proof size, eliminating the primary bottleneck for universal ZKP adoption.
Scaling Zero-Knowledge Proofs through Co-Design and Silently Verifiable Proofs
New co-design paradigm scales zero-knowledge proofs, enabling efficient, private computation via silently verifiable proofs.
Scalable Zero-Knowledge Proofs for Private Analytics and Delegated Computation
This research introduces cryptographic primitives enabling scalable zero-knowledge proofs for private analytics and delegated computation, fundamentally reshaping decentralized system efficiency.
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.
