Compositional Formal Verification Of Zero Knowledge Circuits