Skip to content

Zero-Knowledge Explainer Series

Paper Summer of Protocols
researcher academic
Download →

This explainer introduces zero-knowledge proofs as a cryptographic domain that enables proving knowledge of data without fully revealing it, using the analogy of a dimmer switch to illustrate how ZK protocols control information visibility. The piece demonstrates the concept through the Alice-and-Bob probability example, showing how repeated correct guesses establish proof of knowledge while keeping the underlying information hidden from the verifier.

Related resources

Paper

Addressing

This paper examines addressing schemes in computing systems, from physical memory addresses to hierarchical file organization and internet URLs, establishing how different protocols and structures require distinct addressing mechanisms to navigate data storage and retrieval. The authors argue that computers must support multiple addressing paradigms that work seamlessly together, drawing analogies between digital addressing and physical-world location systems.

blockchain infrastructure protocols

Tim Beiko, Mario Havel

Paper

Protocol Foundations 001: Cryptography

This foundational paper traces the historical development of cryptography from Caesar ciphers to modern encryption techniques, establishing symmetric-key encryption as a core design principle where a shared key enables both encryption and decryption of messages. The authors situate cryptographic methods as essential infrastructure for secure communication protocols, with examples ranging from wartime military applications to contemporary computational systems.

blockchain infrastructure protocols

Mario Havel, Tim Beiko

Paper

Protocol Foundations 004

This paper explains how hashes and hash-based data structures, particularly hash tables and Merkle trees, enable efficient data integrity verification and lookup in large-scale information systems. The authors build on foundational cryptographic concepts to demonstrate how these structures form the basis for secure data proofs in modern digital infrastructure.

blockchain infrastructure protocols

Mario Havel, Tim Beiko

Topics

blockchain infrastructure protocols research technology