From f0b44c8a2951a7833d56995793caf6e669db09bc Mon Sep 17 00:00:00 2001
From: samuelburnham <45365069+samuelburnham@users.noreply.github.com>
Date: Thu, 16 Apr 2026 14:25:42 -0400
Subject: [PATCH] chore: update Blake3 to v1.8.4

---
 flake.lock      |  8 ++++----
 flake.nix       |  2 +-
 lakefile.lean   |  2 +-
 rust/Cargo.lock | 10 +++++-----
 rust/Cargo.toml |  4 ++--
 rust/src/lib.rs |  2 +-
 6 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/flake.lock b/flake.lock
index 5ac2d73..043186e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -3,16 +3,16 @@
     "blake3": {
       "flake": false,
       "locked": {
-        "lastModified": 1767892649,
-        "narHash": "sha256-aj+fru2saqWxDDiV3mNCZZeZIGTxSgta/X50R87hoko=",
+        "lastModified": 1774888911,
+        "narHash": "sha256-Xz0LH0YpUjDishvXsW6VNK8msFlPXg08wFoSfbgws0g=",
         "owner": "BLAKE3-team",
         "repo": "BLAKE3",
-        "rev": "8b829b697fa4cfe35de35e9aa8c20b56266cb091",
+        "rev": "b97a24f8754819755ef78d8016c0391c65c943c5",
         "type": "github"
       },
       "original": {
         "owner": "BLAKE3-team",
-        "ref": "refs/tags/1.8.3",
+        "ref": "refs/tags/1.8.4",
         "repo": "BLAKE3",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index b56e695..e27d471 100644
--- a/flake.nix
+++ b/flake.nix
@@ -6,7 +6,7 @@
     flake-parts.url = "github:hercules-ci/flake-parts";
     lean4-nix.url = "github:lenianiva/lean4-nix";
     blake3 = {
-      url = "github:BLAKE3-team/BLAKE3?ref=refs/tags/1.8.3";
+      url = "github:BLAKE3-team/BLAKE3?ref=refs/tags/1.8.4";
       flake = false;
     };
     # Rust-related inputs
diff --git a/lakefile.lean b/lakefile.lean
index 75aed4a..4a03a08 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -12,7 +12,7 @@ lean_exe Blake3Test
 
 -- BLAKE3 C source
 abbrev blake3RepoURL := "https://github.com/BLAKE3-team/BLAKE3"
-abbrev blake3RepoTag := "1.8.3"
+abbrev blake3RepoTag := "1.8.4"
 
 target cloneBlake3 pkg : GitRepo := do
   let repoDir : GitRepo := pkg.dir / "blake3"
diff --git a/rust/Cargo.lock b/rust/Cargo.lock
index de5e46b..90f8c04 100644
--- a/rust/Cargo.lock
+++ b/rust/Cargo.lock
@@ -57,9 +57,9 @@ checksum = "843867be96c8daad0d758b57df9392b6d8d271134fce549de6ce169ff98a92af"
 
 [[package]]
 name = "blake3"
-version = "1.8.3"
+version = "1.8.4"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2468ef7d57b3fb7e16b576e8377cdbde2320c60e1491e961d11da40fc4f02a2d"
+checksum = "4d2d5991425dfd0785aed03aedcf0b321d61975c9b5b3689c774a2610ae0b51e"
 dependencies = [
  "arrayref",
  "arrayvec",
@@ -121,9 +121,9 @@ checksum = "3d52eff69cd5e647efe296129160853a42795992097e8af39800e1060caeea9b"
 
 [[package]]
 name = "cpufeatures"
-version = "0.2.17"
+version = "0.3.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "59ed5838eebb26a2bb2e58f6d5b5316989ae9d08bab10e0e6d103e656d1b0280"
+checksum = "8b2a41393f66f16b0823bb79094d54ac5fbd34ab292ddafb9a0456ac9f87d201"
 dependencies = [
  "libc",
 ]
@@ -158,7 +158,7 @@ dependencies = [
 [[package]]
 name = "lean-ffi"
 version = "0.1.0"
-source = "git+https://github.com/argumentcomputer/lean-ffi?rev=2ee6267354ce460a8dd95ae9f087cc2569a90ad6#2ee6267354ce460a8dd95ae9f087cc2569a90ad6"
+source = "git+https://github.com/argumentcomputer/lean-ffi?rev=cc98ebf67bf453ac3827cb767f78b13ea674dd6a#cc98ebf67bf453ac3827cb767f78b13ea674dd6a"
 dependencies = [
  "bindgen",
  "cc",
diff --git a/rust/Cargo.toml b/rust/Cargo.toml
index d826819..7bc21bc 100644
--- a/rust/Cargo.toml
+++ b/rust/Cargo.toml
@@ -7,8 +7,8 @@ edition = "2024"
 crate-type = ["staticlib"]
 
 [dependencies]
-blake3 = "1.8.3"
-lean-ffi = { git = "https://github.com/argumentcomputer/lean-ffi", rev = "2ee6267354ce460a8dd95ae9f087cc2569a90ad6" }
+blake3 = "1.8.4"
+lean-ffi = { git = "https://github.com/argumentcomputer/lean-ffi", rev = "cc98ebf67bf453ac3827cb767f78b13ea674dd6a" }
 
 [profile.dev]
 panic = "abort"
diff --git a/rust/src/lib.rs b/rust/src/lib.rs
index a5837f6..ccd02ac 100644
--- a/rust/src/lib.rs
+++ b/rust/src/lib.rs
@@ -9,7 +9,7 @@ static HASHER_CLASS: LazyLock<ExternalClass> =
 
 #[unsafe(no_mangle)]
 pub extern "C" fn rs_blake3_version() -> LeanString<LeanOwned> {
-    LeanString::new("1.8.3")
+    LeanString::new("1.8.4")
 }
 
 #[unsafe(no_mangle)]