krabitls 0.3.0

A TLS13 client lib for microcontrollers.
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

//! Central bigint-backend selection. Every bignum carrier krabitls
//! instantiates is named here, by role — swapping the backend (or a width /
//! personality policy) starts and mostly ends in this file.
//!
//! A replacement backend must satisfy the trait surfaces the aliases feed:
//! `ed25519_heapless`'s verify/sign generics for the curve types, and
//! `rsa_heapless::modmath_support::ModMathInt` (`Nct`) / the CT signing
//! bounds for the RSA types. `const_num_traits::{Nct, Ct}` select between
//! vartime and constant-time arithmetic per alias.

/// 512-bit vartime carrier for Ed25519 *verification* — public data, so the
/// faster non-CT personality.
pub(crate) type Curve25519VerifyBn = fixed_bigint::FixedUInt<u32, 16>;

/// 512-bit constant-time carrier for the X25519 shared-secret computation
/// and Ed25519 *signing* — the scalar is secret, so `ed25519_heapless`'s
/// sign/DH bounds require CT field arithmetic.
pub(crate) type Curve25519CtBn = fixed_bigint::FixedUInt<u32, 16, const_num_traits::Ct>;

/// 1024-bit vartime carrier for RSA-1024 *verification*. Compiled out under
/// `feature = "rsa_2048_only"`.
#[cfg(all(feature = "rsa", not(feature = "rsa_2048_only")))]
pub(crate) type RsaU1024 = fixed_bigint::FixedUInt<u32, 32>;

/// 2048-bit vartime carrier for RSA-2048 *verification* — the modexp
/// exponent is the public `e`.
#[cfg(feature = "rsa")]
pub(crate) type RsaU2048 = fixed_bigint::FixedUInt<u32, 64>;

/// 2048-bit constant-time carrier for RSA-2048 *signing* — the modexp
/// exponent is the private `d`.
#[cfg(feature = "rsa")]
pub(crate) type RsaSignBn = fixed_bigint::FixedUInt<u32, 64, const_num_traits::Ct>;