<aside> 💡

WARNING: THIS DOCUMENT IS WIP

</aside>

Owner: @Naqib Zarin

Outline

  1. Introduction
  2. Definitions
  3. Structures
  4. Attack vectors
  5. Safety and liveness proof sketch
  6. Illustrative examples.

1. Introduction

2. Notations and definitions

In this section, we are going introduce some notations and formalize relevant definitions.

2.1 Notations

Symbol Name Description
$B$ Blocks The set of all Cryptarchia blocks currently known to honest nodes
$T$ Historical block tree The complete historical block tree containing every block in $B$
$k$ Finality depth A system-wide fixed security parameter
$T_c = b_{genesis}, b_1, ..., b_h$ Canonical chain The current canonical chain with tip at block height $h$.
$T_f := b_{genesis}, b_1, ..., b_{h-k}$ Finalized prefix Blocks that are buried by at least $k$ successors
$M$ Transactions The set of all transactions ever created

2.2 Definitions