This library contains circuit for SHA-512 hash function and circuit representation of u64, created using bellperson (Filecoin's fork of bellman).
This project was part of the submission for ZK MOOC Hackathon for zk-Circuits Track and it was selected as one of the winners for Category 2: Circuits/R1CSs for recursive SNARKs.