From 86f7bfe531a5da1743bb381ab07447e39a42c66f Mon Sep 17 00:00:00 2001
From: Chris Tian <chris@succinct.xyz>
Date: Fri, 10 Jan 2025 23:15:10 +0000
Subject: [PATCH] update

---
 .../generating-proofs/prover-network/usage.md | 29 +++++++++++++++++--
 crates/sdk/src/network/prover.rs              |  1 -
 2 files changed, 27 insertions(+), 3 deletions(-)

diff --git a/book/docs/generating-proofs/prover-network/usage.md b/book/docs/generating-proofs/prover-network/usage.md
index 3d40968c4..8c66a12d4 100644
--- a/book/docs/generating-proofs/prover-network/usage.md
+++ b/book/docs/generating-proofs/prover-network/usage.md
@@ -32,7 +32,13 @@ You can view your proof and other running proofs on the [explorer](https://netwo
 
 ## Advanced Usage
 
-If you are using the prover network in a production system, or otherwise want to use advanced features such as async, skipping local simulation, or accessing the proof ID, you should use `sp1_sdk::NetworkProver` directly.
+If you are using the prover network in a production system, or otherwise want to use advanced features, you should use `sp1_sdk::NetworkProver` directly.
+
+Advanced features include:
+* Skipping local simulation
+* Requesting a proof, which returns a proof ID, and then waiting for the proof to be fulfilled
+* Async support
+* Requesting a proof using a custom fulfillment strategy, such as for reserved prover network capacity
 
 ```rust,no_run
 use sp1_sdk::{network::FulfillmentStrategy, Prover, ProverClient};
@@ -41,10 +47,29 @@ use std::time::Duration;
 let prover = ProverClient::builder().network().build();
 let (pk, vk) = prover.setup(ELF);
 
-// Request proof
+// Request proof and get the proof ID immediately
 let request_id = prover.prove(&pk, &stdin).groth16().skip_simulation(true).request_async().await.unwrap();
 println!("Proof request ID: {}", request_id);
 
 // Wait for proof complete with a timeout
 let proof = prover.wait_proof(request_id, Some(Duration::from_secs(60 * 60))).await.unwrap();
+
+// Request a proof with reserved prover network capacity
+let proof = prover
+    .prove(&pk, &stdin)
+    .groth16()
+    .skip_simulation(true)
+    .fulfillment_strategy(FulfillmentStrategy::Reserved)
+    .run_async()
+    .await
+    .unwrap();
+
+// Request a proof and then block immediately until the proof is fulfilled
+let proof = prover
+    .prove(&pk, &stdin)
+    .groth16()
+    .skip_simulation(true)
+    .fulfillment_strategy(FulfillmentStrategy::Reserved)
+    .run()
+    .unwrap();
 ```
diff --git a/crates/sdk/src/network/prover.rs b/crates/sdk/src/network/prover.rs
index fbab017a2..fb51409a8 100644
--- a/crates/sdk/src/network/prover.rs
+++ b/crates/sdk/src/network/prover.rs
@@ -19,7 +19,6 @@ use crate::{
 use alloy_primitives::B256;
 use anyhow::Result;
 use backoff::{future::retry, Error as BackoffError, ExponentialBackoff};
-use serde::de::DeserializeOwned;
 use sp1_core_executor::{SP1Context, SP1ContextBuilder};
 use sp1_core_machine::io::SP1Stdin;
 use sp1_prover::{components::CpuProverComponents, SP1Prover, SP1_CIRCUIT_VERSION};