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.
Overview
3.1.1.
Design at a Glance
3.2.
Design Goals
3.3.
Crosslink
3.3.1.
The Arguments for Bounded Dynamic Availability and Finality Overrides
3.3.2.
Notes On Snap And Chat
3.3.3.
The Crosslink Construction
3.3.4.
Security Analysis of Crosslink
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
Crosslink
Crosslink is the proposed
hybrid construction
for the Trailing Finality Layer.
Contents
The Arguments for Bounded Dynamic Availability and Finality Overrides
Notes On Snap And Chat
The Crosslink Construction
Security Analysis of Crosslink
Questions About Crosslink
Potential Changes to Crosslink