chore: bump sdk to v5.2.2 (#2463)

Author: leruaa

Cargo.lock

@@ -1,5 +1,5 @@
 [workspace.package]
-version = "5.2.1"
+version = "5.2.2"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 repository = "https://github.com/succinctlabs/sp1"
@@ -49,27 +49,27 @@ debug-assertions = true
 
 [workspace.dependencies]
 # sp1
-sp1-build = { path = "crates/build", version = "5.2.1" }
-sp1-cli = { path = "crates/cli", version = "5.2.1", default-features = false }
-sp1-core-machine = { path = "crates/core/machine", version = "5.2.1", default-features = false }
-sp1-core-executor = { path = "crates/core/executor", version = "5.2.1" }
-sp1-curves = { path = "crates/curves", version = "5.2.1" }
-sp1-derive = { path = "crates/derive", version = "5.2.1" }
-sp1-eval = { path = "crates/eval", version = "5.2.1" }
-sp1-helper = { path = "crates/helper", version = "5.2.1", default-features = false }
-sp1-primitives = { path = "crates/primitives", version = "5.2.1" }
-sp1-prover = { path = "crates/prover", version = "5.2.1" }
-sp1-recursion-compiler = { path = "crates/recursion/compiler", version = "5.2.1" }
-sp1-recursion-core = { path = "crates/recursion/core", version = "5.2.1", default-features = false }
-sp1-recursion-derive = { path = "crates/recursion/derive", version = "5.2.1", default-features = false }
-sp1-recursion-gnark-ffi = { path = "crates/recursion/gnark-ffi", version = "5.2.1", default-features = false }
-sp1-recursion-circuit = { path = "crates/recursion/circuit", version = "5.2.1", default-features = false }
-sp1-sdk = { path = "crates/sdk", version = "5.2.1" }
-sp1-cuda = { path = "crates/cuda", version = "5.2.1" }
-sp1-stark = { path = "crates/stark", version = "5.2.1" }
-sp1-lib = { path = "crates/zkvm/lib", version = "5.2.1", default-features = false }
-sp1-zkvm = { path = "crates/zkvm/entrypoint", version = "5.2.1", default-features = false }
-sp1-verifier = { path = "crates/verifier", version = "5.2.1", default-features = false }
+sp1-build = { path = "crates/build", version = "5.2.2" }
+sp1-cli = { path = "crates/cli", version = "5.2.2", default-features = false }
+sp1-core-machine = { path = "crates/core/machine", version = "5.2.2", default-features = false }
+sp1-core-executor = { path = "crates/core/executor", version = "5.2.2" }
+sp1-curves = { path = "crates/curves", version = "5.2.2" }
+sp1-derive = { path = "crates/derive", version = "5.2.2" }
+sp1-eval = { path = "crates/eval", version = "5.2.2" }
+sp1-helper = { path = "crates/helper", version = "5.2.2", default-features = false }
+sp1-primitives = { path = "crates/primitives", version = "5.2.2" }
+sp1-prover = { path = "crates/prover", version = "5.2.2" }
+sp1-recursion-compiler = { path = "crates/recursion/compiler", version = "5.2.2" }
+sp1-recursion-core = { path = "crates/recursion/core", version = "5.2.2", default-features = false }
+sp1-recursion-derive = { path = "crates/recursion/derive", version = "5.2.2", default-features = false }
+sp1-recursion-gnark-ffi = { path = "crates/recursion/gnark-ffi", version = "5.2.2", default-features = false }
+sp1-recursion-circuit = { path = "crates/recursion/circuit", version = "5.2.2", default-features = false }
+sp1-sdk = { path = "crates/sdk", version = "5.2.2" }
+sp1-cuda = { path = "crates/cuda", version = "5.2.2" }
+sp1-stark = { path = "crates/stark", version = "5.2.2" }
+sp1-lib = { path = "crates/zkvm/lib", version = "5.2.2", default-features = false }
+sp1-zkvm = { path = "crates/zkvm/entrypoint", version = "5.2.2", default-features = false }
+sp1-verifier = { path = "crates/verifier", version = "5.2.2", default-features = false }
 
 # For testing.
 test-artifacts = { path = "crates/test-artifacts" }

Cargo.toml

@@ -58,6 +58,8 @@ pub use report::*;
 pub use state::*;
 pub use utils::*;
 
+pub use sp1_stark::SP1ReduceProof;
+
 /// Used for testing.
 #[cfg(test)]
 pub mod programs {