chore: prepare 1.2.0-rc1 (#1387)

Cargo.toml

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

book/generating-proofs/prover-network/versions.md

@@ -4,9 +4,9 @@ The prover network currently only supports specific versions of SP1:
 
 | Environment | RPC URL                    | Supported Version |
 | ----------- | -------------------------- | ----------------- |
-| Production  | `https://rpc.succinct.xyz` | `v1.1.X`          |
+| Production  | `https://rpc.succinct.xyz` | `v1.2.X`          |
 
-Where `X` denotes that any patch version is supported (e.g. `v1.1.0`, `v1.1.1`).
+Where `X` denotes that any patch version is supported (e.g. `v1.2.0`, `v1.2.1`).
 
 If you submit a proof request to the prover network and your are not using the supported version, you will receive an error message.
 

crates/core/executor/CHANGELOG.md

@@ -0,0 +1,28 @@
+# Changelog
+
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+## [Unreleased]
+
+## [1.2.0-rc1](https://github.com/succinctlabs/sp1/releases/tag/sp1-core-executor-v1.2.0-rc1) - 2024-08-23
+
+### Added
+
+- gas ([#1354](https://github.com/succinctlabs/sp1/pull/1354))
+
+### Fixed
+
+- fix artifact export test
+- fix fptower tests
+- fix imports
+- cargo check on tests
+
+### Other
+
+- runtime optimizations ([#1344](https://github.com/succinctlabs/sp1/pull/1344))
+- make state pub ([#1345](https://github.com/succinctlabs/sp1/pull/1345))
+- resolve merge conflicts between dev and experimental
+- refactor + cleanup core crates

crates/core/executor/Cargo.toml

@@ -48,4 +48,4 @@ tiny-keccak = { version = "2.0.2", features = ["keccak"] }
 sp1-zkvm = { workspace = true }
 
 [features]
-programs = []
+programs = []

crates/core/machine/CHANGELOG.md

@@ -7,25 +7,50 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [1.2.0-rc1](https://github.com/succinctlabs/sp1/releases/tag/sp1-core-machine-v1.2.0-rc1) - 2024-08-23
+
+### Added
+
+- gas ([#1354](https://github.com/succinctlabs/sp1/pull/1354))
+
+### Fixed
+
+- remove field op comment
+- fix fptower tests
+- fix imports
+- cargo check on tests
+
+### Other
+
+- precompile guide
+- use crate `vec_map`, box large `Instruction` variants ([#1360](https://github.com/succinctlabs/sp1/pull/1360))
+- update version
+- merge dev into experimental pt 2 ([#1341](https://github.com/succinctlabs/sp1/pull/1341))
+- resolve merge conflicts between dev and experimental
+- refactor + cleanup core crates
+
 ## [1.1.0](https://github.com/succinctlabs/sp1/compare/sp1-core-v1.0.1...sp1-core-v1.1.0) - 2024-08-02
 
 ### Added
+
 - experimental gpu support ([#1219](https://github.com/succinctlabs/sp1/pull/1219))
 - update tg ([#1214](https://github.com/succinctlabs/sp1/pull/1214))
 - streaming recursion ([#1175](https://github.com/succinctlabs/sp1/pull/1175))
 - streaming prover for core ([#1146](https://github.com/succinctlabs/sp1/pull/1146))
 
 ### Fixed
+
 - memory global generate_dependencies ([#1220](https://github.com/succinctlabs/sp1/pull/1220))
 - device oom ([#1202](https://github.com/succinctlabs/sp1/pull/1202))
 - cycle tracking logs ([#1178](https://github.com/succinctlabs/sp1/pull/1178))
 - UB from `OpcodeSpecificCols` union ([#1050](https://github.com/succinctlabs/sp1/pull/1050))
 
 ### Other
+
 - merge main into dev ([#1180](https://github.com/succinctlabs/sp1/pull/1180))
 - prover trait cleanup ([#1170](https://github.com/succinctlabs/sp1/pull/1170))
-- *(deps)* bump arrayref from 0.3.7 to 0.3.8 ([#1154](https://github.com/succinctlabs/sp1/pull/1154))
-- *(deps)* bump thiserror from 1.0.61 to 1.0.63 ([#1136](https://github.com/succinctlabs/sp1/pull/1136))
+- _(deps)_ bump arrayref from 0.3.7 to 0.3.8 ([#1154](https://github.com/succinctlabs/sp1/pull/1154))
+- _(deps)_ bump thiserror from 1.0.61 to 1.0.63 ([#1136](https://github.com/succinctlabs/sp1/pull/1136))
 - generate dep optimizations ([#1125](https://github.com/succinctlabs/sp1/pull/1125))
 - add audit reports ([#1142](https://github.com/succinctlabs/sp1/pull/1142))