chore: v1.2.0-rc.2 (#1438)

Cargo.toml

@@ -1,5 +1,5 @@
 [workspace.package]
-version = "1.2.0-rc1"
+version = "1.2.0-rc2"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 repository = "https://github.com/succinctlabs/sp1"
@@ -48,28 +48,28 @@ debug-assertions = true
 
 [workspace.dependencies]
 # sp1
-sp1-build = { path = "crates/build", version = "1.2.0-rc1" }
-sp1-cli = { path = "crates/cli", version = "1.2.0-rc1", default-features = false }
-sp1-core-machine = { path = "crates/core/machine", version = "1.2.0-rc1" }
-sp1-core-executor = { path = "crates/core/executor", version = "1.2.0-rc1" }
-sp1-curves = { path = "crates/curves", version = "1.2.0-rc1" }
-sp1-derive = { path = "crates/derive", version = "1.2.0-rc1" }
-sp1-eval = { path = "crates/eval", version = "1.2.0-rc1" }
-sp1-helper = { path = "crates/helper", version = "1.2.0-rc1", default-features = false }
-sp1-primitives = { path = "crates/primitives", version = "1.2.0-rc1" }
-sp1-prover = { path = "crates/prover", version = "1.2.0-rc1" }
-sp1-recursion-compiler = { path = "crates/recursion/compiler", version = "1.2.0-rc1" }
-sp1-recursion-core = { path = "crates/recursion/core", version = "1.2.0-rc1", default-features = false }
-sp1-recursion-core-v2 = { path = "crates/recursion/core-v2", version = "1.2.0-rc1", default-features = false }
-sp1-recursion-derive = { path = "crates/recursion/derive", version = "1.2.0-rc1", default-features = false }
-sp1-recursion-gnark-ffi = { path = "crates/recursion/gnark-ffi", version = "1.2.0-rc1", default-features = false }
-sp1-recursion-program = { path = "crates/recursion/program", version = "1.2.0-rc1", default-features = false }
-sp1-recursion-circuit = { path = "crates/recursion/circuit", version = "1.2.0-rc1", default-features = false }
-sp1-sdk = { path = "crates/sdk", version = "1.2.0-rc1" }
-sp1-cuda = { path = "crates/cuda", version = "1.2.0-rc1" }
-sp1-stark = { path = "crates/stark", version = "1.2.0-rc1" }
-sp1-lib = { path = "crates/zkvm/lib", version = "1.2.0-rc1", default-features = false }
-sp1-zkvm = { path = "crates/zkvm/entrypoint", version = "1.2.0-rc1", default-features = false }
+sp1-build = { path = "crates/build", version = "1.2.0-rc2" }
+sp1-cli = { path = "crates/cli", version = "1.2.0-rc2", default-features = false }
+sp1-core-machine = { path = "crates/core/machine", version = "1.2.0-rc2" }
+sp1-core-executor = { path = "crates/core/executor", version = "1.2.0-rc2" }
+sp1-curves = { path = "crates/curves", version = "1.2.0-rc2" }
+sp1-derive = { path = "crates/derive", version = "1.2.0-rc2" }
+sp1-eval = { path = "crates/eval", version = "1.2.0-rc2" }
+sp1-helper = { path = "crates/helper", version = "1.2.0-rc2", default-features = false }
+sp1-primitives = { path = "crates/primitives", version = "1.2.0-rc2" }
+sp1-prover = { path = "crates/prover", version = "1.2.0-rc2" }
+sp1-recursion-compiler = { path = "crates/recursion/compiler", version = "1.2.0-rc2" }
+sp1-recursion-core = { path = "crates/recursion/core", version = "1.2.0-rc2", default-features = false }
+sp1-recursion-core-v2 = { path = "crates/recursion/core-v2", version = "1.2.0-rc2", default-features = false }
+sp1-recursion-derive = { path = "crates/recursion/derive", version = "1.2.0-rc2", default-features = false }
+sp1-recursion-gnark-ffi = { path = "crates/recursion/gnark-ffi", version = "1.2.0-rc2", default-features = false }
+sp1-recursion-program = { path = "crates/recursion/program", version = "1.2.0-rc2", default-features = false }
+sp1-recursion-circuit = { path = "crates/recursion/circuit", version = "1.2.0-rc2", default-features = false }
+sp1-sdk = { path = "crates/sdk", version = "1.2.0-rc2" }
+sp1-cuda = { path = "crates/cuda", version = "1.2.0-rc2" }
+sp1-stark = { path = "crates/stark", version = "1.2.0-rc2" }
+sp1-lib = { path = "crates/zkvm/lib", version = "1.2.0-rc2", default-features = false }
+sp1-zkvm = { path = "crates/zkvm/entrypoint", version = "1.2.0-rc2", default-features = false }
 
 # p3
 p3-air = "0.1.3-succinct"

crates/build/CHANGELOG.md

@@ -12,7 +12,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Added
 - use C++ toolchain when building programs that need C ([#1092](https://github.com/succinctlabs/sp1/pull/1092))
 
-## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-build-v1.0.0-rc.1...sp1-build-v1.0.0-rc.1) - 2024-07-19
+## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-build-v1.0.0-rc1...sp1-build-v1.0.0-rc1) - 2024-07-19
 
 ### Fixed
 

crates/cli/CHANGELOG.md

@@ -7,6 +7,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [1.2.0-rc2](https://github.com/succinctlabs/sp1/compare/sp1-cli-v1.2.0-rc1...sp1-cli-v1.2.0-rc2) - 2024-08-29
+
+### Other
+- update Cargo.lock dependencies
+
 ## [1.1.0](https://github.com/succinctlabs/sp1/compare/sp1-cli-v1.0.1...sp1-cli-v1.1.0) - 2024-08-02
 
 ### Added
@@ -21,7 +26,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - *(deps)* bump anstyle from 1.0.7 to 1.0.8 ([#1194](https://github.com/succinctlabs/sp1/pull/1194))
 - Merge branch 'main' into dev
 
-## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-cli-v1.0.0-rc.1...sp1-cli-v1.0.0-rc.1) - 2024-07-19
+## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-cli-v1.0.0-rc1...sp1-cli-v1.0.0-rc1) - 2024-07-19
 
 ### Added
 

crates/core/executor/src/lib.rs

@@ -36,6 +36,7 @@ mod report;
 mod state;
 pub mod subproof;
 pub mod syscalls;
+mod utils;
 
 pub use context::*;
 pub use executor::*;

crates/core/executor/src/state.rs

@@ -13,6 +13,7 @@ use crate::{
     events::MemoryRecord,
     record::{ExecutionRecord, MemoryAccessRecord},
     syscalls::SyscallCode,
+    utils::{deserialize_hashmap_as_vec, serialize_hashmap_as_vec},
     ExecutorMode,
 };
 
@@ -39,18 +40,18 @@ pub struct ExecutionState {
 
     /// The memory which instructions operate over. Values contain the memory value and last shard
     /// + timestamp that each memory address was accessed.
-    // #[serde(
-    //     serialize_with = "serialize_hashmap_as_vec",
-    //     deserialize_with = "deserialize_hashmap_as_vec"
-    // )]
+    #[serde(
+        serialize_with = "serialize_hashmap_as_vec",
+        deserialize_with = "deserialize_hashmap_as_vec"
+    )]
     pub memory: HashMap<u32, MemoryRecord, BuildNoHashHasher<u32>>,
 
     /// Uninitialized memory addresses that have a specific value they should be initialized with.
     /// SyscallHintRead uses this to write hint data into uninitialized memory.
-    // #[serde(
-    //     serialize_with = "serialize_hashmap_as_vec",
-    //     deserialize_with = "deserialize_hashmap_as_vec"
-    // )]
+    #[serde(
+        serialize_with = "serialize_hashmap_as_vec",
+        deserialize_with = "deserialize_hashmap_as_vec"
+    )]
     pub uninitialized_memory: HashMap<u32, u32, BuildNoHashHasher<u32>>,
 
     /// A stream of input values (global to the entire program).

crates/core/machine/src/utils/serde.rs → crates/core/executor/src/utils.rs

@@ -1,4 +1,4 @@
-use std::collections::HashMap;
+use hashbrown::HashMap;
 
 use nohash_hasher::BuildNoHashHasher;
 use serde::{Deserialize, Deserializer, Serialize, Serializer};

crates/core/machine/CHANGELOG.md

@@ -54,11 +54,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - generate dep optimizations ([#1125](https://github.com/succinctlabs/sp1/pull/1125))
 - add audit reports ([#1142](https://github.com/succinctlabs/sp1/pull/1142))
 
-## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-core-v1.0.0-rc.1...sp1-core-v1.0.0-rc.1) - 2024-07-19
+## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-core-v1.0.0-rc1...sp1-core-v1.0.0-rc1) - 2024-07-19
 
 ### Added
 
-- 1.0.0-rc.1 ([#1126](https://github.com/succinctlabs/sp1/pull/1126))
+- 1.0.0-rc1 ([#1126](https://github.com/succinctlabs/sp1/pull/1126))
 - multi-threaded tracing ([#1124](https://github.com/succinctlabs/sp1/pull/1124))
 - parallel recursion tracegen ([#1095](https://github.com/succinctlabs/sp1/pull/1095))
 - publish sp1 to crates.io ([#1052](https://github.com/succinctlabs/sp1/pull/1052))

crates/core/machine/src/utils/mod.rs

@@ -4,14 +4,12 @@ mod logger;
 #[cfg(any(test, feature = "programs"))]
 mod programs;
 mod prove;
-mod serde;
 mod span;
 mod tracer;
 
 pub use buffer::*;
 pub use logger::*;
 pub use prove::*;
-pub use serde::*;
 use sp1_curves::params::Limbs;
 pub use span::*;
 pub use tracer::*;

crates/derive/CHANGELOG.md

@@ -12,7 +12,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Added
 - update tg ([#1214](https://github.com/succinctlabs/sp1/pull/1214))
 
-## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-derive-v1.0.0-rc.1...sp1-derive-v1.0.0-rc.1) - 2024-07-19
+## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-derive-v1.0.0-rc1...sp1-derive-v1.0.0-rc1) - 2024-07-19
 
 ### Other