HALO2 - mermbership proof generation and verification

prove membership in a merkle tree

Instruction

Compile the repo

`cargo build`  

Run examples

`cargo test --release -- --nocapture`

Plot the circuit layout

`cargo test --release --features dev-graph -- --nocapture plot_merkle1`