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