This library contains circuit for SHA-512 hash function and circuit representation of u64, created using bellperson (Filecoin's fork of bellman).