r1cs-bellman (cargo): A bellman backend for the r1cs crate
Keywords: snark|r1cs|cryptography