#distributed-infrastructure
A set of research notes and deep dives focused on correctness, security, and operational evidence.
Best starting points
The KelpDAO Exploit Was Not a Bug
Incident memo (April 2026): the 116,500 rsETH release via LayerZero EndpointV2 was a semantic guard failure. Signatures are not truth unless they bind to a unique, finalized source-chain debit.
Designing for Catastrophic Failure: Compartmentalization and Recovery
Spec-driven research note (December 2024): Designing for Catastrophic Failure: Compartmentalization and Recovery.
ZKP Systems Engineering: Provers, Verifiers, and Operational Cost
Threat-model-first analysis (November 2024): ZKP Systems Engineering: Provers, Verifiers, and Operational Cost.
Formal Verification of Crypto Protocols: Models, Gaps, and Pain
Spec-driven research note (October 2024): Formal Verification of Crypto Protocols: Models, Gaps, and Pain.
Secure Enclaves in Distributed Systems: Remote Attestation and Trust
Spec-driven research note (September 2024): Secure Enclaves in Distributed Systems: Remote Attestation and Trust.
Roadmap
- Start with assumptions and invariants
- Enumerate failure modes and attack surfaces
- Define what to monitor and how to roll back