Hash circruit

Test & Benchmark

make bench could be used to benchmark prover and verifier.
make lint could be used to format and check the current code.
make test could be used to run unit tests with release build.