ctutils 0.4.7

Constant-time utility library with selection and equality testing support targeting cryptographic applications. Supports `const fn` where appropriate. Built on the `cmov` crate which provides architecture-specific predication intrinsics. Heavily inspired by the `subtle` crate.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86

//! Differential tests against the core integer operations.

use ctutils::{Choice, primitives::*};
use proptest::prelude::*;

proptest! {
    #[test]
    fn sub_u32(lhs in any::<u32>(), rhs in any::<u32>(), incoming in any::<bool>()) {
        let (expected, first_borrow) = lhs.overflowing_sub(rhs);
        let (expected, second_borrow) = expected.overflowing_sub(u32::from(incoming));
        let (difference, borrow) = borrowing_sub_u32(lhs, rhs, Choice::from_u8_lsb(u8::from(incoming)));
        prop_assert_eq!((difference, borrow.to_bool()), (expected, first_borrow | second_borrow));
    }

    #[test]
    fn sub_u64(lhs in any::<u64>(), rhs in any::<u64>(), incoming in any::<bool>()) {
        let (expected, first_borrow) = lhs.overflowing_sub(rhs);
        let (expected, second_borrow) = expected.overflowing_sub(u64::from(incoming));
        let (difference, borrow) = borrowing_sub_u64(lhs, rhs, Choice::from_u8_lsb(u8::from(incoming)));
        prop_assert_eq!((difference, borrow.to_bool()), (expected, first_borrow | second_borrow));
    }

    #[test]
    fn sub_mask_u32(lhs in any::<u32>(), rhs in any::<u32>(), incoming in any::<u32>()) {
        let (expected, first_borrow) = lhs.overflowing_sub(rhs);
        let (expected, second_borrow) = expected.overflowing_sub(incoming >> 31);
        let expected_borrow = u32::from(first_borrow | second_borrow).wrapping_neg();
        prop_assert_eq!(borrowing_sub_mask_u32(lhs, rhs, incoming), (expected, expected_borrow));
    }

    #[test]
    fn sub_mask_u64(lhs in any::<u64>(), rhs in any::<u64>(), incoming in any::<u64>()) {
        let (expected, first_borrow) = lhs.overflowing_sub(rhs);
        let (expected, second_borrow) = expected.overflowing_sub(incoming >> 63);
        let expected_borrow = u64::from(first_borrow | second_borrow).wrapping_neg();
        prop_assert_eq!(borrowing_sub_mask_u64(lhs, rhs, incoming), (expected, expected_borrow));
    }

    #[test]
    #[allow(clippy::cast_possible_truncation, reason = "extract the low limb")]
    fn sub_mask_u32_limbs(lhs in any::<u64>(), rhs in any::<u64>(), incoming in any::<u32>()) {
        let (expected, first_borrow) = lhs.overflowing_sub(rhs);
        let (expected, second_borrow) = expected.overflowing_sub(u64::from(incoming >> 31));
        let expected_borrow = u32::from(first_borrow | second_borrow).wrapping_neg();
        let (lo, borrow) = borrowing_sub_mask_u32(lhs as u32, rhs as u32, incoming);
        let (hi, borrow) = borrowing_sub_mask_u32((lhs >> 32) as u32, (rhs >> 32) as u32, borrow);
        let difference = (u64::from(hi) << 32) | u64::from(lo);
        prop_assert_eq!((difference, borrow), (expected, expected_borrow));
    }

    #[test]
    #[allow(clippy::cast_possible_truncation, reason = "extract the low limb")]
    fn sub_mask_u64_limbs(lhs in any::<u128>(), rhs in any::<u128>(), incoming in any::<u64>()) {
        let (expected, first_borrow) = lhs.overflowing_sub(rhs);
        let (expected, second_borrow) = expected.overflowing_sub(u128::from(incoming >> 63));
        let expected_borrow = u64::from(first_borrow | second_borrow).wrapping_neg();
        let (lo, borrow) = borrowing_sub_mask_u64(lhs as u64, rhs as u64, incoming);
        let (hi, borrow) = borrowing_sub_mask_u64((lhs >> 64) as u64, (rhs >> 64) as u64, borrow);
        let difference = (u128::from(hi) << 64) | u128::from(lo);
        prop_assert_eq!((difference, borrow), (expected, expected_borrow));
    }

    #[test]
    fn zero_counts_u32(value in any::<u32>()) {
        prop_assert_eq!(leading_zeros_u32(value), value.leading_zeros());
        prop_assert_eq!(trailing_zeros_u32(value), value.trailing_zeros());
    }

    #[test]
    fn zero_counts_u64(value in any::<u64>()) {
        prop_assert_eq!(leading_zeros_u64(value), value.leading_zeros());
        prop_assert_eq!(trailing_zeros_u64(value), value.trailing_zeros());
    }

    #[test]
    fn add_u64(lhs in any::<u64>(), rhs in any::<u64>()) {
        let (sum, carry) = overflowing_add_u64(lhs, rhs);
        prop_assert_eq!((sum, carry.to_bool()), lhs.overflowing_add(rhs));
    }

    #[test]
    fn add_u128(lhs in any::<u128>(), rhs in any::<u128>()) {
        let (sum, carry) = overflowing_add_u128(lhs, rhs);
        prop_assert_eq!((sum, carry.to_bool()), lhs.overflowing_add(rhs));
    }
}