How to reasonably set alpha, f, delta, epsilon, so that Inequality (4) in Ouroboros Genesis paper is satisfied?

input-output-hk / cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

Apache License 2.0

3.78k stars 632 forks source link

How to reasonably set alpha, f, delta, epsilon, so that Inequality (4) in Ouroboros Genesis paper is satisfied? #4245

Open vanishreerao opened 4 years ago

vanishreerao commented 4 years ago

I am trying to set values for alpha, f, delta, epsilon so that the following inequality in the Genesis paper is satisfied: alpha * (1-f)^{delta+1} > (1+epsilon)/2. I am not able to find a reasonable set of parameters and it would be great to know what parameters are set in your code. I only know that in your code f = 0.1. What values are other parameters? Thanks!