Explicitly seal MontyForm

src/modular/boxed_monty_form.rs

@@ -14,7 +14,7 @@ use super::{
     BoxedMontyParams, Retrieve, div_by_2, monty_params::MontyParams,
     reduction::montgomery_retrieve_inner,
 };
-use crate::{BoxedUint, Choice, MontyForm, Odd};
+use crate::{BoxedUint, Choice, MontyForm, Odd, sealed::Sealed};
 use mul::BoxedMontyMultiplier;
 
 #[cfg(feature = "zeroize")]
@@ -224,6 +224,8 @@ impl MontyForm for BoxedMontyForm {
     }
 }
 
+impl Sealed for BoxedMontyForm {}
+
 /// NOTE: This zeroizes the value, but _not_ the associated parameters!
 #[cfg(feature = "zeroize")]
 impl Zeroize for BoxedMontyForm {

src/modular/fixed_monty_form.rs

@@ -17,7 +17,7 @@ use super::{
     mul::mul_montgomery_form,
     reduction::montgomery_retrieve,
 };
-use crate::{MontyForm, Odd, Uint};
+use crate::{MontyForm, Odd, Uint, sealed::Sealed};
 use mul::FixedMontyMultiplier;
 
 /// An integer in Montgomery form represented using `LIMBS` limbs.
@@ -172,6 +172,8 @@ impl<const LIMBS: usize> MontyForm for FixedMontyForm<LIMBS> {
     }
 }
 
+impl<const LIMBS: usize> Sealed for FixedMontyForm<LIMBS> {}
+
 impl<const LIMBS: usize, P: ConstMontyParams<LIMBS>> From<&ConstMontyForm<P, LIMBS>>
     for FixedMontyForm<LIMBS>
 {

src/traits.rs

@@ -1152,6 +1152,7 @@ pub trait Resize: Sized {
 /// A representation of an integer optimized for the performance of modular operations.
 pub trait MontyForm:
     'static
+    + sealed::Sealed
     + Clone
     + CtEq
     + CtSelect