Starting on the FSM code related to zerocoin