Kimchi-bindings/snarky_backend: add KeccakRound/Sponge in gate_type

MinaProtocol · Dec 9, 2024 · da66e68 · da66e68
1 parent 2eb5781
commit da66e68
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git 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
@@ -25,6 +25,8 @@ module Kimchi_gate_type = struct
     | ForeignFieldMul
     | Xor16
     | Rot64
+    | KeccakRound
+    | KeccakSponge
   [@@deriving sexp]
 end