#[non_exhaustive]pub struct SasMatch { /* private fields */ }Expand description
Zero-sized proof that the user visually compared both SAS outputs and
confirmed they match. The only constructor is
SasMatch::user_confirmed_visual_match; callers cannot forge one
without having seen both SAS arrays.
Implementations§
Source§impl SasMatch
impl SasMatch
Sourcepub fn user_confirmed_visual_match(_ours: &[u8; 10], _theirs: &[u8; 10]) -> Self
pub fn user_confirmed_visual_match(_ours: &[u8; 10], _theirs: &[u8; 10]) -> Self
Produce a SasMatch after the user has visually compared both
SAS outputs and confirmed they match. Callers pass both byte arrays
so the proof is at least textually bound to a specific pair; the
actual equality is the USER’s judgement (that’s the protocol’s
whole point).
In tests, this is constructed freely. In production UIs, this MUST be called only after the user has pressed “match” on the confirmation screen (fn-129 plan §2.1.4 / §2.2.4).
Auto Trait Implementations§
impl Freeze for SasMatch
impl RefUnwindSafe for SasMatch
impl Send for SasMatch
impl Sync for SasMatch
impl Unpin for SasMatch
impl UnsafeUnpin for SasMatch
impl UnwindSafe for SasMatch
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more