Blockchain Protocols
Browse series · RSS · Atom
Start here: first entry.
The Ledger as a State Machine: Execution, Determinism, and Reproducibility
Adversarial-first deep dive (January 2019): The Ledger as a State Machine: Execution, Determinism, and Reproducibility.
Mempool Design Under Adversarial Load: Admission, Fees, and Spam
Adversarial-first deep dive (February 2019): Mempool Design Under Adversarial Load: Admission, Fees, and Spam.
Gossip Networks: Propagation, Eclipse Attacks, and Topology
Adversarial-first deep dive (March 2019): Gossip Networks: Propagation, Eclipse Attacks, and Topology.
Finality and Reorgs: What Users Think vs What Protocols Provide
Engineering notebook entry (April 2019): Finality and Reorgs: What Users Think vs What Protocols Provide.
Light Clients: Trust Minimization Without Full Replication
Threat-model-first analysis (May 2019): Light Clients: Trust Minimization Without Full Replication.
State Commitments: Merkle, Verkle, and Proof Sizes
Correctness-focused deep dive (June 2019): State Commitments: Merkle, Verkle, and Proof Sizes.
Fee Markets and MEV: Incentives as an Adversary
Adversarial-first deep dive (July 2019): Fee Markets and MEV: Incentives as an Adversary.
Bridges: Where Trust Comes Back to Collect
Spec-driven research note (August 2019): Bridges: Where Trust Comes Back to Collect.
ZK in Protocols: Proof Systems as Network Primitives
Spec-driven research note (September 2019): ZK in Protocols: Proof Systems as Network Primitives.
Formalizing a Blockchain Protocol: Properties Worth Proving
Engineering notebook entry (October 2019): Formalizing a Blockchain Protocol: Properties Worth Proving.
Rust Node Architecture: Storage, Networking, and Deterministic Execution
Adversarial-first deep dive (November 2019): Rust Node Architecture: Storage, Networking, and Deterministic Execution.
Validator Ops: Key Security, Slashing, and Fault Containment
Design memo (December 2019): Validator Ops: Key Security, Slashing, and Fault Containment.