pub fn verify(
        &self,
        proof: &SP1ProofWithPublicValues,
        vk: &SP1VerifyingKey,
    ) -> Result<(), SP1VerificationError> {
        self.prover.verify(proof, vk)
    }
Verifies that the given proof is valid and matches the given verification key produced by
[`Self::setup`].

### Examples
```no_run
use sp1_sdk::{ProverClient, SP1Stdin};

let elf = test_artifacts::FIBONACCI_ELF;
let stdin = SP1Stdin::new();

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