Adding the zerocoin library