Minor: merge v0.1.1 to develop#21

jonathanpwang merged 5 commits into

developaxiom-crypto/snark-verifier:developfrom

jpw/merge_0.1.1_to_developaxiom-crypto/snark-verifier:jpw/merge_0.1.1_to_developCopy head branch name to clipboard