chore: add final_proof_name input to cli prove command (#188)

## What ❔

* [x] Add `final_proof_name` input to cli prove command.

<!-- What are the changes this PR brings about? -->
<!-- Example: This PR adds a PR template to the repo. -->
<!-- (For bigger PRs adding more context is appreciated) -->

## Why ❔

To simplify the usage of CLI in protocol upgrade scripts, remove the
need to copy the hardcoded proof name.

<!-- Why are these changes done? What goal do they contribute to? What
are the principles behind them? -->
<!-- The `Why` has to be clear to non-Matter Labs entities running their
own ZK Chain -->
<!-- Example: PR templates ensure PR reviewers, observers, and future
iterators are in context about the evolution of repos. -->

## Is this a breaking change?
- [ ] Yes
- [x] No

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [x] Tests for the changes have been added / updated.
- [x] Documentation comments have been added / updated.
- [x] Code has been formatted.

Author: antonbaliasnikov

tools/cli/src/main.rs

@@ -85,6 +85,10 @@ enum Commands {
         input: InputConfig,
         #[arg(long, default_value = "output")]
         output_dir: String,
+
+        #[arg(long, default_value = "final_program_proof.json")]
+        final_proof_name: String,
+
         #[arg(long, value_enum, default_value = "standard")]
         machine: Machine,
         // If proving for recursion - you must also pass the previous metadata info.
@@ -288,6 +292,7 @@ fn main() {
             bin,
             input,
             output_dir,
+            final_proof_name,
             machine,
             prev_metadata,
             cycles,
@@ -300,6 +305,7 @@ fn main() {
             create_proofs(
                 bin,
                 output_dir,
+                final_proof_name,
                 input_data,
                 prev_metadata,
                 machine,

tools/cli/src/prover_utils.rs

@@ -61,6 +61,7 @@ pub fn u32_from_hex_string(hex_string: &str) -> Vec<u32> {
 pub fn create_proofs(
     bin_path: &String,
     output_dir: &String,
+    final_proof_name: &String,
     input_data: Option<Vec<u32>>,
     prev_metadata: &Option<String>,
     machine: &Machine,
@@ -176,7 +177,7 @@ pub fn create_proofs(
 
                 serialize_to_file(
                     &program_proof,
-                    &Path::new(output_dir).join("final_program_proof.json"),
+                    &Path::new(output_dir).join(final_proof_name),
                 );
             }
             ProvingLimit::Snark => todo!(),