Merge pull request #551 from logos-blockchain/artem/keccak-speedup

feat: keccak speedup

.deny.toml

@@ -60,6 +60,7 @@ allow-git = [
   "https://github.com/logos-blockchain/logos-blockchain.git",
   "https://github.com/logos-blockchain/logos-blockchain-circuits.git",
   "https://github.com/logos-blockchain/logos-blockchain-rust-rapidsnark.git",
+  "https://github.com/logos-blockchain/sponges",
   "https://github.com/arkworks-rs/spongefish.git"
 ]
 unknown-git = "deny"

Cargo.lock

@@ -4389,11 +4389,11 @@ dependencies = [
 [[package]]
 name = "keccak"
 version = "0.2.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9e24a010dd405bd7ed803e5253182815b41bf2e6a80cc3bfc066658e03a198aa"
+source = "git+https://github.com/logos-blockchain/sponges?rev=3a56e99771beedf04946eab21a4a62adc2951377#3a56e99771beedf04946eab21a4a62adc2951377"
 dependencies = [
  "cfg-if",
  "cpufeatures 0.3.0",
+ "risc0-zkvm",
 ]
 
 [[package]]

Cargo.toml

@@ -178,6 +178,10 @@ opt-level = 'z'
 lto = true
 codegen-units = 1
 
+# Keccak speedup for in-guest ML KEM
+[patch.crates-io]
+keccak = { git = "https://github.com/logos-blockchain/sponges", rev = "3a56e99771beedf04946eab21a4a62adc2951377" }
+
 # Keep backtraces but drop full DWARF type info to avoid LLD OOM/SIGBUS when
 # linking large integration-test binaries on resource-constrained CI runners.
 [profile.dev]
@@ -323,4 +327,4 @@ clippy.cargo = { level = "deny", priority = -1 }
 clippy.cargo-common-metadata = "allow"
 # Reason: hard to address right now and mostly comes from dependencies
 # so the fix would be just a long list of exceptions.
-clippy.multiple-crate-versions = "allow"
+clippy.multiple-crate-versions = "allow"