pub trait ConstantTimeEq {
// Required method
fn ct_eq(&self, other: &Self) -> Choice;
}
Expand description
An Eq
-like trait that produces a Choice
instead of a bool
.
§Example
use subtle::ConstantTimeEq;
let x: u8 = 5;
let y: u8 = 13;
assert_eq!(x.ct_eq(&y).unwrap_u8(), 0);
assert_eq!(x.ct_eq(&x).unwrap_u8(), 1);
Required Methods§
Object Safety§
This trait is not object safe.
Implementations on Foreign Types§
source§impl<T: ConstantTimeEq> ConstantTimeEq for [T]
impl<T: ConstantTimeEq> ConstantTimeEq for [T]
source§fn ct_eq(&self, _rhs: &[T]) -> Choice
fn ct_eq(&self, _rhs: &[T]) -> Choice
Check whether two slices of ConstantTimeEq
types are equal.
§Note
This function short-circuits if the lengths of the input slices are different. Otherwise, it should execute in time independent of the slice contents.
Since arrays coerce to slices, this function works with fixed-size arrays:
let a: [u8; 8] = [0,1,2,3,4,5,6,7];
let b: [u8; 8] = [0,1,2,3,0,1,2,3];
let a_eq_a = a.ct_eq(&a);
let a_eq_b = a.ct_eq(&b);
assert_eq!(a_eq_a.unwrap_u8(), 1);
assert_eq!(a_eq_b.unwrap_u8(), 0);