diff --git a/Cargo.lock b/Cargo.lock index 48a47df7c5..efb79c4ff0 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -5912,7 +5912,7 @@ dependencies = [ [[package]] name = "sp1-build" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "anyhow", "cargo_metadata", @@ -5923,7 +5923,7 @@ dependencies = [ [[package]] name = "sp1-cli" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "anstyle", "anyhow", @@ -5958,7 +5958,7 @@ dependencies = [ [[package]] name = "sp1-core-executor" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "bincode", "bytemuck", @@ -5993,7 +5993,7 @@ dependencies = [ [[package]] name = "sp1-core-machine" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "anyhow", "arrayref", @@ -6060,7 +6060,7 @@ dependencies = [ [[package]] name = "sp1-cuda" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "bincode", "ctrlc", @@ -6081,7 +6081,7 @@ dependencies = [ [[package]] name = "sp1-curves" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "curve25519-dalek", "dashu", @@ -6101,7 +6101,7 @@ dependencies = [ [[package]] name = "sp1-derive" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "proc-macro2", "quote", @@ -6110,7 +6110,7 @@ dependencies = [ [[package]] name = "sp1-eval" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "anyhow", "bincode", @@ -6130,14 +6130,14 @@ dependencies = [ [[package]] name = "sp1-helper" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "sp1-build", ] [[package]] name = "sp1-lib" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "anyhow", "bincode", @@ -6149,7 +6149,7 @@ dependencies = [ [[package]] name = "sp1-primitives" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "itertools 0.13.0", "lazy_static", @@ -6161,7 +6161,7 @@ dependencies = [ [[package]] name = "sp1-prover" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "anyhow", "bincode", @@ -6199,7 +6199,7 @@ dependencies = [ [[package]] name = "sp1-recursion-circuit" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "bincode", "ff 0.13.0", @@ -6231,7 +6231,7 @@ dependencies = [ [[package]] name = "sp1-recursion-circuit-v2" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "bincode", "ff 0.13.0", @@ -6270,7 +6270,7 @@ dependencies = [ [[package]] name = "sp1-recursion-compiler" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "backtrace", "criterion", @@ -6303,7 +6303,7 @@ dependencies = [ [[package]] name = "sp1-recursion-core" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "arrayref", "backtrace", @@ -6340,7 +6340,7 @@ dependencies = [ [[package]] name = "sp1-recursion-core-v2" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "arrayref", "backtrace", @@ -6380,7 +6380,7 @@ dependencies = [ [[package]] name = "sp1-recursion-derive" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "proc-macro2", "quote", @@ -6389,7 +6389,7 @@ dependencies = [ [[package]] name = "sp1-recursion-gnark-cli" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "bincode", "clap", @@ -6398,7 +6398,7 @@ dependencies = [ [[package]] name = "sp1-recursion-gnark-ffi" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "anyhow", "bincode", @@ -6423,7 +6423,7 @@ dependencies = [ [[package]] name = "sp1-recursion-program" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "itertools 0.13.0", "p3-air", @@ -6453,7 +6453,7 @@ dependencies = [ [[package]] name = "sp1-sdk" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "alloy-sol-types", "anyhow", @@ -6499,7 +6499,7 @@ dependencies = [ [[package]] name = "sp1-stark" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "arrayref", "getrandom 0.2.15", @@ -6529,7 +6529,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.2.0-rc1" +version = "1.2.0-rc2" dependencies = [ "bincode", "cfg-if", diff --git a/Cargo.toml b/Cargo.toml index 18b20d5c11..6ae5f36cdd 100644 --- a/Cargo.toml +++ b/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" diff --git a/crates/build/CHANGELOG.md b/crates/build/CHANGELOG.md index 971ec16ea6..90563fbe0b 100644 --- a/crates/build/CHANGELOG.md +++ b/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 diff --git a/crates/cli/CHANGELOG.md b/crates/cli/CHANGELOG.md index 8dd86ddcba..6a82f83389 100644 --- a/crates/cli/CHANGELOG.md +++ b/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 diff --git a/crates/core/executor/src/lib.rs b/crates/core/executor/src/lib.rs index e45a5ea6c7..eb9b850246 100644 --- a/crates/core/executor/src/lib.rs +++ b/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::*; diff --git a/crates/core/executor/src/state.rs b/crates/core/executor/src/state.rs index be43718250..8334df0134 100644 --- a/crates/core/executor/src/state.rs +++ b/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>, /// 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>, /// A stream of input values (global to the entire program). diff --git a/crates/core/machine/src/utils/serde.rs b/crates/core/executor/src/utils.rs similarity index 95% rename from crates/core/machine/src/utils/serde.rs rename to crates/core/executor/src/utils.rs index fa7fdcef98..2b1448a893 100644 --- a/crates/core/machine/src/utils/serde.rs +++ b/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}; diff --git a/crates/core/machine/CHANGELOG.md b/crates/core/machine/CHANGELOG.md index 8d1e6df781..d989945fb2 100644 --- a/crates/core/machine/CHANGELOG.md +++ b/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)) diff --git a/crates/core/machine/src/utils/mod.rs b/crates/core/machine/src/utils/mod.rs index 6c08a56569..38d6500528 100644 --- a/crates/core/machine/src/utils/mod.rs +++ b/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::*; diff --git a/crates/derive/CHANGELOG.md b/crates/derive/CHANGELOG.md index 449fe7ad87..63727ac0c2 100644 --- a/crates/derive/CHANGELOG.md +++ b/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 diff --git a/crates/eval/CHANGELOG.md b/crates/eval/CHANGELOG.md new file mode 100644 index 0000000000..dfd5cda08e --- /dev/null +++ b/crates/eval/CHANGELOG.md @@ -0,0 +1,36 @@ +# 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-rc2](https://github.com/succinctlabs/sp1/compare/sp1-eval-v1.2.0-rc1...sp1-eval-v1.2.0-rc2) - 2024-08-29 + +### Added +- performance test + add to CI ([#1426](https://github.com/succinctlabs/sp1/pull/1426)) +- restore acknolwedgements +- update tg ([#1214](https://github.com/succinctlabs/sp1/pull/1214)) +- v1.0.1 ([#1165](https://github.com/succinctlabs/sp1/pull/1165)) +- new README img ([#226](https://github.com/succinctlabs/sp1/pull/226)) +- readme updates ([#205](https://github.com/succinctlabs/sp1/pull/205)) +- more final touches ([#194](https://github.com/succinctlabs/sp1/pull/194)) +- curtaup + release system + cargo prove CLI updates ([#178](https://github.com/succinctlabs/sp1/pull/178)) +- (perf) updates from Plonky3 and verifier refactor ([#156](https://github.com/succinctlabs/sp1/pull/156)) +- developer experience improvements ([#145](https://github.com/succinctlabs/sp1/pull/145)) +- toolchain build from source & install ([#113](https://github.com/succinctlabs/sp1/pull/113)) +- io::read io::write ([#126](https://github.com/succinctlabs/sp1/pull/126)) +- tracing, profiling, benchmarking ([#99](https://github.com/succinctlabs/sp1/pull/99)) + +### Other +- update sp1 banner ([#1260](https://github.com/succinctlabs/sp1/pull/1260)) +- update docs ([#1240](https://github.com/succinctlabs/sp1/pull/1240)) +- final touches for public release ([#239](https://github.com/succinctlabs/sp1/pull/239)) +- update docs with slight nits ([#224](https://github.com/succinctlabs/sp1/pull/224)) +- sp1 rename ([#212](https://github.com/succinctlabs/sp1/pull/212)) +- enshrine AlignedBorrow macro ([#209](https://github.com/succinctlabs/sp1/pull/209)) +- readme cleanup ([#196](https://github.com/succinctlabs/sp1/pull/196)) +- rename succinct to curta ([#192](https://github.com/succinctlabs/sp1/pull/192)) +- better curta graphic ([#184](https://github.com/succinctlabs/sp1/pull/184)) +- Initial commit diff --git a/crates/helper/CHANGELOG.md b/crates/helper/CHANGELOG.md index 8b47f9b844..a42a349613 100644 --- a/crates/helper/CHANGELOG.md +++ b/crates/helper/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-helper-v1.0.0-rc.1...sp1-helper-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-helper-v1.0.0-rc1...sp1-helper-v1.0.0-rc1) - 2024-07-19 ### Fixed diff --git a/crates/primitives/CHANGELOG.md b/crates/primitives/CHANGELOG.md index 34c35c3d0c..7c34732264 100644 --- a/crates/primitives/CHANGELOG.md +++ b/crates/primitives/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-primitives-v1.0.0-rc.1...sp1-primitives-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-primitives-v1.0.0-rc1...sp1-primitives-v1.0.0-rc1) - 2024-07-19 ### Added diff --git a/crates/prover/CHANGELOG.md b/crates/prover/CHANGELOG.md index 161cfb8942..469c6b6705 100644 --- a/crates/prover/CHANGELOG.md +++ b/crates/prover/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-prover-v1.2.0-rc1...sp1-prover-v1.2.0-rc2) - 2024-08-29 + +### Other +- update Cargo.lock dependencies + ## [1.1.0](https://github.com/succinctlabs/sp1/compare/sp1-prover-v1.0.1...sp1-prover-v1.1.0) - 2024-08-02 ### Added @@ -25,11 +30,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 - *(deps)* bump thiserror from 1.0.61 to 1.0.63 ([#1136](https://github.com/succinctlabs/sp1/pull/1136)) - add audit reports ([#1142](https://github.com/succinctlabs/sp1/pull/1142)) -## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-prover-v1.0.0-rc.1...sp1-prover-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-prover-v1.0.0-rc1...sp1-prover-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)) - parallel recursion tracegen ([#1095](https://github.com/succinctlabs/sp1/pull/1095)) - result instead of exit(1) on trap in recursion ([#1089](https://github.com/succinctlabs/sp1/pull/1089)) - publish sp1 to crates.io ([#1052](https://github.com/succinctlabs/sp1/pull/1052)) diff --git a/crates/recursion/circuit/CHANGELOG.md b/crates/recursion/circuit/CHANGELOG.md index ee32d93bd9..c2e0a0af20 100644 --- a/crates/recursion/circuit/CHANGELOG.md +++ b/crates/recursion/circuit/CHANGELOG.md @@ -20,7 +20,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 - prover trait cleanup ([#1170](https://github.com/succinctlabs/sp1/pull/1170)) - add audit reports ([#1142](https://github.com/succinctlabs/sp1/pull/1142)) -## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-circuit-v1.0.0-rc.1...sp1-recursion-circuit-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-circuit-v1.0.0-rc1...sp1-recursion-circuit-v1.0.0-rc1) - 2024-07-19 ### Added diff --git a/crates/recursion/compiler/CHANGELOG.md b/crates/recursion/compiler/CHANGELOG.md index 0826ab86d7..b703c6065f 100644 --- a/crates/recursion/compiler/CHANGELOG.md +++ b/crates/recursion/compiler/CHANGELOG.md @@ -15,7 +15,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ### Fixed - BabyBear range check Gnark ([#1225](https://github.com/succinctlabs/sp1/pull/1225)) -## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-compiler-v1.0.0-rc.1...sp1-recursion-compiler-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-compiler-v1.0.0-rc1...sp1-recursion-compiler-v1.0.0-rc1) - 2024-07-19 ### Added diff --git a/crates/recursion/core/CHANGELOG.md b/crates/recursion/core/CHANGELOG.md index 1f859293d0..f2e143afe1 100644 --- a/crates/recursion/core/CHANGELOG.md +++ b/crates/recursion/core/CHANGELOG.md @@ -20,7 +20,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 - *(deps)* bump arrayref from 0.3.7 to 0.3.8 ([#1154](https://github.com/succinctlabs/sp1/pull/1154)) - add audit reports ([#1142](https://github.com/succinctlabs/sp1/pull/1142)) -## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-core-v1.0.0-rc.1...sp1-recursion-core-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-core-v1.0.0-rc1...sp1-recursion-core-v1.0.0-rc1) - 2024-07-19 ### Added diff --git a/crates/recursion/derive/CHANGELOG.md b/crates/recursion/derive/CHANGELOG.md index 05c7977501..ba875412f8 100644 --- a/crates/recursion/derive/CHANGELOG.md +++ b/crates/recursion/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-recursion-derive-v1.0.0-rc.1...sp1-recursion-derive-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-derive-v1.0.0-rc1...sp1-recursion-derive-v1.0.0-rc1) - 2024-07-19 ### Other diff --git a/crates/recursion/gnark-cli/CHANGELOG.md b/crates/recursion/gnark-cli/CHANGELOG.md index 6084a52d03..c833e51050 100644 --- a/crates/recursion/gnark-cli/CHANGELOG.md +++ b/crates/recursion/gnark-cli/CHANGELOG.md @@ -7,12 +7,17 @@ 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-recursion-gnark-cli-v1.2.0-rc1...sp1-recursion-gnark-cli-v1.2.0-rc2) - 2024-08-29 + +### Other +- update Cargo.lock dependencies + ## [1.1.0](https://github.com/succinctlabs/sp1/compare/sp1-recursion-gnark-cli-v1.0.1...sp1-recursion-gnark-cli-v1.1.0) - 2024-08-02 ### Added - update tg ([#1214](https://github.com/succinctlabs/sp1/pull/1214)) -## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-gnark-cli-v1.0.0-rc.1...sp1-recursion-gnark-cli-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-gnark-cli-v1.0.0-rc1...sp1-recursion-gnark-cli-v1.0.0-rc1) - 2024-07-19 ### Added diff --git a/crates/recursion/gnark-ffi/CHANGELOG.md b/crates/recursion/gnark-ffi/CHANGELOG.md index 1d7abddc03..37ee6833d1 100644 --- a/crates/recursion/gnark-ffi/CHANGELOG.md +++ b/crates/recursion/gnark-ffi/CHANGELOG.md @@ -18,11 +18,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ### Other - *(deps)* bump serde_json from 1.0.120 to 1.0.121 ([#1196](https://github.com/succinctlabs/sp1/pull/1196)) -## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-gnark-ffi-v1.0.0-rc.1...sp1-recursion-gnark-ffi-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-gnark-ffi-v1.0.0-rc1...sp1-recursion-gnark-ffi-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)) - publish sp1 to crates.io ([#1052](https://github.com/succinctlabs/sp1/pull/1052)) - update verifier contract templates ([#963](https://github.com/succinctlabs/sp1/pull/963)) - circuit version in proof ([#926](https://github.com/succinctlabs/sp1/pull/926)) diff --git a/crates/recursion/program/CHANGELOG.md b/crates/recursion/program/CHANGELOG.md index 11ab52f1c5..7a5991ce79 100644 --- a/crates/recursion/program/CHANGELOG.md +++ b/crates/recursion/program/CHANGELOG.md @@ -18,7 +18,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 - prover trait cleanup ([#1170](https://github.com/succinctlabs/sp1/pull/1170)) - add audit reports ([#1142](https://github.com/succinctlabs/sp1/pull/1142)) -## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-program-v1.0.0-rc.1...sp1-recursion-program-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-recursion-program-v1.0.0-rc1...sp1-recursion-program-v1.0.0-rc1) - 2024-07-19 ### Added diff --git a/crates/sdk/CHANGELOG.md b/crates/sdk/CHANGELOG.md index 99b25672aa..80c7c4d277 100644 --- a/crates/sdk/CHANGELOG.md +++ b/crates/sdk/CHANGELOG.md @@ -26,11 +26,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 - *(deps)* bump tokio from 1.38.0 to 1.38.1 ([#1137](https://github.com/succinctlabs/sp1/pull/1137)) - add audit reports ([#1142](https://github.com/succinctlabs/sp1/pull/1142)) -## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-sdk-v1.0.0-rc.1...sp1-sdk-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-sdk-v1.0.0-rc1...sp1-sdk-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)) - publish sp1 to crates.io ([#1052](https://github.com/succinctlabs/sp1/pull/1052)) - critical constraint changes ([#1046](https://github.com/succinctlabs/sp1/pull/1046)) - cycle limit ([#1027](https://github.com/succinctlabs/sp1/pull/1027)) diff --git a/crates/zkvm/entrypoint/CHANGELOG.md b/crates/zkvm/entrypoint/CHANGELOG.md index 752b8e6467..6d65a13a77 100644 --- a/crates/zkvm/entrypoint/CHANGELOG.md +++ b/crates/zkvm/entrypoint/CHANGELOG.md @@ -15,7 +15,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ### Fixed - mutable static ref warning in halt syscall ([#1217](https://github.com/succinctlabs/sp1/pull/1217)) -## [1.0.0-rc.1](https://github.com/succinctlabs/sp1/compare/sp1-zkvm-v1.0.0-rc.1...sp1-zkvm-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-zkvm-v1.0.0-rc1...sp1-zkvm-v1.0.0-rc1) - 2024-07-19 ### Added diff --git a/crates/zkvm/lib/CHANGELOG.md b/crates/zkvm/lib/CHANGELOG.md index 0e0ca7d60d..f822f98805 100644 --- a/crates/zkvm/lib/CHANGELOG.md +++ b/crates/zkvm/lib/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-lib-v1.0.0-rc.1...sp1-lib-v1.0.0-rc.1) - 2024-07-19 +## [1.0.0-rc1](https://github.com/succinctlabs/sp1/compare/sp1-lib-v1.0.0-rc1...sp1-lib-v1.0.0-rc1) - 2024-07-19 ### Added diff --git a/tests/bls12381-decompress/Cargo.lock b/tests/bls12381-decompress/Cargo.lock index 1dacc7f0db..03a6649fdf 100644 --- a/tests/bls12381-decompress/Cargo.lock +++ b/tests/bls12381-decompress/Cargo.lock @@ -34,7 +34,7 @@ dependencies = [ [[package]] name = "bls-decompress-test" -version = "1.0.0-rc.1" +version = "1.0.0-rc1" dependencies = [ "sp1-zkvm", ] @@ -335,7 +335,7 @@ dependencies = [ [[package]] name = "sp1-lib" -version = "1.0.0-rc.1" +version = "1.0.0-rc1" dependencies = [ "anyhow", "bincode", @@ -347,7 +347,7 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "1.0.0-rc.1" +version = "1.0.0-rc1" dependencies = [ "bincode", "cfg-if",