Round 1 / EC Finality Calculator

The EC Finality Calculator consists of a theoretical analysis of EC finality (in the form of a technical report), a calculator specification and evaluation (in the form of a merged FRC), and a working prototype (as a stand-alone python implementation). This set of layered contributions enables participants to compute the reversal probabilities for any past tipset, and consequently consider transactions as final according to desired risk criteria.