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 003: Hashing

This paper explains cryptographic hashing as a fundamental building block of digital infrastructure, defining hash functions as one-way operations that deterministically map arbitrary-sized inputs to fixed-sized outputs while revealing no information about the input. The authors emphasize key properties including collision resistance and the practical irreversibility of hashing, distinguishing it from encryption.

blockchain infrastructure protocols

Mario Havel, Tim Beiko

Topics

blockchain infrastructure protocols research technology