RANC: Reward-All Nakamoto Consensus

Block-withholding attack analysis using the C++ API of Storm for Markov Decision Process model checking.

Getting Started

Before starting, make sure that Storm is installed. If not, see the documentation for details on how to install Storm.

First, configure and compile the project. Therefore, execute

mkdir build
cd build
cmake ..
make
cd ..

Then, run the executable using

./build/ranc-mdp-analysis 

Distributed under the GNU General Public License Version 3, 29 June 2007.