diff --git a/src/lib/crypto/kimchi_bindings/stubs/kimchi_types.ml b/src/lib/crypto/kimchi_bindings/stubs/kimchi_types.ml
index 6bec0f01f84..0e2b65b8b24 100644
--- a/src/lib/crypto/kimchi_bindings/stubs/kimchi_types.ml
+++ b/src/lib/crypto/kimchi_bindings/stubs/kimchi_types.ml
@@ -162,6 +162,8 @@ type nonrec gate_type =
   | ForeignFieldMul
   | Xor16
   | Rot64
+  | KeccakRound
+  | KeccakSponge
 
 type nonrec lookup_pattern = Xor | Lookup | RangeCheck | ForeignFieldMul
 
diff --git a/src/lib/crypto/kimchi_pasta_snarky_backend/plonk_constraint_system.ml b/src/lib/crypto/kimchi_pasta_snarky_backend/plonk_constraint_system.ml
index 24bfdafd5d8..d8e229e5a9a 100644
--- a/src/lib/crypto/kimchi_pasta_snarky_backend/plonk_constraint_system.ml
+++ b/src/lib/crypto/kimchi_pasta_snarky_backend/plonk_constraint_system.ml
@@ -25,6 +25,8 @@ module Kimchi_gate_type = struct
     | ForeignFieldMul
     | Xor16
     | Rot64
+    | KeccakRound
+    | KeccakSponge
   [@@deriving sexp]
 end