🎯 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 SchemesExternal Link

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

📚 Analysis & Literature

Surveys, standards, system evaluations, and security research

📋 Survey & SoK

📊 Benchmark

🛡️ Security