docs: README (#61)

* docs: README

* fix

README.md

@@ -19,10 +19,10 @@ Standalone repo to use Kona & SP1 to verify OP Stack blocks.
    first generate proofs for `range` programs for each batch, then use `aggregation` to
    generate an aggregate proof.
 
-## Run `op-succinct`
+## Running `op-succinct`
 
-To generate validity proofs for an OP Stack chain, see [OP_PROPOSER.md](./OP_PROPOSER.md).
+For instructions on generating validity proofs for an OP Stack chain, refer to the [`op-succinct` Guide](./OP_PROPOSER.md).
 
-## Cycle Counts
+## Estimating Cycle Counts
 
-To see how to get the cycle counts for a given block range, see [CYCLE_COUNT.md](./CYCLE_COUNT.md).
+To learn how to estimate cycle counts for a given block range, check out our [Cycle Count Guide](./CYCLE_COUNT.md).

prover-server/bin/fetch_and_save_proof.rs

@@ -21,15 +21,15 @@ struct Args {
     #[arg(short, long)]
     chain_id: u64,
 
-    /// Agg proof
+    /// Aggregate proof.
     #[arg(short, long)]
     agg_proof: bool,
 
-    /// Start L2 block number
+    /// Start L2 block number.
     #[arg(short, long, required = false)]
     start: Option<u64>,
 
-    /// End L2 block number
+    /// End L2 block number.
     #[arg(short, long, required = false)]
     end: Option<u64>,
 }