Merge pull request #1045 from cryspen/franziskus/v0.0.3-release

bump 0.0.3-alpha.3 to 0.0.3

Author: franziskuskiefer

Cargo.toml

@@ -80,17 +80,17 @@ bench = false                               # so libtest doesn't eat the argumen
 libcrux-platform = { version = "=0.0.2", path = "sys/platform" }
 
 [dependencies]
-libcrux-traits = { version = "=0.0.3-alpha.3", path = "traits" }
-libcrux-hacl-rs = { version = "=0.0.3-alpha.3", path = "hacl-rs" }
+libcrux-traits = { version = "=0.0.3", path = "traits" }
+libcrux-hacl-rs = { version = "=0.0.3", path = "hacl-rs" }
 libcrux-hacl = { version = "=0.0.2", path = "sys/hacl" }
 libcrux-platform = { version = "=0.0.2", path = "sys/platform" }
-libcrux-hkdf = { version = "=0.0.3-alpha.3", path = "libcrux-hkdf" }
-libcrux-hmac = { version = "=0.0.3-alpha.3", path = "libcrux-hmac" }
-libcrux-sha2 = { version = "=0.0.3-alpha.3", path = "sha2" }
-libcrux-ed25519 = { version = "=0.0.3-alpha.3", path = "ed25519" }
-libcrux-ecdh = { version = "=0.0.3-alpha.3", path = "libcrux-ecdh" }
-libcrux-ml-kem = { version = "=0.0.3-alpha.3", path = "libcrux-ml-kem" }
-libcrux-kem = { version = "=0.0.3-alpha.3", path = "libcrux-kem" }
+libcrux-hkdf = { version = "=0.0.3", path = "libcrux-hkdf" }
+libcrux-hmac = { version = "=0.0.3", path = "libcrux-hmac" }
+libcrux-sha2 = { version = "=0.0.3", path = "sha2" }
+libcrux-ed25519 = { version = "=0.0.3", path = "ed25519" }
+libcrux-ecdh = { version = "=0.0.3", path = "libcrux-ecdh" }
+libcrux-ml-kem = { version = "=0.0.3", path = "libcrux-ml-kem" }
+libcrux-kem = { version = "=0.0.3", path = "libcrux-kem" }
 rand = { version = "0.9" }
 log = { version = "0.4", optional = true }
 # WASM API

blake2/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).
 
-## [v0.0.3-alpha.1]
+## [0.0.3] (2025-06-30)
 
 - [#922](https://github.com/cryspen/libcrux/pull/922): Make `no_std` optional using default `std` feature
 - [#993](https://github.com/cryspen/libcrux/pull/993): Update dependencies `hacl-rs` and `macros`

blake2/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "libcrux-blake2"
 description = "Formally verified blake2 hash library"
-version = "0.0.3-alpha.3"
+version = "0.0.3"
 readme = "Readme.md"
 
 authors.workspace = true
@@ -15,8 +15,8 @@ std = []
 default = ["std"]
 
 [dependencies]
-libcrux-hacl-rs = { version = "=0.0.3-alpha.3", path = "../hacl-rs/" }
-libcrux-macros = { version = "=0.0.3-alpha.3", path = "../macros" }
+libcrux-hacl-rs = { version = "=0.0.3", path = "../hacl-rs/" }
+libcrux-macros = { version = "=0.0.3", path = "../macros" }
 
 [dev-dependencies]
 criterion = "0.6"

chacha20poly1305/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).
 
-## [v0.0.3-alpha.1]
+## [0.0.3] (2025-06-30)
 
 - [#896](https://github.com/cryspen/libcrux/pull/896): Add support for XChacha20Poly1305
 - [#993](https://github.com/cryspen/libcrux/pull/993): Update dependencies `hacl-rs` and `macros`

chacha20poly1305/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "libcrux-chacha20poly1305"
 description = "Formally verified ChaCha20-Poly1305 AEAD library"
-version = "0.0.3-alpha.3"
+version = "0.0.3"
 readme = "Readme.md"
 
 authors.workspace = true
@@ -11,11 +11,11 @@ edition.workspace = true
 repository.workspace = true
 
 [dependencies]
-libcrux-poly1305 = { version = "=0.0.3-alpha.3", path = "../poly1305/", features = [
+libcrux-poly1305 = { version = "=0.0.3", path = "../poly1305/", features = [
     "expose-hacl",
 ] }
-libcrux-hacl-rs = { version = "=0.0.3-alpha.3", path = "../hacl-rs/" }
-libcrux-macros = { version = "=0.0.3-alpha.3", path = "../macros" }
+libcrux-hacl-rs = { version = "=0.0.3", path = "../hacl-rs/" }
+libcrux-macros = { version = "=0.0.3", path = "../macros" }
 
 [dev-dependencies]
 hex = { version = "0.4.3", features = ["serde"] }

curve25519/CHANGELOG.md

@@ -5,6 +5,6 @@ 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).
 
-## [v0.0.3-alpha.1]
+## [0.0.3] (2025-06-30)
 
 - [#993](https://github.com/cryspen/libcrux/pull/993): Update dependencies `hacl-rs` and `macros`

curve25519/Cargo.toml

@@ -1,7 +1,7 @@
 [package]
 name = "libcrux-curve25519"
 description = "Formally verified curve25519 ECDH library"
-version = "0.0.3-alpha.3"
+version = "0.0.3"
 readme = "Readme.md"
 
 authors.workspace = true
@@ -11,5 +11,5 @@ edition.workspace = true
 repository.workspace = true
 
 [dependencies]
-libcrux-hacl-rs = { version = "=0.0.3-alpha.3", path = "../hacl-rs/" }
-libcrux-macros = { version = "=0.0.3-alpha.3", path = "../macros" }
+libcrux-hacl-rs = { version = "=0.0.3", path = "../hacl-rs/" }
+libcrux-macros = { version = "=0.0.3", path = "../macros" }

ecdsa/CHANGELOG.md

@@ -5,6 +5,6 @@ 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).
 
-## [v0.0.3-alpha.1]
+## [0.0.3] (2025-06-30)
 
 - [#922](https://github.com/cryspen/libcrux/pull/922): Upgrade dependencies for `libcrux-sha2` and `libcrux-p256`

ecdsa/Cargo.toml

@@ -2,7 +2,7 @@
 name = "libcrux-ecdsa"
 description = "Formally verified ECDSA signature library"
 readme = "Readme.md"
-version = "0.0.3-alpha.3"
+version = "0.0.3"
 
 authors.workspace = true
 license.workspace = true
@@ -11,10 +11,10 @@ edition.workspace = true
 repository.workspace = true
 
 [dependencies]
-libcrux-p256 = { version = "=0.0.3-alpha.3", path = "../p256", features = [
+libcrux-p256 = { version = "=0.0.3", path = "../p256", features = [
     "expose-hacl",
 ] }
-libcrux-sha2 = { version = "=0.0.3-alpha.3", path = "../sha2" }
+libcrux-sha2 = { version = "=0.0.3", path = "../sha2" }
 rand = { version = "0.9", optional = true }
 
 [features]

ed25519/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).
 
-## [v0.0.3-alpha.1]
+## [0.0.3] (2025-06-30)
 
 - [#922](https://github.com/cryspen/libcrux/pull/922): Upgrade `libcrux-sha2` dependency
 - [#993](https://github.com/cryspen/libcrux/pull/993): Update dependencies `hacl-rs` and `macros`