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