Executable simulation tool for Nxt-like 100 Proof-of-Stake forging wit

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
1. Executable simulation tool for Nxt-like 100% Proof-of-Stake forging(with delays & transactions). Executable
multibranching forging simulation tool(to estimate properties & computational requirements of Transparent Forging).
Some proofs around the code. 1 paper + 5 articles at least.
Estimated duration: 2-4 weeks.
Corresponding lot size: 300,000 Nxt
2. Research on Consensus properties of multibranch forging. In particular, Nothing-At-Stake problem will be formally
defined and analyzed after this milestone.
Estimated duration: 6-8 weeks.
Corresponding lot size: 400,000 Nxt
3. Formally proven and secure proof-of-stake forging model(with reference implementation in Haskell w. Coq)
Estimated duration: 6-8 weeks.
Corresponding lot size: 400,000 Nxt
Well, further milestones will be clear after. Finally, we're looking for the cryptocurrencies networks algorithms
where consensus itself would be much more profitable than forging (or mining) and we believe that our approach could
demonstrate the benefits in a rational formal way.
We'll publish bi-weekly reports on progress.