This connects the r1cs crate, which generates R1CS gadget, to the bellman crate, which generates Groth16 proofs.