2020-07-13 15:23:29 -07:00
|
|
|
// Copyright (c) Facebook, Inc. and its affiliates.
|
|
|
|
|
//
|
|
|
|
|
// This source code is licensed under the MIT license found in the
|
|
|
|
|
// LICENSE file in the root directory of this source tree.
|
|
|
|
|
|
|
|
|
|
use crate::{
|
2020-11-16 11:49:27 -08:00
|
|
|
errors::{PakeError, ProtocolError},
|
2020-07-27 15:25:04 -07:00
|
|
|
hash::Hash,
|
2020-09-20 07:53:12 -04:00
|
|
|
keypair::KeyPair,
|
2020-07-13 15:23:29 -07:00
|
|
|
};
|
|
|
|
|
use rand_core::{CryptoRng, RngCore};
|
|
|
|
|
|
|
|
|
|
use std::convert::TryFrom;
|
|
|
|
|
|
2020-09-20 07:53:12 -04:00
|
|
|
pub trait KeyExchange<D: Hash, KeyFormat: KeyPair> {
|
2020-11-16 11:49:27 -08:00
|
|
|
type KE1State: for<'r> TryFrom<&'r [u8], Error = PakeError> + ToBytes;
|
|
|
|
|
type KE2State: for<'r> TryFrom<&'r [u8], Error = PakeError> + ToBytes;
|
|
|
|
|
type KE1Message: for<'r> TryFrom<&'r [u8], Error = PakeError> + ToBytes;
|
|
|
|
|
type KE2Message: for<'r> TryFrom<&'r [u8], Error = PakeError> + ToBytes;
|
|
|
|
|
type KE3Message: for<'r> TryFrom<&'r [u8], Error = PakeError> + ToBytes;
|
2020-07-13 15:23:29 -07:00
|
|
|
|
2020-09-19 19:16:35 -04:00
|
|
|
fn generate_ke1<R: RngCore + CryptoRng>(
|
2020-07-13 15:23:29 -07:00
|
|
|
l1_component: Vec<u8>,
|
2020-11-16 11:49:27 -08:00
|
|
|
info: Vec<u8>,
|
2020-07-13 15:23:29 -07:00
|
|
|
rng: &mut R,
|
|
|
|
|
) -> Result<(Self::KE1State, Self::KE1Message), ProtocolError>;
|
|
|
|
|
|
2020-11-16 14:05:43 -08:00
|
|
|
#[allow(clippy::too_many_arguments, clippy::type_complexity)]
|
2020-09-19 19:16:35 -04:00
|
|
|
fn generate_ke2<R: RngCore + CryptoRng>(
|
2020-07-13 15:23:29 -07:00
|
|
|
rng: &mut R,
|
|
|
|
|
l1_bytes: Vec<u8>,
|
|
|
|
|
l2_bytes: Vec<u8>,
|
|
|
|
|
ke1_message: Self::KE1Message,
|
|
|
|
|
client_s_pk: KeyFormat::Repr,
|
|
|
|
|
server_s_sk: KeyFormat::Repr,
|
2020-11-16 14:05:43 -08:00
|
|
|
id_u: Vec<u8>,
|
|
|
|
|
id_s: Vec<u8>,
|
2020-11-16 11:49:27 -08:00
|
|
|
e_info: Vec<u8>,
|
2020-11-16 14:05:43 -08:00
|
|
|
) -> Result<(Vec<u8>, Self::KE2State, Self::KE2Message), ProtocolError>;
|
2020-07-13 15:23:29 -07:00
|
|
|
|
2020-11-16 14:05:43 -08:00
|
|
|
#[allow(clippy::too_many_arguments, clippy::type_complexity)]
|
2020-09-19 19:16:35 -04:00
|
|
|
fn generate_ke3(
|
2020-07-13 15:23:29 -07:00
|
|
|
l2_component: Vec<u8>,
|
|
|
|
|
ke2_message: Self::KE2Message,
|
|
|
|
|
ke1_state: &Self::KE1State,
|
|
|
|
|
server_s_pk: KeyFormat::Repr,
|
|
|
|
|
client_s_sk: KeyFormat::Repr,
|
2020-11-16 14:05:43 -08:00
|
|
|
id_u: Vec<u8>,
|
|
|
|
|
id_s: Vec<u8>,
|
2021-01-14 15:30:37 -08:00
|
|
|
) -> Result<(Vec<u8>, Vec<u8>, Self::KE3Message), ProtocolError>;
|
2020-07-13 15:23:29 -07:00
|
|
|
|
2020-11-16 14:05:43 -08:00
|
|
|
#[allow(clippy::type_complexity)]
|
2020-07-13 15:23:29 -07:00
|
|
|
fn finish_ke(
|
|
|
|
|
ke3_message: Self::KE3Message,
|
|
|
|
|
ke2_state: &Self::KE2State,
|
2021-01-14 15:30:37 -08:00
|
|
|
) -> Result<Vec<u8>, ProtocolError>;
|
2020-07-13 15:23:29 -07:00
|
|
|
|
|
|
|
|
fn ke1_state_size() -> usize;
|
|
|
|
|
|
|
|
|
|
fn ke2_message_size() -> usize;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub trait ToBytes {
|
|
|
|
|
fn to_bytes(&self) -> Vec<u8>;
|
|
|
|
|
}
|