--prover-name & --verifier-name should accept relative paths & files with extensions

[LogvinovLeon]

Problem

Currently nargo prove command allows you to specify --prover-name & --verifier-name. But it requires that both files live in the same folder as the code and you can't pass names with dots in them. As in - Verifier.id will get converted by overriding extension and normal Verifier will be overriden.

Happy Case

nargo prove --prover-path ../../private_data/Prover.uuid.toml

Project Impact

Nice-to-have

Impact Context

No response

Workaround

None

Workaround Description

One can use underscores instead of dots and store all the files in the same directory. Ugly but works

Additional Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response