Research Papers
Current research papers in zero-knowledge proofs
Resources
Table of Contents
- 🎯 SNARK Frontend & Protocol User-facing protocols, semantic design, privacy features and client-side logic
- ⚙️ Backend & Proving System Proving systems, structural optimizations, and reusable backend modules
- 🔐 Cryptography & Theory Mathematical constructions, cryptographic primitives, and security definitions
- 📚 Analysis & Literature Surveys, standards, system evaluations, and security research
🎯 SNARK Frontend & Protocol
User-facing protocols, semantic design, privacy features and client-side logic
📝 Domain-Specific Languages
🧱 SNARK Primitives
🔒 Privacy Applications
📈 Scaling Applications
⚙️ Backend & Proving System
Proving systems, structural optimizations, and reusable backend modules
🔍 Proving Schemes
⚡ Proof Optimization Techniques
💻 zkVM
🧩 Primitives
Linear-Time Accumulation Schemes
WARP: The first linear-time accumulator with logarithmic verifier time, based on hash, supporting unlimited accumulation depth with post-quantum security.
🔐 Cryptography & Theory
Mathematical constructions, cryptographic primitives, and security definitions
🔗 Pairing-Based Cryptography
📐 Algebraic Foundations
🎭 Indistinguishability Obfuscation
📚 Analysis & Literature
Surveys, standards, system evaluations, and security research