Papers

Here is a listing of scientific papers that explore the topics in more depth, provide different foundations, or touch on more advanced topics.

• Transparency Dictionaries with Succinct Proofs of Correct Operation
• A Digital Signature Based on a Conventional Encryption Function
• CeFi vs. DeFi -- Comparing Centralized to Decentralized Finance
• Certificate Transparency
• CONIKS: Bringing Key Transparency to End Users
• Efficient Sparse Merkle Trees | Caching Strategies and Secure (Non-)Membership Proofs
• Merkle²: A Low-Latency Transparency Log System
• MiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative Complexity
• Pinocchio: Nearly Practical Verifiable Computation
• POSEIDON: A New Hash Function for Zero-Knowledge Proof Systems
• Quarks: Quadruple-efficient transparent zkSNARKs
• Recursive Proof Composition without a Trusted Setup
• Spartan: Efficient and general-purpose zkSNARKs without trusted setup
• Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture
• The Knowledge Complexity of Interaction Proof Systems
• Transparency Logs via Append-Only Authenticated Dictionaries
• Zerocash: Decentralized Anonymous Payments from Bitcoin

tbc