search

Electric-Coin-Company / tfl-book

A Trailing Finality Layer book for a proposed Zcash protocol change.
MIT License
5 stars 2 forks source link

Provide a rigorous definition of Safety #121

Open nathan-at-least opened 8 months ago

nathan-at-least commented 8 months ago

Suggested Improvement

The book needs a rigorous definition of Safety.