1 | // Copyright 2015-2023 Brian Smith. |
2 | // |
3 | // Permission to use, copy, modify, and/or distribute this software for any |
4 | // purpose with or without fee is hereby granted, provided that the above |
5 | // copyright notice and this permission notice appear in all copies. |
6 | // |
7 | // THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES |
8 | // WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF |
9 | // MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY |
10 | // SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES |
11 | // WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION |
12 | // OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN |
13 | // CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. |
14 | |
15 | use super::{limb, BoxedLimbs, Limb, Modulus}; |
16 | use crate::error; |
17 | use alloc::boxed::Box; |
18 | |
19 | pub struct PrivateExponent { |
20 | // Unlike most `[Limb]` we deal with, these are stored most significant |
21 | // word first. |
22 | limbs: Box<[Limb]>, |
23 | } |
24 | |
25 | impl PrivateExponent { |
26 | // `p` is the modulus for which the exponent is in the interval [1, `p` - 1). |
27 | pub fn from_be_bytes_padded<M>( |
28 | input: untrusted::Input, |
29 | p: &Modulus<M>, |
30 | ) -> Result<Self, error::Unspecified> { |
31 | let mut dP = BoxedLimbs::from_be_bytes_padded_less_than(input, p)?; |
32 | |
33 | // Proof that `dP < p - 1`: |
34 | // |
35 | // If `dP < p` then either `dP == p - 1` or `dP < p - 1`. Since `p` is |
36 | // odd, `p - 1` is even. `d` is odd, and an odd number modulo an even |
37 | // number is odd. Therefore `dP` must be odd. But then it cannot be |
38 | // `p - 1` and so we know `dP < p - 1`. |
39 | // |
40 | // Further we know `dP != 0` because `dP` is not even. |
41 | limb::limbs_reject_even_leak_bit(&dP)?; |
42 | dP.reverse(); |
43 | |
44 | Ok(Self { |
45 | limbs: dP.into_limbs(), |
46 | }) |
47 | } |
48 | |
49 | // Create a `PrivateExponent` with a value that we do not support in |
50 | // production use, to allow testing with additional test vectors. |
51 | #[cfg (test)] |
52 | pub fn from_be_bytes_for_test_only<M>( |
53 | input: untrusted::Input, |
54 | p: &Modulus<M>, |
55 | ) -> Result<Self, error::Unspecified> { |
56 | use crate::limb::LIMB_BYTES; |
57 | |
58 | // Do exactly what `from_be_bytes_padded` does for any inputs it accepts. |
59 | if let r @ Ok(_) = Self::from_be_bytes_padded(input, p) { |
60 | return r; |
61 | } |
62 | |
63 | let num_limbs = (input.len() + LIMB_BYTES - 1) / LIMB_BYTES; |
64 | let mut limbs = BoxedLimbs::<M>::zero(num_limbs); |
65 | limb::parse_big_endian_and_pad_consttime(input, &mut limbs) |
66 | .map_err(|error::Unspecified| error::KeyRejected::unexpected_error())?; |
67 | limbs.reverse(); |
68 | Ok(Self { |
69 | limbs: limbs.into_limbs(), |
70 | }) |
71 | } |
72 | |
73 | #[inline ] |
74 | pub(super) fn limbs(&self) -> &[Limb] { |
75 | &self.limbs |
76 | } |
77 | } |
78 | |