Merge pull request #1534 from celabshq/jonas/releases-2026w29

Bump to release versions

Author: jschneider-bensch

CHANGELOG.md

@@ -5,7 +5,7 @@ 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.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [0.0.5-pre.1] (2026-07-13)
+## [0.0.5] (2026-07-15)
 
 ### Fixed
 
@@ -18,7 +18,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Changed
 
-- [#XYZ](https://github.com/celabshq/libcrux/pull/XYZ): Update dependencies: `libcrux-blake2`, `libcrux-sha3`, `libcrux-sha2`, `libcrux-curve25519`, `libcrux-aes`, `libcrux-chacha20poly1305`, `libcrux-ml-dsa`, `libcrux-ml-kem`, `libcrux-rsa`, `libcrux-ed25519`, `libcrux-digest`, `libcrux-hmac`, `libcrux-p256`, `libcrux-aead`, `libcrux-hkdf`, `libcrux-ecdsa`, `libcrux-ecdh`, `libcrux-kem`, `libcrux-psq`, `hpke-rs`
+- [#1534](https://github.com/celabshq/libcrux/pull/XYZ): Update dependencies: `libcrux-blake2`, `libcrux-sha3`, `libcrux-sha2`, `libcrux-curve25519`, `libcrux-aes`, `libcrux-chacha20poly1305`, `libcrux-ml-dsa`, `libcrux-ml-kem`, `libcrux-rsa`, `libcrux-ed25519`, `libcrux-digest`, `libcrux-hmac`, `libcrux-p256`, `libcrux-aead`, `libcrux-hkdf`, `libcrux-ecdsa`, `libcrux-ecdh`, `libcrux-kem`, `libcrux-psq`, `hpke-rs`
 - [#1505](https://github.com/celabshq/libcrux/pull/1505): Update dependency: `hpke-rs`
 - (libcrux-traits, libcrux-sha3, libcrux-sha2, libcrux-blake2) [#1493](https://github.com/celabshq/libcrux/pull/1493): `finish` methods on digest traits consume the hasher
 - (libcrux-secrets) [#1446](https://github.com/celabshq/libcrux/pull/1446): Remove const qualifier of secret types constructors

Cargo.toml

@@ -88,7 +88,7 @@ exclude = [
 resolver = "2"
 
 [workspace.package]
-version = "0.0.5-pre.1"
+version = "0.0.5"
 authors = ["Cryspen"]
 license = "Apache-2.0"
 homepage = "https://github.com/cryspen/libcrux"
@@ -102,48 +102,48 @@ allow-branch = ["main"]
 
 [workspace.dependencies]
 hax-lib = { version = "0.3.7" }
-libcrux-aead = { version = "=0.0.9-pre.1", path = "crates/primitives/aead" }
-libcrux-aes = { version = "=0.0.9-pre.1", path = "crates/algorithms/aes" }
-libcrux-blake2 = { version = "=0.0.8-pre.1", path = "crates/algorithms/blake2" }
-libcrux-chacha20poly1305 = { version = "=0.0.9-pre.1", path = "crates/algorithms/chacha20poly1305" }
+libcrux-aead = { version = "=0.0.9", path = "crates/primitives/aead" }
+libcrux-aes = { version = "=0.0.9", path = "crates/algorithms/aes" }
+libcrux-blake2 = { version = "=0.0.8", path = "crates/algorithms/blake2" }
+libcrux-chacha20poly1305 = { version = "=0.0.9", path = "crates/algorithms/chacha20poly1305" }
 libcrux-poly1305 = { version = "=0.0.6", path = "crates/algorithms/poly1305" }
-libcrux-ecdsa = { version = "=0.0.8-pre.1", path = "crates/algorithms/ecdsa" }
-libcrux-ed25519 = { version = "=0.0.9-pre.1", path = "crates/algorithms/ed25519" }
+libcrux-ecdsa = { version = "=0.0.8", path = "crates/algorithms/ecdsa" }
+libcrux-ed25519 = { version = "=0.0.9", path = "crates/algorithms/ed25519" }
 libcrux-hacl-rs = { version = "=0.0.5", path = "crates/utils/hacl-rs" }
-libcrux-hkdf = { version = "=0.0.8-pre.1", path = "crates/algorithms/hkdf" }
-libcrux-hmac = { version = "=0.0.8-pre.1", path = "crates/algorithms/hmac" }
-libcrux-hmac-drbg = { version = "=0.0.1-pre.1", path = "crates/algorithms/hmac-drbg" }
-libcrux-kmac = { version = "=0.0.1-pre.1", path = "crates/algorithms/kmac" }
-libcrux-intrinsics = { version = "=0.0.8-pre.1", path = "crates/utils/intrinsics" }
-libcrux-digest = { version = "=0.0.9-pre.1", path = "crates/primitives/digest" }
-libcrux-rsa = { version = "=0.0.8-pre.1", path = "crates/algorithms/rsa" }
-libcrux-sha2 = { version = "=0.0.8-pre.1", path = "crates/algorithms/sha2" }
-libcrux-sha3 = { version = "=0.0.10-pre.1", path = "crates/algorithms/sha3" }
-libcrux-ml-dsa = { version = "=0.0.10-pre.1", path = "libcrux-ml-dsa" }
+libcrux-hkdf = { version = "=0.0.8", path = "crates/algorithms/hkdf" }
+libcrux-hmac = { version = "=0.0.8", path = "crates/algorithms/hmac" }
+libcrux-hmac-drbg = { version = "=0.0.1", path = "crates/algorithms/hmac-drbg" }
+libcrux-kmac = { version = "=0.0.1", path = "crates/algorithms/kmac" }
+libcrux-intrinsics = { version = "=0.0.8", path = "crates/utils/intrinsics" }
+libcrux-digest = { version = "=0.0.9", path = "crates/primitives/digest" }
+libcrux-rsa = { version = "=0.0.8", path = "crates/algorithms/rsa" }
+libcrux-sha2 = { version = "=0.0.8", path = "crates/algorithms/sha2" }
+libcrux-sha3 = { version = "=0.0.10", path = "crates/algorithms/sha3" }
+libcrux-ml-dsa = { version = "=0.0.10", path = "libcrux-ml-dsa" }
 libcrux-platform = { version = "=0.0.3", path = "crates/sys/platform" }
-libcrux-psq = { version = "=0.0.10-pre.1", path = "libcrux-psq" }
+libcrux-psq = { version = "=0.0.10", path = "libcrux-psq" }
 
 # HPKE
-hpke-rs = { version = "=0.7.0-pre.1", path = "crates/protocols/hpke" }
-hpke-rs-crypto = { version = "=0.7.0-pre.1", path = "crates/protocols/hpke/traits", default-features = false }
-hpke-rs-rust-crypto = { version = "=0.7.0-pre.1", path = "crates/protocols/hpke/rust_crypto_provider", default-features = false }
-hpke-rs-libcrux = { version = "=0.7.0-pre.1", path = "crates/protocols/hpke/libcrux_provider", default-features = false }
+hpke-rs = { version = "=0.7.0", path = "crates/protocols/hpke" }
+hpke-rs-crypto = { version = "=0.7.0", path = "crates/protocols/hpke/traits", default-features = false }
+hpke-rs-rust-crypto = { version = "=0.7.0", path = "crates/protocols/hpke/rust_crypto_provider", default-features = false }
+hpke-rs-libcrux = { version = "=0.7.0", path = "crates/protocols/hpke/libcrux_provider", default-features = false }
 
 # For the crates below it is necessary to set `default-features = true`
 # in workspace crates that depend on the default feature set.
-libcrux-kem = { version = "=0.0.9-pre.1", path = "libcrux-kem", default-features = false }
-libcrux-traits = { version = "=0.0.8-pre.1", path = "traits" }
-libcrux-ecdh = { version = "=0.0.8-pre.1", path = "libcrux-ecdh", default-features = false }
-libcrux-curve25519 = { version = "=0.0.8-pre.1", path = "crates/algorithms/curve25519", default-features = false }
-libcrux-ml-kem = { version = "=0.0.10-pre.1", path = "libcrux-ml-kem", default-features = false }
-libcrux-p256 = { version = "=0.0.8-pre.1", path = "crates/algorithms/p256", default-features = false }
+libcrux-kem = { version = "=0.0.9", path = "libcrux-kem", default-features = false }
+libcrux-traits = { version = "=0.0.8", path = "traits" }
+libcrux-ecdh = { version = "=0.0.8", path = "libcrux-ecdh", default-features = false }
+libcrux-curve25519 = { version = "=0.0.8", path = "crates/algorithms/curve25519", default-features = false }
+libcrux-ml-kem = { version = "=0.0.10", path = "libcrux-ml-kem", default-features = false }
+libcrux-p256 = { version = "=0.0.8", path = "crates/algorithms/p256", default-features = false }
 
 # Test utilities
 libcrux-kats = { path = "crates/testing/kats" }
 
 # Utilities
 libcrux-macros = { version = "=0.0.3", path = "crates/utils/macros" }
-libcrux-secrets = { version = "=0.0.6-pre.1", path = "crates/utils/secrets" }
+libcrux-secrets = { version = "=0.0.6", path = "crates/utils/secrets" }
 
 # Encodings
  tls_codec = { version = "0.5.0", features = ["derive"], default-features = false }

crates/algorithms/aes/CHANGELOG.md

@@ -5,7 +5,7 @@ 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.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [0.0.9-pre.1] (2026-07-13)
+## [0.0.9] (2026-07-15)
 
 ### Added
 
@@ -18,7 +18,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Changed
 
-- [#XYZ](https://github.com/celabshq/libcrux/pull/XYZ): Update dependencies: `libcrux-secrets`, `libcrux-traits`, `libcrux-intrinsics`
+- [#1534](https://github.com/celabshq/libcrux/pull/1534): Update dependencies: `libcrux-secrets`, `libcrux-traits`, `libcrux-intrinsics`
 - [#1474](https://github.com/celabshq/libcrux/pull/1474): Change crate name from `libcrux-aesgcm` to `libcrux-aes`
 
 ## [0.0.8] (2026-05-13)

crates/algorithms/aes/Cargo.toml

@@ -8,7 +8,7 @@ license.workspace = true
 name = "libcrux-aes"
 readme = "README.md"
 repository.workspace = true
-version = "0.0.9-pre.1"
+version = "0.0.9"
 
 [lib]
 bench = false # so libtest doesn't eat the arguments to criterion

crates/algorithms/blake2/CHANGELOG.md

@@ -5,11 +5,11 @@ 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.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [0.0.8-pre.1] (2026-07-13)
+## [0.0.8] (2026-07-15)
 
 ### Changed
 
-- [#XYZ](https://github.com/celabshq/libcrux/pull/XYZ): Update dependency: `libcrux-traits`
+- [#1534](https://github.com/celabshq/libcrux/pull/1534): Update dependency: `libcrux-traits`
 - [#1493](https://github.com/celabshq/libcrux/pull/1493): `finish` methods on digest traits consume the hasher
 
 

crates/algorithms/blake2/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "libcrux-blake2"
 description = "Formally verified blake2 hash library"
-version = "0.0.8-pre.1"
+version = "0.0.8"
 readme = "Readme.md"
 
 authors.workspace = true

crates/algorithms/chacha20poly1305/CHANGELOG.md

@@ -5,11 +5,11 @@ 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.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [0.0.9-pre.1] (2026-07-13)
+## [0.0.9] (2026-07-15)
 
 ### Changed
 
-- [#XYZ](https://github.com/celabshq/libcrux/pull/XYZ): Update dependencies: `libcrux-secrets`, `libcrux-traits`
+- [#1534](https://github.com/celabshq/libcrux/pull/1534): Update dependencies: `libcrux-secrets`, `libcrux-traits`
 
 ## [0.0.8] (2026-05-13)
 

crates/algorithms/chacha20poly1305/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "libcrux-chacha20poly1305"
 description = "Formally verified ChaCha20-Poly1305 AEAD library"
-version = "0.0.9-pre.1"
+version = "0.0.9"
 readme = "Readme.md"
 
 authors.workspace = true

crates/algorithms/curve25519/CHANGELOG.md

@@ -5,11 +5,11 @@ 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.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [0.0.8-pre.1] (2026-07-13)
+## [0.0.8] (2026-07-15)
 
 ### Changed
 
-- [#XYZ](https://github.com/celabshq/libcrux/pull/XYZ): Update dependencies: `libcrux-secrets`, `libcrux-traits`
+- [#1534](https://github.com/celabshq/libcrux/pull/1534): Update dependencies: `libcrux-secrets`, `libcrux-traits`
 
 ## [0.0.7] (2026-05-13)
 

crates/algorithms/curve25519/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "libcrux-curve25519"
 description = "Formally verified curve25519 ECDH library"
-version = "0.0.8-pre.1"
+version = "0.0.8"
 readme = "Readme.md"
 
 authors.workspace = true