nim-dagger/tests/circuits/fixtures/proof_main.r1cs