refactor: Refactor proof handling for ownership and borrowing

[huitseeker]

On a long enough timeline, we'll want to generate compressed proofs without dropping the associated RecursiveProof. This is for the purpose of re-starting the proof using the prior RecursiveProof, which at the moment can only be obtained through cloning prior to compression (which itself would be impossible prior to the companion PR used here).

The current approach witnesses that compression only requires a reference to the current proof, and returns a Cow: the only situation in which this would result in a clone is if:

• we create a CompressedProof,
• we call compress() on it,
• we further perform a modification of the resulting CompressedProof that requires an owned value.
  => this flow seems unlikely.

In detail:

• Updated compress function across various files to take &self instead of self, avoiding the drop of the RecursiveProof;
• Adjusted dependencies in chain-server's Cargo.toml to use workspace versions, streamlining dependency management and increasing project consistency.

Note

This depends on and requires the companion PR argumentcomputer/arecibo#364. CI is fully expected to fail on the cargo-deny job due to use of a fork (until companion PR is merged).

[arthurpaulino]

This is for the purpose of re-starting the proof using the prior RecursiveProof, which at the moment can only be obtained through cloning prior to compression

How come? #1209 accomplishes the above without such clone

[huitseeker]

How come? #1209 accomplishes the above without such clone

That's because #1209 drops the recursive proofs as it calls compress on them (compress takes ownership of self, and does not return self in case of actual compression).

This is fine for #1209, since reusing the recursive proof after compression of that recursive proof is not exercised anywhere I could spot.

[arthurpaulino]

Indeed, we're going to need this in order to compress the recursive proof and still move on with it, without losing ownership. Thanks for unlocking this!

[arthurpaulino]

Now that #1209 was merged, this has become high priority to unlock the next steps of the proof server