LegoSNARK Modular Design and Composition of Succinct Zero Knowledge Proofs - Dario Fiore