Work on the Circom pieces of the Proving System

[bkomuves]

Initial work is happening here: https://github.com/codex-storage/zk-research-artifacts/tree/master/storage_proofs/MVP

To be moved into the main repo when it stabilizes.