pub fn compare(secret: &[i32; crate::KEY_LENGTH], public: &[i32; crate::KEY_LENGTH]) -> bool {
        precondition!(has_tag!(secret, crate::SecretTaint));

        let mut result = true;
        let mut i = 0;
        while i < crate::KEY_LENGTH {
            result &= secret[i] == public[i];
            i += 1;
        }
        result
    }
/// A compare function that is constant-time.
A compare function that is constant-time.
A compare function that is constant - time .
pub fn compare(secret: &[i32; crate::KEY_LENGTH], public: &[i32; crate::KEY_LENGTH]) -> bool {
        precondition!(has_tag!(secret, crate::SecretTaint));
        let mut result = true;
        let mut i = 0;
        while i < crate::KEY_LENGTH {
            result &= secret[i] == public[i];
            i += 1;
        }
        result
    }
pub fn compare ( secret : & [ i32 ; crate :: KEY_LENGTH ] , public : & [ i32 ; crate :: KEY_LENGTH ] ) -> bool { precondition ! ( has_tag ( secret crate SecretTaint ) ) ; let mut result = true ; let mut i = 0 ; while i < crate :: KEY_LENGTH { result &= secret [ i ] == public [ i ] ; i += 1 ; } result }
A compare function that is constant-time.
A compare function that is constant - time .
secret
&[i32; crate::KEY_LENGTH]
public
&[i32; crate::KEY_LENGTH]
secret
&[i32; crate::KEY_LENGTH]
public
&[i32; crate::KEY_LENGTH]