disabling keccak selectors for ocamltypes inside proof

o1-labs · Nov 2, 2023 · e9aa3c8 · e9aa3c8
1 parent 197cbe2
commit e9aa3c8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/kimchi/src/proof.rs b/kimchi/src/proof.rs
@@ -961,6 +961,8 @@ pub mod caml {
                 rot_selector: cpe
                     .rot_selector
                     .map(|x| x.map(&|x| x.into_iter().map(Into::into).collect())),
+                keccak_round_selector: None,
+                keccak_sponge_selector: None,
                 lookup_aggregation: cpe
                     .lookup_aggregation
                     .map(|x| x.map(&|x| x.into_iter().map(Into::into).collect())),
@@ -993,6 +995,8 @@ pub mod caml {
                 foreign_field_mul_lookup_selector: cpe
                     .foreign_field_mul_lookup_selector
                     .map(|x| x.map(&|x| x.iter().map(|x| x.clone().into()).collect())),
+                keccak_round_lookup_selector: None,
+                keccak_sponge_lookup_selector: None,
             }
         }
     }