1.
Introduction
1.1.
A Path to Proof-of-Stake Zcash
1.2.
Trailing Finality Layer in a Nutshell
1.3.
Status and Next Steps
1.4.
Motivating Finality
1.5.
Get Involved
2.
Terminology
3.
Design
3.1.
Design at a Glance
3.2.
Design Goals
3.3.
Crosslink
3.3.1.
The Arguments for Bounded Availability and Finality Overrides
3.3.2.
Notes On Snap‑and‑Chat
3.3.3.
The Crosslink 2 Construction
3.3.4.
Security Analysis of Crosslink 2
3.3.5.
Questions About Crosslink
3.3.6.
Potential Changes to Crosslink
3.4.
Model Code Architecture
3.5.
Network Architecture
4.
Protocol Specification
4.1.
Abstract Protocol
4.1.1.
Token Dynamics
4.2.
Concrete Protocol
4.2.1.
Token Dynamics
5.
Security
5.1.
Abstract Analysis
5.1.1.
Ebb-and-Flow analysis
5.1.2.
Subprotocol Compromise Analysis
5.1.3.
Model Code Architecture Analysis
5.1.4.
Network Architecture Analysis
5.2.
Concrete Analysis
6.
References
7.
Version History
Light
Rust
Coal
Navy
Ayu
Zcash Trailing Finality Layer - v0.1.0
References
Ebb-and-Flow Protocols
Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma