diff --git a/ipa-core/src/protocol/context/mod.rs b/ipa-core/src/protocol/context/mod.rs
index b76d7ab7e..a31aa4c44 100644
--- a/ipa-core/src/protocol/context/mod.rs
+++ b/ipa-core/src/protocol/context/mod.rs
@@ -1,5 +1,7 @@
+#[allow(dead_code)]
 mod dzkp_malicious;
 mod dzkp_semi_honest;
+#[allow(dead_code)]
 pub mod dzkp_validator;
 #[cfg(feature = "descriptive-gate")]
 pub mod malicious;
diff --git a/ipa-core/src/secret_sharing/replicated/malicious/additive_share.rs b/ipa-core/src/secret_sharing/replicated/malicious/additive_share.rs
index 2157e9010..1e319f6d1 100644
--- a/ipa-core/src/secret_sharing/replicated/malicious/additive_share.rs
+++ b/ipa-core/src/secret_sharing/replicated/malicious/additive_share.rs
@@ -55,6 +55,7 @@ impl<F: PrimeField> ExtendableField for F {
 
 /// Trait for fields compatible with DZKPs
 /// Field needs to support conversion to `SegmentEntry`, i.e. `to_segment_entry` which is required by DZKPs
+#[allow(dead_code)]
 pub trait DZKPCompatibleField: Field {
     fn as_segment_entry(&self) -> SegmentEntry<'_>;
 }