Blockchain Protocols
Protocol engineering for adversarial networks: consensus, mempools, incentives, finality, and operational correctness at scale.
Best starting points
Rust Node Architecture: Storage, Networking, and Deterministic Execution
Adversarial-first deep dive (November 2019): Rust Node Architecture: Storage, Networking, and Deterministic Execution.
Formalizing a Blockchain Protocol: Properties Worth Proving
Engineering notebook entry (October 2019): Formalizing a Blockchain Protocol: Properties Worth Proving.
ZK in Protocols: Proof Systems as Network Primitives
Spec-driven research note (September 2019): ZK in Protocols: Proof Systems as Network Primitives.
Bridges: Where Trust Comes Back to Collect
Spec-driven research note (August 2019): Bridges: Where Trust Comes Back to Collect.
Fee Markets and MEV: Incentives as an Adversary
Adversarial-first deep dive (July 2019): Fee Markets and MEV: Incentives as an Adversary.
Roadmap
- State machine + determinism
- Adversarial networking + eclipse/DoS considerations
- Finality, reorgs, and user-facing guarantees
- Validator ops: keys, slashing, fault containment