An old and incomplete version of the prover for AnonStake (protocol for anonymous proof of stake) Unfortunately, the completed prover code was lost to SSD crash / failure / loss before it could be uploaded to GitHub
A new version of the prover will be uploaded to a different repository
forks bellman library, uses libff / libfqfft library