pub fn compressed(mut self) -> Self {
        self.mode = SP1ProofMode::Compressed;
        self
    }
Set the proof kind to [`SP1ProofMode::Compressed`] mode.

# Details
This mode produces a proof that is of constant size, regardless of the number of cycles. It
takes longer to prove than [`SP1ProofMode::Core`] due to the need to recursively aggregate
proofs into a single proof.

# Example
```rust,no_run
use sp1_sdk::{Prover, ProverClient, SP1Stdin};

let elf = &[1, 2, 3];
let stdin = SP1Stdin::new();

let client = ProverClient::from_env();
let (pk, vk) = client.setup(elf);
let builder = client.prove(&pk, &stdin).compressed().run();
```
crates/sdk/src/env/prove.rs