Introduction
Terminology
Design
1. Design at a Glance
2. Design Goals
3. Crosslink
5. Model Code Architecture
6. Network Architecture
Protocol Specification
1. Abstract Protocol
2. 1. Token Dynamics
3. Concrete Protocol
4. 1. Token Dynamics
Security
1. Abstract Analysis
2. 1. Ebb-and-Flow analysis
  2. Subprotocol Compromise Analysis
  3. Model Code Architecture Analysis
  4. Network Architecture Analysis
3. Concrete Analysis
References
Version History

Zcash Trailing Finality Layer - v0.1.0

Crosslink

Crosslink is the proposed hybrid construction for the Trailing Finality Layer. The current version is Crosslink 2.

Contents

The Arguments for Bounded Availability and Finality Overrides
Notes On Snap‑and‑Chat
The Crosslink 2 Construction
Security Analysis of Crosslink 2
Questions About Crosslink
Potential Changes to Crosslink