Implementation of the DJN voting protocol using C#, F#