cluster_3
Design Phase 2 - Integrated Crosslink
cluster_0
Design and Implementation Phase 4
cluster_1
Implementation Phase 1: Simulation Codebase
cluster_4
Prototype Phase 1
cluster_2
Design and Implementation Phase 3
cluster_5
Prototype Phase 2
ECC/tfl-book#86
ECC/tfl-book#86
Define macros so that we
can easily use Crosslink
notation in the book
ECC/tfl-book#142
ECC/tfl-book#142
Write up Crosslink 2
ECC/tfl-book#86->ECC/tfl-book#142
ECC/tfl-book#99
ECC/tfl-book#99
Design Milestone 2 - tfl-
book v0.2.0 - Integrated
Crosslink
ECC/tfl-book#142->ECC/tfl-book#99
ECC/tfl-book#71
ECC/tfl-book#71
Analyze Crosslink against
a set of known PoS
attacks
ECC/tfl-book#99->ECC/tfl-book#71
ECC/tfl-book#72
ECC/tfl-book#72
Analyze Crosslink against
a set of known PoW
attacks.
ECC/tfl-book#99->ECC/tfl-book#72
ECC/zebra-tfl#4
ECC/zebra-tfl#4
Prototype release 0.x
(for phase 2)
ECC/tfl-book#99->ECC/zebra-tfl#4
ECC/tfl-book#77
ECC/tfl-book#77
Add "Avoided Terms"
section in "Terminology"
ECC/tfl-book#77->ECC/tfl-book#99
ECC/tfl-book#25
ECC/tfl-book#25
Add style guide / textual
conventions.
ECC/tfl-book#25->ECC/tfl-book#99
ECC/tfl-book#119
ECC/tfl-book#119
Clarify the distinctions
between pure PoW, the PoW
subprotocol, NU6, and
fork-choice vs all of
transaction semantics
ECC/tfl-book#119->ECC/tfl-book#99
ECC/tfl-book#42
ECC/tfl-book#42
Does Snap-and-Chat design
split the minimum cost of
attack for specific known
attacks?
ECC/tfl-book#49
ECC/tfl-book#49
Clarify our "weakest
link" security concerns
in precise questions.
ECC/tfl-book#42->ECC/tfl-book#49
ECC/tfl-book#82
ECC/tfl-book#82
Analyze Crosslink against
our best known combined
attacks
ECC/tfl-book#49->ECC/tfl-book#82
ECC/tfl-book#84
ECC/tfl-book#84
Publish a "Design
Milestone 4" release
ECC/tfl-book#82->ECC/tfl-book#84
ECC/zebra-tfl#7
ECC/zebra-tfl#7
Prototype sufficient to
resolve design issues for
Hybrid PoS
ECC/tfl-book#84->ECC/zebra-tfl#7
ECC/tfl-book#47
ECC/tfl-book#47
Ebb-and-Flow: what are
the impacts of
subprotocols sharing
resources?
ECC/tfl-book#47->ECC/tfl-book#49
ECC/tfl-book#48
ECC/tfl-book#48
Write Best-Effort /
Napkin Math approximation
of Min. Cost of Known
Attack metric for several
attacks.
ECC/tfl-book#48->ECC/tfl-book#49
ECC/simtfl#11
ECC/simtfl#11
Implement combined
attacks
ECC/simtfl#11->ECC/tfl-book#82
ECC/tfl-book#70
ECC/tfl-book#70
Adapt CometBFT (formerly
TendermintBFT) into
Crosslink
ECC/simtfl#11->ECC/tfl-book#70
ECC/simtfl#17
ECC/simtfl#17
simtfl 1.0.0
(corresponding to Design
and Implementation Phase
4)
ECC/simtfl#11->ECC/simtfl#17
ECC/tfl-book#5
ECC/tfl-book#5
Prototype CometBFT
(formerly TendermintBFT)
as the finality
subprotocol.
ECC/tfl-book#70->ECC/tfl-book#5
ECC/tfl-book#116
ECC/tfl-book#116
Evaluate PoS subprotocol
candidates and their
Crosslink adaptations
ECC/tfl-book#70->ECC/tfl-book#116
ECC/simtfl#17->ECC/tfl-book#84
ECC/tfl-book#5->ECC/tfl-book#84
ECC/tfl-book#116->ECC/tfl-book#84
ECC/tfl-book#39
ECC/tfl-book#39
Analyze Attack Scenario:
Compromised Finality
Oracle + Miner only
finalizes that miner's
blocks
ECC/tfl-book#39->ECC/simtfl#11
ECC/tfl-book#111
ECC/tfl-book#111
How can HotStuff be
described in Crosslink's
BFT model?
ECC/tfl-book#111->ECC/tfl-book#116
ECC/tfl-book#132
ECC/tfl-book#132
Does the issue about
block chains not being
one-shot invalidate the
liveness analysis for
Snap-and-Chat?
ECC/tfl-book#132->ECC/tfl-book#82
ECC/simtfl#7
ECC/simtfl#7
Define BC abstractions
and PoW (honest behaviour
only)
ECC/simtfl#8
ECC/simtfl#8
Define Crosslink (honest
behaviour only)
ECC/simtfl#7->ECC/simtfl#8
ECC/simtfl#9
ECC/simtfl#9
Implement some known PoW
attacks
ECC/simtfl#7->ECC/simtfl#9
ECC/simtfl#14
ECC/simtfl#14
simtfl 0.2.0
(corresponding to
Implementation Phase 1:
Simulation Codebase)
ECC/simtfl#8->ECC/simtfl#14
ECC/simtfl#9->ECC/simtfl#14
ECC/simtfl#14->ECC/tfl-book#71
ECC/simtfl#14->ECC/tfl-book#72
ECC/simtfl#15
ECC/simtfl#15
Design/document the
network layer used in the
simulation
ECC/simtfl#16
ECC/simtfl#16
Implement network layer
ECC/simtfl#15->ECC/simtfl#16
ECC/simtfl#16->ECC/simtfl#8
ECC/simtfl#16->ECC/simtfl#9
ECC/simtfl#10
ECC/simtfl#10
Implement some known BFT
and/or PoS attacks
ECC/simtfl#16->ECC/simtfl#10
ECC/simtfl#10->ECC/simtfl#14
ECC/simtfl#20
ECC/simtfl#20
Add test coverage that
ensures edge cases lead
to invalid blocks
ECC/simtfl#20->ECC/simtfl#9
ECC/simtfl#25
ECC/simtfl#25
Finish Streamlet
ECC/simtfl#25->ECC/simtfl#8
ECC/simtfl#25->ECC/simtfl#10
ECC/zebra-tfl#3
ECC/zebra-tfl#3
Add test harness
ECC/zebra-tfl#1
ECC/zebra-tfl#1
Prototype release 0.1
ECC/zebra-tfl#3->ECC/zebra-tfl#1
ECC/zebra-tfl#1->ECC/zebra-tfl#4
ECC/zebra-tfl#6
ECC/zebra-tfl#6
Create a testnet
ECC/zebra-tfl#6->ECC/zebra-tfl#1
ECC/tfl-book#123
ECC/tfl-book#123
Explain why we're more
confident in Crosslink
security vs the other
hybrid construction
candidates
ECC/tfl-book#71->ECC/tfl-book#123
ECC/tfl-book#81
ECC/tfl-book#81
Write up conclusions of
analyzing Crosslink
against some known
attacks
ECC/tfl-book#123->ECC/tfl-book#81
ECC/tfl-book#137
ECC/tfl-book#137
Improve Goals,
Requirements, and
Desiderata
ECC/tfl-book#123->ECC/tfl-book#137
ECC/tfl-book#136
ECC/tfl-book#136
Design Phase 3 - tfl-book
v0.3.0 - simtfl results &
PoS Goals / Reqs
ECC/tfl-book#81->ECC/tfl-book#136
ECC/tfl-book#137->ECC/tfl-book#136
ECC/tfl-book#136->ECC/tfl-book#42
ECC/tfl-book#136->ECC/tfl-book#47
ECC/tfl-book#136->ECC/tfl-book#48
ECC/tfl-book#136->ECC/tfl-book#39
ECC/tfl-book#72->ECC/tfl-book#123
ECC/tfl-book#134
ECC/tfl-book#134
Decide on slashing
requirements from the
economic, security, and
UX trade-offs around
slashing or no-slashing
staking protocols
ECC/tfl-book#117
ECC/tfl-book#117
Define PoS Subprotocol
goals, requirements, and
desiderata
ECC/tfl-book#134->ECC/tfl-book#117
ECC/tfl-book#117->ECC/tfl-book#137
ECC/tfl-book#140
ECC/tfl-book#140
Analyse and improve
Crosslink's security
against combined eclipse
/ validator key
compromise attacks
ECC/tfl-book#140->ECC/tfl-book#72
ECC/zebra-tfl#4->ECC/tfl-book#70
ECC/zebra-tfl#11
ECC/zebra-tfl#11
Consider putting bft-
proposals in bc-block-
headers
ECC/zebra-tfl#11->ECC/zebra-tfl#4
ECC/tfl-book#150
ECC/tfl-book#150
Design staking for Hybrid
PoS
ECC/zebra-tfl#7->ECC/tfl-book#150
ECC/tfl-book#152
ECC/tfl-book#152
Design activation logic
for Hybrid PoS
ECC/zebra-tfl#7->ECC/tfl-book#152
ECC/tfl-book#153
ECC/tfl-book#153
Design interaction of BFT
and PoW components of
Hybrid PoS
ECC/zebra-tfl#7->ECC/tfl-book#153
ECC/tfl-book#151
ECC/tfl-book#151
Initial documentation of
all elements of the
Hybrid PoS design
ECC/tfl-book#150->ECC/tfl-book#151
ECC/tfl-book#152->ECC/tfl-book#151
ECC/tfl-book#153->ECC/tfl-book#151
ECC/tfl-book#149
ECC/tfl-book#149
Finalize documentation of
Hybrid PoS protocol
ECC/tfl-book#151->ECC/tfl-book#149
ECC/zebra-tfl#8
ECC/zebra-tfl#8
Prototype of in-principle
deployable Hybrid PoS
design using Zebra
ECC/tfl-book#151->ECC/zebra-tfl#8
ECC/tfl-book#146
ECC/tfl-book#146
Create a feature Testnet
for Hybrid PoS deployment
ECC/tfl-book#145
ECC/tfl-book#145
Deploy initial candidate
for a Hybrid PoS protocol
on a feature Testnet
ECC/tfl-book#146->ECC/tfl-book#145
ECC/tfl-book#147
ECC/tfl-book#147
Make sure other
concurrently developed
features are merged into
Hybrid PoS Testnet
ECC/tfl-book#145->ECC/tfl-book#147
ECC/tfl-book#148
ECC/tfl-book#148
Integration audit of
Hybrid PoS protocol plus
other concurrent
features, as deployed to
feature Testnet
ECC/tfl-book#145->ECC/tfl-book#148
ECC/zebra-tfl#10
ECC/zebra-tfl#10
Working toolchain for all
features of Hybrid PoS
ECC/tfl-book#145->ECC/zebra-tfl#10
ECC/tfl-book#154
ECC/tfl-book#154
Obtain community
consensus to deploy
Hybrid PoS on public
Testnet and (if
successful) Mainnet
ECC/tfl-book#147->ECC/tfl-book#154
ECC/tfl-book#148->ECC/tfl-book#154
ECC/zebra-tfl#10->ECC/tfl-book#148
ECC/tfl-book#144
ECC/tfl-book#144
Deploy Hybrid PoS
protocol on public
Testnet
ECC/tfl-book#154->ECC/tfl-book#144
ECC/tfl-book#156
ECC/tfl-book#156
Finalize details of
Hybrid PoS deployment on
Mainnet
ECC/tfl-book#144->ECC/tfl-book#156
ECC/tfl-book#143
ECC/tfl-book#143
Deploy a Hybrid PoS
protocol on Mainnet
ECC/tfl-book#156->ECC/tfl-book#143
ECC/tfl-book#149->ECC/tfl-book#147
ECC/zebra-tfl#8->ECC/zebra-tfl#10
ECC/zebra-tfl#9
ECC/zebra-tfl#9
Merge Hybrid PoS
implementation into Zebra
behind a feature flag
ECC/zebra-tfl#8->ECC/zebra-tfl#9