incremented crate versions to v0.11.0 and update changelog

CHANGELOG.md

@@ -1,19 +1,22 @@
 # Changelog
 
+## 0.11.0 (2024-11-24)
+- [BREAKING] Made the prover generic over the `ConstraintCommitment` type (#343).
+
 ## 0.10.3 (2024-11-19) - `air`, `prover`, and `verifier` crates only
-- Fix partition size calculations in `PartitionOptions` (#340).
+- Fixed partition size calculations in `PartitionOptions` (#340).
 
 ## 0.10.2 (2024-11-18)
-- Implement `core::error::Error` for error types (#341).
+- Implemented `core::error::Error` for error types (#341).
 
 ## 0.10.1 (2024-10-30)
 - Fixed partition hashing and add logging to aux trace building (#338).
 
 ## 0.10.0 (2024-10-25)
 - [BREAKING] Refactored maybe-async macro into simpler maybe-async and maybe-await macros (#283).
-- [BREAKING] Introduce `VectorCommitment` abstraction (#285).
+- [BREAKING] Introduced `VectorCommitment` abstraction (#285).
 - Added `maybe-async-trait` procedural macro (#334).
-- [BREAKING] Add options for partitioned trace commitments (#336).
+- [BREAKING] Added options for partitioned trace commitments (#336).
 - Updated minimum supported Rust version to 1.82.
 
 ## 0.9.3 (2024-09-25) - `utils/core` and `math` crates only
@@ -23,7 +26,7 @@
 - Fixed `read_slice` impl for ReadAdapter` (#309).
 
 ## 0.9.1 (2024-06-24) - `utils/core` crate only
-- Fixed `useize` serialization in `ByteWriter`.
+- Fixed `usize` serialization in `ByteWriter`.
 
 ## 0.9.0 (2024-05-09)
 - [BREAKING] Merged `TraceLayout` into `TraceInfo` (#245).

air/Cargo.toml

@@ -1,12 +1,12 @@
 [package]
 name = "winter-air"
-version = "0.10.3"
+version = "0.11.0"
 description = "AIR components for the Winterfell STARK prover/verifier"
 authors = ["winterfell contributors"]
 readme = "README.md"
 license = "MIT"
 repository = "https://github.com/novifinancial/winterfell"
-documentation = "https://docs.rs/winter-air/0.10.3"
+documentation = "https://docs.rs/winter-air/0.11.0"
 categories = ["cryptography", "no-std"]
 keywords = ["crypto", "arithmetization", "air"]
 edition = "2021"
@@ -20,14 +20,14 @@ default = ["std"]
 std = ["crypto/std", "fri/std", "math/std", "utils/std"]
 
 [dependencies]
-crypto = { version = "0.10", path = "../crypto", package = "winter-crypto", default-features = false }
-fri = { version = "0.10", path = "../fri", package = "winter-fri", default-features = false }
+crypto = { version = "0.11", path = "../crypto", package = "winter-crypto", default-features = false }
+fri = { version = "0.11", path = "../fri", package = "winter-fri", default-features = false }
 libm = "0.2"
-math = { version = "0.10", path = "../math", package = "winter-math", default-features = false }
-utils = { version = "0.10", path = "../utils/core", package = "winter-utils", default-features = false }
+math = { version = "0.11", path = "../math", package = "winter-math", default-features = false }
+utils = { version = "0.11", path = "../utils/core", package = "winter-utils", default-features = false }
 
 [dev-dependencies]
-rand-utils = { version = "0.10", path = "../utils/rand", package = "winter-rand-utils" }
+rand-utils = { version = "0.11", path = "../utils/rand", package = "winter-rand-utils" }
 
 # Allow math in docs
 [package.metadata.docs.rs]

crypto/Cargo.toml

@@ -1,12 +1,12 @@
 [package]
 name = "winter-crypto"
-version = "0.10.2"
+version = "0.11.0"
 description = "Cryptographic library for the Winterfell STARK prover/verifier"
 authors = ["winterfell contributors"]
 readme = "README.md"
 license = "MIT"
 repository = "https://github.com/novifinancial/winterfell"
-documentation = "https://docs.rs/winter-crypto/0.10.2"
+documentation = "https://docs.rs/winter-crypto/0.11.0"
 categories = ["cryptography", "no-std"]
 keywords = ["crypto", "merkle-tree", "hash"]
 edition = "2021"
@@ -31,11 +31,11 @@ std = ["blake3/std", "math/std", "sha3/std", "utils/std"]
 
 [dependencies]
 blake3 = { version = "1.5", default-features = false }
-math = { version = "0.10", path = "../math", package = "winter-math", default-features = false }
+math = { version = "0.11", path = "../math", package = "winter-math", default-features = false }
 sha3 = { version = "0.10", default-features = false }
-utils = { version = "0.10", path = "../utils/core", package = "winter-utils", default-features = false }
+utils = { version = "0.11", path = "../utils/core", package = "winter-utils", default-features = false }
 
 [dev-dependencies]
 criterion = "0.5"
 proptest = "1.4"
-rand-utils = { version = "0.10", path = "../utils/rand", package = "winter-rand-utils" }
+rand-utils = { version = "0.11", path = "../utils/rand", package = "winter-rand-utils" }

examples/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "examples"
-version = "0.10.1"
+version = "0.11.0"
 description = "Examples of using Winterfell STARK prover/verifier"
 authors = ["winterfell contributors"]
 readme = "README.md"
@@ -27,14 +27,14 @@ std = ["core-utils/std", "hex/std", "rand-utils", "winterfell/std"]
 
 [dependencies]
 blake3 = { version = "1.5", default-features = false }
-core-utils = { version = "0.10", path = "../utils/core", package = "winter-utils", default-features = false }
+core-utils = { version = "0.11", path = "../utils/core", package = "winter-utils", default-features = false }
 hex = { version = "0.4", optional = true }
-rand-utils = { version = "0.10", path = "../utils/rand", package = "winter-rand-utils", optional = true }
+rand-utils = { version = "0.11", path = "../utils/rand", package = "winter-rand-utils", optional = true }
 structopt = { version = "0.3", default-features = false }
 tracing = { version = "0.1", default-features = false }
 tracing-forest = { version = "0.1", features = ["ansi", "smallvec"], optional = true }
 tracing-subscriber = { version = "0.3", features = ["std", "env-filter"] }
-winterfell = { version = "0.10", path = "../winterfell", default-features = false }
+winterfell = { version = "0.11", path = "../winterfell", default-features = false }
 
 [dev-dependencies]
 criterion = "0.5"

fri/Cargo.toml

@@ -1,12 +1,12 @@
 [package]
 name = "winter-fri"
-version = "0.10.2"
+version = "0.11.0"
 description = "Implementation of FRI protocol for the Winterfell STARK prover/verifier"
 authors = ["winterfell contributors"]
 readme = "README.md"
 license = "MIT"
 repository = "https://github.com/novifinancial/winterfell"
-documentation = "https://docs.rs/winter-fri/0.10.2"
+documentation = "https://docs.rs/winter-fri/0.11.0"
 categories = ["cryptography", "no-std"]
 keywords = ["crypto", "polynomial", "commitments"]
 edition = "2021"
@@ -29,10 +29,10 @@ default = ["std"]
 std = ["crypto/std", "math/std", "utils/std"]
 
 [dependencies]
-crypto = { version = "0.10", path = "../crypto", package = "winter-crypto", default-features = false }
-math = { version = "0.10", path = "../math", package = "winter-math", default-features = false }
-utils = { version = "0.10", path = "../utils/core", package = "winter-utils", default-features = false }
+crypto = { version = "0.11", path = "../crypto", package = "winter-crypto", default-features = false }
+math = { version = "0.11", path = "../math", package = "winter-math", default-features = false }
+utils = { version = "0.11", path = "../utils/core", package = "winter-utils", default-features = false }
 
 [dev-dependencies]
 criterion = "0.5"
-rand-utils = { version = "0.10", path = "../utils/rand", package = "winter-rand-utils" }
+rand-utils = { version = "0.11", path = "../utils/rand", package = "winter-rand-utils" }

math/Cargo.toml

@@ -1,12 +1,12 @@
 [package]
 name = "winter-math"
-version = "0.10.2"
+version = "0.11.0"
 description = "Math library for the Winterfell STARK prover/verifier"
 authors = ["winterfell contributors"]
 readme = "README.md"
 license = "MIT"
 repository = "https://github.com/novifinancial/winterfell"
-documentation = "https://docs.rs/winter-math/0.10.2"
+documentation = "https://docs.rs/winter-math/0.11.0"
 categories = ["cryptography", "no-std"]
 keywords = ["crypto", "finite-fields", "polynomials", "fft"]
 edition = "2021"
@@ -38,13 +38,13 @@ std = ["utils/std"]
 
 [dependencies]
 serde = { version = "1.0", features = [ "derive" ], optional = true, default-features = false }
-utils = { version = "0.10", path = "../utils/core", package = "winter-utils", default-features = false }
+utils = { version = "0.11", path = "../utils/core", package = "winter-utils", default-features = false }
 
 [dev-dependencies]
 criterion = "0.5"
 num-bigint = "0.4"
 proptest = "1.4"
-rand-utils = { version = "0.10", path = "../utils/rand", package = "winter-rand-utils" }
+rand-utils = { version = "0.11", path = "../utils/rand", package = "winter-rand-utils" }
 
 # Allow math in docs
 [package.metadata.docs.rs]

prover/Cargo.toml

@@ -1,12 +1,12 @@
 [package]
 name = "winter-prover"
-version = "0.10.3"
+version = "0.11.0"
 description = "Winterfell STARK prover"
 authors = ["winterfell contributors"]
 readme = "README.md"
 license = "MIT"
 repository = "https://github.com/novifinancial/winterfell"
-documentation = "https://docs.rs/winter-prover/0.10.3"
+documentation = "https://docs.rs/winter-prover/0.11.0"
 categories = ["cryptography", "no-std"]
 keywords = ["crypto", "zkp", "stark", "prover"]
 edition = "2021"
@@ -30,17 +30,17 @@ default = ["std"]
 std = ["air/std", "crypto/std", "fri/std", "math/std", "utils/std"]
 
 [dependencies]
-air = { version = "0.10", path = "../air", package = "winter-air", default-features = false }
-crypto = { version = "0.10", path = "../crypto", package = "winter-crypto", default-features = false }
-fri = { version = "0.10", path = '../fri', package = "winter-fri", default-features = false }
-math = { version = "0.10", path = "../math", package = "winter-math", default-features = false }
-maybe_async = { version = "0.10", path = "../utils/maybe_async" , package = "winter-maybe-async" }
+air = { version = "0.11", path = "../air", package = "winter-air", default-features = false }
+crypto = { version = "0.11", path = "../crypto", package = "winter-crypto", default-features = false }
+fri = { version = "0.11", path = '../fri', package = "winter-fri", default-features = false }
+math = { version = "0.11", path = "../math", package = "winter-math", default-features = false }
+maybe_async = { version = "0.11", path = "../utils/maybe_async" , package = "winter-maybe-async" }
 tracing = { version = "0.1", default-features = false, features = ["attributes"]}
-utils = { version = "0.10", path = "../utils/core", package = "winter-utils", default-features = false }
+utils = { version = "0.11", path = "../utils/core", package = "winter-utils", default-features = false }
 
 [dev-dependencies]
 criterion = "0.5"
-rand-utils = { version = "0.10", path = "../utils/rand", package = "winter-rand-utils" }
+rand-utils = { version = "0.11", path = "../utils/rand", package = "winter-rand-utils" }
 
 # Allow math in docs
 [package.metadata.docs.rs]

utils/core/Cargo.toml

@@ -1,12 +1,12 @@
 [package]
 name = "winter-utils"
-version = "0.10.2"
+version = "0.11.0"
 description = "Utilities for the Winterfell STARK prover/verifier"
 authors = ["winterfell contributors"]
 readme = "README.md"
 license = "MIT"
 repository = "https://github.com/novifinancial/winterfell"
-documentation = "https://docs.rs/winter-utils/0.10.2"
+documentation = "https://docs.rs/winter-utils/0.11.0"
 categories = ["cryptography", "no-std"]
 keywords = ["serialization", "transmute"]
 edition = "2021"

utils/maybe_async/Cargo.toml

@@ -1,12 +1,12 @@
 [package]
 name = "winter-maybe-async"
-version = "0.10.1"
+version = "0.11.0"
 description = "sync/async macro for winterfell"
 authors = ["winterfell contributors"]
 readme = "README.md"
 license = "MIT"
 repository = "https://github.com/facebook/winterfell"
-documentation = "https://docs.rs/winter-maybe-async/0.10.1"
+documentation = "https://docs.rs/winter-maybe-async/0.11.0"
 keywords = ["async"]
 edition = "2021"
 rust-version = "1.82"

utils/rand/Cargo.toml

@@ -1,12 +1,12 @@
 [package]
 name = "winter-rand-utils"
-version = "0.10.1"
+version = "0.11.0"
 description = "Random value generation utilities for Winterfell crates"
 authors = ["winterfell contributors"]
 readme = "README.md"
 license = "MIT"
 repository = "https://github.com/novifinancial/winterfell"
-documentation = "https://docs.rs/winter-rand-utils/0.10.1"
+documentation = "https://docs.rs/winter-rand-utils/0.11.0"
 categories = ["cryptography"]
 keywords = ["rand"]
 edition = "2021"
@@ -16,7 +16,7 @@ rust-version = "1.82"
 bench = false
 
 [dependencies]
-utils = { version = "0.10", path = "../core", package = "winter-utils" }
+utils = { version = "0.11", path = "../core", package = "winter-utils" }
 
 [target.'cfg(not(target_family = "wasm"))'.dependencies]
 rand =  { version = "0.8" }

verifier/Cargo.toml

@@ -1,12 +1,12 @@
 [package]
 name = "winter-verifier"
-version = "0.10.3"
+version = "0.11.0"
 description = "Winterfell STARK verifier"
 authors = ["winterfell contributors"]
 readme = "README.md"
 license = "MIT"
 repository = "https://github.com/novifinancial/winterfell"
-documentation = "https://docs.rs/winter-verifier/0.10.3"
+documentation = "https://docs.rs/winter-verifier/0.11.0"
 categories = ["cryptography", "no-std"]
 keywords = ["crypto", "zkp", "stark", "verifier"]
 edition = "2021"
@@ -20,11 +20,11 @@ default = ["std"]
 std = ["air/std", "crypto/std", "fri/std", "math/std", "utils/std"]
 
 [dependencies]
-air = { version = "0.10", path = "../air", package = "winter-air", default-features = false }
-crypto = { version = "0.10", path = "../crypto", package = "winter-crypto", default-features = false }
-fri = { version = "0.10", path = "../fri", package = "winter-fri", default-features = false }
-math = { version = "0.10", path = "../math", package = "winter-math", default-features = false }
-utils = { version = "0.10", path = "../utils/core", package = "winter-utils", default-features = false }
+air = { version = "0.11", path = "../air", package = "winter-air", default-features = false }
+crypto = { version = "0.11", path = "../crypto", package = "winter-crypto", default-features = false }
+fri = { version = "0.11", path = "../fri", package = "winter-fri", default-features = false }
+math = { version = "0.11", path = "../math", package = "winter-math", default-features = false }
+utils = { version = "0.11", path = "../utils/core", package = "winter-utils", default-features = false }
 
 # Allow math in docs
 [package.metadata.docs.rs]

winterfell/Cargo.toml

@@ -1,12 +1,12 @@
 [package]
 name = "winterfell"
-version = "0.10.3"
+version = "0.11.0"
 description = "Winterfell STARK prover and verifier"
 authors = ["winterfell contributors"]
 readme = "../README.md"
 license = "MIT"
 repository = "https://github.com/novifinancial/winterfell"
-documentation = "https://docs.rs/winterfell/0.10.3"
+documentation = "https://docs.rs/winterfell/0.11.0"
 categories = ["cryptography", "no-std"]
 keywords = ["crypto", "zkp", "stark", "prover", "verifier"]
 edition = "2021"
@@ -22,9 +22,9 @@ default = ["std"]
 std = ["prover/std", "verifier/std"]
 
 [dependencies]
-air = { version = "0.10", path = "../air", package = "winter-air", default-features = false }
-prover = { version = "0.10", path = "../prover", package = "winter-prover", default-features = false }
-verifier = { version = "0.10", path = "../verifier", package = "winter-verifier", default-features = false }
+air = { version = "0.11", path = "../air", package = "winter-air", default-features = false }
+prover = { version = "0.11", path = "../prover", package = "winter-prover", default-features = false }
+verifier = { version = "0.11", path = "../verifier", package = "winter-verifier", default-features = false }
 
 # Allow math in docs
 [package.metadata.docs.rs]