2020-06-05 09:35:14 -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-06-14 23:25:31 -07:00
|
|
|
ciphersuite::CipherSuite,
|
2020-06-05 09:35:14 -07:00
|
|
|
errors::*,
|
|
|
|
|
group::Group,
|
2020-07-13 15:23:29 -07:00
|
|
|
key_exchange::tripledh::{TripleDH, NONCE_LEN},
|
2020-11-03 21:44:00 +00:00
|
|
|
keypair::{Key, KeyPair, X25519KeyPair},
|
2020-06-05 09:35:14 -07:00
|
|
|
opaque::*,
|
2020-07-02 12:24:53 -07:00
|
|
|
slow_hash::NoOpHash,
|
2020-06-05 09:35:14 -07:00
|
|
|
tests::mock_rng::CycleRng,
|
|
|
|
|
};
|
|
|
|
|
use curve25519_dalek::edwards::EdwardsPoint;
|
2020-11-02 13:51:43 -08:00
|
|
|
use generic_array::GenericArray;
|
2020-11-03 21:44:00 +00:00
|
|
|
use generic_bytes::SizedBytes;
|
2020-06-05 09:35:14 -07:00
|
|
|
use rand_core::{OsRng, RngCore};
|
|
|
|
|
use serde_json::Value;
|
|
|
|
|
use std::convert::TryFrom;
|
|
|
|
|
|
|
|
|
|
// Tests
|
|
|
|
|
// =====
|
|
|
|
|
|
2020-07-02 12:24:53 -07:00
|
|
|
struct X255193dhNoSlowHash;
|
|
|
|
|
impl CipherSuite for X255193dhNoSlowHash {
|
2020-06-14 23:25:31 -07:00
|
|
|
type Group = EdwardsPoint;
|
2020-07-02 12:24:53 -07:00
|
|
|
type KeyFormat = X25519KeyPair;
|
2020-07-13 15:23:29 -07:00
|
|
|
type KeyExchange = TripleDH;
|
2020-07-27 15:25:04 -07:00
|
|
|
type Hash = sha2::Sha256;
|
2020-07-02 12:24:53 -07:00
|
|
|
type SlowHash = NoOpHash;
|
2020-06-14 23:25:31 -07:00
|
|
|
}
|
|
|
|
|
|
2020-06-05 09:35:14 -07:00
|
|
|
pub struct TestVectorParameters {
|
|
|
|
|
pub client_s_pk: Vec<u8>,
|
|
|
|
|
pub client_s_sk: Vec<u8>,
|
|
|
|
|
pub client_e_pk: Vec<u8>,
|
|
|
|
|
pub client_e_sk: Vec<u8>,
|
|
|
|
|
pub server_s_pk: Vec<u8>,
|
|
|
|
|
pub server_s_sk: Vec<u8>,
|
|
|
|
|
pub server_e_pk: Vec<u8>,
|
|
|
|
|
pub server_e_sk: Vec<u8>,
|
2020-11-02 13:51:43 -08:00
|
|
|
pub id_u: Vec<u8>,
|
|
|
|
|
pub id_s: Vec<u8>,
|
2020-06-05 09:35:14 -07:00
|
|
|
pub password: Vec<u8>,
|
|
|
|
|
pub blinding_factor: Vec<u8>,
|
|
|
|
|
pub oprf_key: Vec<u8>,
|
|
|
|
|
pub envelope_nonce: Vec<u8>,
|
|
|
|
|
pub client_nonce: Vec<u8>,
|
|
|
|
|
pub server_nonce: Vec<u8>,
|
|
|
|
|
pub r1: Vec<u8>,
|
|
|
|
|
pub r2: Vec<u8>,
|
|
|
|
|
pub r3: Vec<u8>,
|
|
|
|
|
pub l1: Vec<u8>,
|
|
|
|
|
pub l2: Vec<u8>,
|
|
|
|
|
pub l3: Vec<u8>,
|
|
|
|
|
client_registration_state: Vec<u8>,
|
|
|
|
|
server_registration_state: Vec<u8>,
|
|
|
|
|
client_login_state: Vec<u8>,
|
|
|
|
|
server_login_state: Vec<u8>,
|
|
|
|
|
pub password_file: Vec<u8>,
|
2020-09-01 11:23:00 -07:00
|
|
|
pub export_key: Vec<u8>,
|
2020-06-05 09:35:14 -07:00
|
|
|
pub shared_secret: Vec<u8>,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static TEST_VECTOR: &str = r#"
|
|
|
|
|
{
|
2020-11-06 10:06:49 -08:00
|
|
|
"client_s_pk": "e7dce23c92339bf0719c2faaa25d9b32997501316552241661331ddb2d621d0f",
|
|
|
|
|
"client_s_sk": "88a85d87f7a6afbcd26c3a44e9c6d6e8b2e66f5f8bc50ab2043e499088bb6c72",
|
|
|
|
|
"client_e_pk": "a05e21d85c342f5c53f9a048d63a9a04f9d1cef364011963dcdb66dc76c5a752",
|
|
|
|
|
"client_e_sk": "80de26e3c0fd87c860030bb600b0a8b33eba54c02e243b4584137da648c5847a",
|
|
|
|
|
"server_s_pk": "1766e2000c0914af7431de8c7ae8757eb2c974006dc7d9fe037cbb1569665a64",
|
|
|
|
|
"server_s_sk": "d86b6db7d70be0a6155e5f4f1a1047b55a0fde382115e4ad524b34edf3bf4b60",
|
|
|
|
|
"server_e_pk": "0a7b46933a6a86942f89eadac7bda1e513ce97776f4e7e65127f2685bc3f250b",
|
|
|
|
|
"server_e_sk": "483b9af7dbce61f734bc824acc892ff5a3c655f29e0ba129eb24ae3ae944a56d",
|
2020-11-02 13:51:43 -08:00
|
|
|
"id_u": "696455",
|
|
|
|
|
"id_s": "696453",
|
2020-06-05 09:35:14 -07:00
|
|
|
"password": "70617373776f7264",
|
2020-11-06 10:06:49 -08:00
|
|
|
"blinding_factor": "803739feafc45969f9be5a6ab6ea0cbc8c6ee5144bc7ce83b6f8acb77e160c04",
|
|
|
|
|
"oprf_key": "288b3f25582a4d5f1a775442805a44b77266430e90124e288176d56eaadabd05",
|
|
|
|
|
"envelope_nonce": "6ed65068854948760f5e23042e1f64614382828206ac24389addb709beb2df5d",
|
|
|
|
|
"client_nonce": "1642c14481e4d3822ca5e038696f86b133c2a3c28bc0c4ee2f6e10305443c5dc",
|
|
|
|
|
"server_nonce": "d7d2f3b5257e67742d8449cf66eca9b9ea89dc9aa811e71806ebf309e6e27a87",
|
|
|
|
|
"r1": "01000022002074b8033d642dfcf0cec75df539801d3fe9262919bd8fd2cd742c3ec211522ffe",
|
|
|
|
|
"r2": "02000028002048e74c2b17750b3875d80688c9217c10df421dbcec56f35f79cccc1085f3f2a8000001010103",
|
|
|
|
|
"r3": "030000ae6ed65068854948760f5e23042e1f64614382828206ac24389addb709beb2df5d00235c8cbe660578c0a07a0be2ffad5c638a9d80dfab9323c3f2f51b15100bdf6a5116506b00230300201766e2000c0914af7431de8c7ae8757eb2c974006dc7d9fe037cbb1569665a64002008f76f5e11b480be387407b920479273fc7e039edba805b55aa1e2d72965796a0020e7dce23c92339bf0719c2faaa25d9b32997501316552241661331ddb2d621d0f",
|
|
|
|
|
"l1": "04000022002074b8033d642dfcf0cec75df539801d3fe9262919bd8fd2cd742c3ec211522ffe1642c14481e4d3822ca5e038696f86b133c2a3c28bc0c4ee2f6e10305443c5dca05e21d85c342f5c53f9a048d63a9a04f9d1cef364011963dcdb66dc76c5a752",
|
|
|
|
|
"l2": "050000ae002048e74c2b17750b3875d80688c9217c10df421dbcec56f35f79cccc1085f3f2a86ed65068854948760f5e23042e1f64614382828206ac24389addb709beb2df5d00235c8cbe660578c0a07a0be2ffad5c638a9d80dfab9323c3f2f51b15100bdf6a5116506b00230300201766e2000c0914af7431de8c7ae8757eb2c974006dc7d9fe037cbb1569665a64002008f76f5e11b480be387407b920479273fc7e039edba805b55aa1e2d72965796a483b9af7dbce61f734bc824acc892ff5a3c655f29e0ba129eb24ae3ae944a56d0a7b46933a6a86942f89eadac7bda1e513ce97776f4e7e65127f2685bc3f250b4968264f94572d261ce8a3df0f83ecd0e022c6ca0c3ee6ba54a8fc5f283ca698",
|
|
|
|
|
"l3": "30b74db9252e8e2219bb2a0d0708a10b6eac6fee0c2c8ae754062e993ecd18d4",
|
|
|
|
|
"client_registration_state": "00036964550003696453803739feafc45969f9be5a6ab6ea0cbc8c6ee5144bc7ce83b6f8acb77e160c0470617373776f7264",
|
|
|
|
|
"client_login_state": "00036964550003696453803739feafc45969f9be5a6ab6ea0cbc8c6ee5144bc7ce83b6f8acb77e160c0480de26e3c0fd87c860030bb600b0a8b33eba54c02e243b4584137da648c5847a1642c14481e4d3822ca5e038696f86b133c2a3c28bc0c4ee2f6e10305443c5dcbafb8dcb23578e52a981d66816d55659b49caf268dce519d190b42571ff031b570617373776f7264",
|
|
|
|
|
"server_registration_state": "288b3f25582a4d5f1a775442805a44b77266430e90124e288176d56eaadabd05",
|
|
|
|
|
"server_login_state": "94a3839f257cac066c706a4086516f9bf3f99108309f0d7e3d8423cb716ad6544682fc2f3d3e719931c16f6b4befe0438b8daaff99bd21ce2306ea23882f208d7e482d1a199d47861c103f6d0859e4b9a13375a97901f9f1c9d75bbaf52f43b1",
|
|
|
|
|
"password_file": "288b3f25582a4d5f1a775442805a44b77266430e90124e288176d56eaadabd05e7dce23c92339bf0719c2faaa25d9b32997501316552241661331ddb2d621d0f6ed65068854948760f5e23042e1f64614382828206ac24389addb709beb2df5d00235c8cbe660578c0a07a0be2ffad5c638a9d80dfab9323c3f2f51b15100bdf6a5116506b00230300201766e2000c0914af7431de8c7ae8757eb2c974006dc7d9fe037cbb1569665a64002008f76f5e11b480be387407b920479273fc7e039edba805b55aa1e2d72965796a",
|
|
|
|
|
"export_key": "e7a3827bf6f1404ecb210fde8bab2367daa0ae206b959f981816cef02f931d81",
|
|
|
|
|
"shared_secret": "7e482d1a199d47861c103f6d0859e4b9a13375a97901f9f1c9d75bbaf52f43b1"
|
2020-06-05 09:35:14 -07:00
|
|
|
}
|
|
|
|
|
"#;
|
|
|
|
|
|
|
|
|
|
fn decode(values: &Value, key: &str) -> Option<Vec<u8>> {
|
|
|
|
|
values[key]
|
|
|
|
|
.as_str()
|
|
|
|
|
.and_then(|s| hex::decode(&s.to_string()).ok())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn populate_test_vectors(values: &Value) -> TestVectorParameters {
|
|
|
|
|
TestVectorParameters {
|
|
|
|
|
client_s_pk: decode(&values, "client_s_pk").unwrap(),
|
|
|
|
|
client_s_sk: decode(&values, "client_s_sk").unwrap(),
|
|
|
|
|
client_e_pk: decode(&values, "client_e_pk").unwrap(),
|
|
|
|
|
client_e_sk: decode(&values, "client_e_sk").unwrap(),
|
|
|
|
|
server_s_pk: decode(&values, "server_s_pk").unwrap(),
|
|
|
|
|
server_s_sk: decode(&values, "server_s_sk").unwrap(),
|
|
|
|
|
server_e_pk: decode(&values, "server_e_pk").unwrap(),
|
|
|
|
|
server_e_sk: decode(&values, "server_e_sk").unwrap(),
|
2020-11-02 13:51:43 -08:00
|
|
|
id_u: decode(&values, "id_u").unwrap(),
|
|
|
|
|
id_s: decode(&values, "id_s").unwrap(),
|
2020-06-05 09:35:14 -07:00
|
|
|
password: decode(&values, "password").unwrap(),
|
|
|
|
|
blinding_factor: decode(&values, "blinding_factor").unwrap(),
|
|
|
|
|
oprf_key: decode(&values, "oprf_key").unwrap(),
|
|
|
|
|
envelope_nonce: decode(&values, "envelope_nonce").unwrap(),
|
|
|
|
|
client_nonce: decode(&values, "client_nonce").unwrap(),
|
|
|
|
|
server_nonce: decode(&values, "server_nonce").unwrap(),
|
|
|
|
|
r1: decode(&values, "r1").unwrap(),
|
|
|
|
|
r2: decode(&values, "r2").unwrap(),
|
|
|
|
|
r3: decode(&values, "r3").unwrap(),
|
|
|
|
|
l1: decode(&values, "l1").unwrap(),
|
|
|
|
|
l2: decode(&values, "l2").unwrap(),
|
|
|
|
|
l3: decode(&values, "l3").unwrap(),
|
|
|
|
|
client_registration_state: decode(&values, "client_registration_state").unwrap(),
|
|
|
|
|
client_login_state: decode(&values, "client_login_state").unwrap(),
|
|
|
|
|
server_registration_state: decode(&values, "server_registration_state").unwrap(),
|
|
|
|
|
server_login_state: decode(&values, "server_login_state").unwrap(),
|
|
|
|
|
password_file: decode(&values, "password_file").unwrap(),
|
2020-09-01 11:23:00 -07:00
|
|
|
export_key: decode(&values, "export_key").unwrap(),
|
2020-06-05 09:35:14 -07:00
|
|
|
shared_secret: decode(&values, "shared_secret").unwrap(),
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn stringify_test_vectors(p: &TestVectorParameters) -> String {
|
|
|
|
|
let mut s = String::new();
|
|
|
|
|
s.push_str("{\n");
|
|
|
|
|
s.push_str(format!("\"client_s_pk\": \"{}\",\n", hex::encode(&p.client_s_pk)).as_str());
|
|
|
|
|
s.push_str(format!("\"client_s_sk\": \"{}\",\n", hex::encode(&p.client_s_sk)).as_str());
|
|
|
|
|
s.push_str(format!("\"client_e_pk\": \"{}\",\n", hex::encode(&p.client_e_pk)).as_str());
|
|
|
|
|
s.push_str(format!("\"client_e_sk\": \"{}\",\n", hex::encode(&p.client_e_sk)).as_str());
|
|
|
|
|
s.push_str(format!("\"server_s_pk\": \"{}\",\n", hex::encode(&p.server_s_pk)).as_str());
|
|
|
|
|
s.push_str(format!("\"server_s_sk\": \"{}\",\n", hex::encode(&p.server_s_sk)).as_str());
|
|
|
|
|
s.push_str(format!("\"server_e_pk\": \"{}\",\n", hex::encode(&p.server_e_pk)).as_str());
|
|
|
|
|
s.push_str(format!("\"server_e_sk\": \"{}\",\n", hex::encode(&p.server_e_sk)).as_str());
|
2020-11-02 13:51:43 -08:00
|
|
|
s.push_str(format!("\"id_u\": \"{}\",\n", hex::encode(&p.id_u)).as_str());
|
|
|
|
|
s.push_str(format!("\"id_s\": \"{}\",\n", hex::encode(&p.id_s)).as_str());
|
2020-06-05 09:35:14 -07:00
|
|
|
s.push_str(format!("\"password\": \"{}\",\n", hex::encode(&p.password)).as_str());
|
|
|
|
|
s.push_str(
|
|
|
|
|
format!(
|
|
|
|
|
"\"blinding_factor\": \"{}\",\n",
|
|
|
|
|
hex::encode(&p.blinding_factor)
|
|
|
|
|
)
|
|
|
|
|
.as_str(),
|
|
|
|
|
);
|
|
|
|
|
s.push_str(format!("\"oprf_key\": \"{}\",\n", hex::encode(&p.oprf_key)).as_str());
|
|
|
|
|
s.push_str(
|
|
|
|
|
format!(
|
|
|
|
|
"\"envelope_nonce\": \"{}\",\n",
|
|
|
|
|
hex::encode(&p.envelope_nonce)
|
|
|
|
|
)
|
|
|
|
|
.as_str(),
|
|
|
|
|
);
|
|
|
|
|
s.push_str(format!("\"client_nonce\": \"{}\",\n", hex::encode(&p.client_nonce)).as_str());
|
|
|
|
|
s.push_str(format!("\"server_nonce\": \"{}\",\n", hex::encode(&p.server_nonce)).as_str());
|
|
|
|
|
s.push_str(format!("\"r1\": \"{}\",\n", hex::encode(&p.r1)).as_str());
|
|
|
|
|
s.push_str(format!("\"r2\": \"{}\",\n", hex::encode(&p.r2)).as_str());
|
|
|
|
|
s.push_str(format!("\"r3\": \"{}\",\n", hex::encode(&p.r3)).as_str());
|
|
|
|
|
s.push_str(format!("\"l1\": \"{}\",\n", hex::encode(&p.l1)).as_str());
|
|
|
|
|
s.push_str(format!("\"l2\": \"{}\",\n", hex::encode(&p.l2)).as_str());
|
|
|
|
|
s.push_str(format!("\"l3\": \"{}\",\n", hex::encode(&p.l3)).as_str());
|
|
|
|
|
s.push_str(
|
|
|
|
|
format!(
|
|
|
|
|
"\"client_registration_state\": \"{}\",\n",
|
|
|
|
|
hex::encode(&p.client_registration_state)
|
|
|
|
|
)
|
|
|
|
|
.as_str(),
|
|
|
|
|
);
|
|
|
|
|
s.push_str(
|
|
|
|
|
format!(
|
|
|
|
|
"\"client_login_state\": \"{}\",\n",
|
|
|
|
|
hex::encode(&p.client_login_state)
|
|
|
|
|
)
|
|
|
|
|
.as_str(),
|
|
|
|
|
);
|
|
|
|
|
s.push_str(
|
|
|
|
|
format!(
|
|
|
|
|
"\"server_registration_state\": \"{}\",\n",
|
|
|
|
|
hex::encode(&p.server_registration_state)
|
|
|
|
|
)
|
|
|
|
|
.as_str(),
|
|
|
|
|
);
|
|
|
|
|
s.push_str(
|
|
|
|
|
format!(
|
|
|
|
|
"\"server_login_state\": \"{}\",\n",
|
|
|
|
|
hex::encode(&p.server_login_state)
|
|
|
|
|
)
|
|
|
|
|
.as_str(),
|
|
|
|
|
);
|
|
|
|
|
s.push_str(
|
|
|
|
|
format!(
|
|
|
|
|
"\"password_file\": \"{}\",\n",
|
|
|
|
|
hex::encode(&p.password_file)
|
|
|
|
|
)
|
|
|
|
|
.as_str(),
|
|
|
|
|
);
|
2020-09-01 11:23:00 -07:00
|
|
|
s.push_str(format!("\"export_key\": \"{}\",\n", hex::encode(&p.export_key)).as_str());
|
2020-06-05 09:35:14 -07:00
|
|
|
s.push_str(format!("\"shared_secret\": \"{}\"\n", hex::encode(&p.shared_secret)).as_str());
|
|
|
|
|
s.push_str("}\n");
|
|
|
|
|
s
|
|
|
|
|
}
|
|
|
|
|
|
2020-09-22 08:50:39 -04:00
|
|
|
fn generate_parameters<CS: CipherSuite>() -> TestVectorParameters
|
|
|
|
|
where
|
|
|
|
|
// Unsightly constraints due to the (required) use of the SizedBytes
|
|
|
|
|
// instance for KP in ServerRegistration::start. See also the impl
|
|
|
|
|
// Tryfrom<&[u8]> for ServerRegistration (those are the same constraints).
|
|
|
|
|
<<CS::KeyFormat as KeyPair>::Repr as SizedBytes>::Len:
|
|
|
|
|
std::ops::Add<<<CS::KeyFormat as KeyPair>::Repr as SizedBytes>::Len>,
|
|
|
|
|
generic_array::typenum::Sum<
|
|
|
|
|
<<CS::KeyFormat as KeyPair>::Repr as SizedBytes>::Len,
|
|
|
|
|
<<CS::KeyFormat as KeyPair>::Repr as SizedBytes>::Len,
|
|
|
|
|
>: generic_array::ArrayLength<u8>,
|
|
|
|
|
{
|
2020-06-05 09:35:14 -07:00
|
|
|
let mut rng = OsRng;
|
|
|
|
|
|
|
|
|
|
// Inputs
|
2020-07-02 12:24:53 -07:00
|
|
|
let server_s_kp = CS::generate_random_keypair(&mut rng).unwrap();
|
|
|
|
|
let server_e_kp = CS::generate_random_keypair(&mut rng).unwrap();
|
|
|
|
|
let client_s_kp = CS::generate_random_keypair(&mut rng).unwrap();
|
|
|
|
|
let client_e_kp = CS::generate_random_keypair(&mut rng).unwrap();
|
2020-11-02 13:51:43 -08:00
|
|
|
let id_u = b"idU";
|
|
|
|
|
let id_s = b"idS";
|
2020-06-05 09:35:14 -07:00
|
|
|
let password = b"password";
|
|
|
|
|
let mut blinding_factor_raw = [0u8; 64];
|
|
|
|
|
rng.fill_bytes(&mut blinding_factor_raw);
|
|
|
|
|
let mut oprf_key_raw = [0u8; 32];
|
|
|
|
|
rng.fill_bytes(&mut oprf_key_raw);
|
2020-09-01 11:23:00 -07:00
|
|
|
let mut envelope_nonce = [0u8; 32];
|
2020-06-05 09:35:14 -07:00
|
|
|
rng.fill_bytes(&mut envelope_nonce);
|
|
|
|
|
let mut client_nonce = [0u8; NONCE_LEN];
|
|
|
|
|
rng.fill_bytes(&mut client_nonce);
|
|
|
|
|
let mut server_nonce = [0u8; NONCE_LEN];
|
|
|
|
|
rng.fill_bytes(&mut server_nonce);
|
|
|
|
|
|
|
|
|
|
let mut blinding_factor_registration_rng = CycleRng::new(blinding_factor_raw.to_vec());
|
2020-11-02 13:51:43 -08:00
|
|
|
let (r1, client_registration) = ClientRegistration::<CS>::start_with_user_and_server_name(
|
|
|
|
|
id_u,
|
|
|
|
|
id_s,
|
2020-06-05 09:35:14 -07:00
|
|
|
password,
|
|
|
|
|
&mut blinding_factor_registration_rng,
|
2020-11-04 11:33:58 -05:00
|
|
|
std::convert::identity,
|
2020-06-05 09:35:14 -07:00
|
|
|
)
|
|
|
|
|
.unwrap();
|
2020-09-10 17:01:06 -04:00
|
|
|
let r1_bytes = r1.serialize().to_vec();
|
2020-07-03 18:28:35 -04:00
|
|
|
let blinding_factor_bytes =
|
2020-11-02 13:51:43 -08:00
|
|
|
CS::Group::scalar_as_bytes(&client_registration.token.blind).clone();
|
2020-06-05 09:35:14 -07:00
|
|
|
let client_registration_state = client_registration.to_bytes().to_vec();
|
|
|
|
|
|
|
|
|
|
let mut oprf_key_rng = CycleRng::new(oprf_key_raw.to_vec());
|
2020-07-02 12:24:53 -07:00
|
|
|
let (r2, server_registration) = ServerRegistration::<CS>::start(r1, &mut oprf_key_rng).unwrap();
|
2020-09-10 17:01:06 -04:00
|
|
|
let r2_bytes = r2.serialize().to_vec();
|
2020-07-03 18:28:35 -04:00
|
|
|
let oprf_key_bytes = CS::Group::scalar_as_bytes(&server_registration.oprf_key).clone();
|
2020-06-05 09:35:14 -07:00
|
|
|
let server_registration_state = server_registration.to_bytes().to_vec();
|
|
|
|
|
|
|
|
|
|
let mut client_s_sk_and_nonce: Vec<u8> = Vec::new();
|
2020-09-22 08:50:39 -04:00
|
|
|
client_s_sk_and_nonce.extend_from_slice(&client_s_kp.private().to_arr());
|
2020-06-05 09:35:14 -07:00
|
|
|
client_s_sk_and_nonce.extend_from_slice(&envelope_nonce);
|
|
|
|
|
|
|
|
|
|
let mut finish_registration_rng = CycleRng::new(client_s_sk_and_nonce);
|
2020-09-01 11:23:00 -07:00
|
|
|
let (r3, export_key_registration) = client_registration
|
2020-06-14 23:25:31 -07:00
|
|
|
.finish(r2, server_s_kp.public(), &mut finish_registration_rng)
|
2020-06-05 09:35:14 -07:00
|
|
|
.unwrap();
|
2020-09-10 17:01:06 -04:00
|
|
|
let r3_bytes = r3.serialize().to_vec();
|
2020-06-05 09:35:14 -07:00
|
|
|
|
|
|
|
|
let password_file = server_registration.finish(r3).unwrap();
|
|
|
|
|
let password_file_bytes = password_file.to_bytes();
|
|
|
|
|
|
|
|
|
|
let mut client_login_start: Vec<u8> = Vec::new();
|
|
|
|
|
client_login_start.extend_from_slice(&blinding_factor_raw);
|
2020-09-22 08:50:39 -04:00
|
|
|
client_login_start.extend_from_slice(&client_e_kp.private().to_arr());
|
2020-06-05 09:35:14 -07:00
|
|
|
client_login_start.extend_from_slice(&client_nonce);
|
|
|
|
|
|
|
|
|
|
let mut client_login_start_rng = CycleRng::new(client_login_start);
|
2020-11-02 13:51:43 -08:00
|
|
|
let (l1, client_login) = ClientLogin::<CS>::start_with_user_and_server_name(
|
|
|
|
|
id_u,
|
|
|
|
|
id_s,
|
|
|
|
|
password,
|
|
|
|
|
&mut client_login_start_rng,
|
2020-11-04 11:33:58 -05:00
|
|
|
std::convert::identity,
|
2020-11-02 13:51:43 -08:00
|
|
|
)
|
|
|
|
|
.unwrap();
|
2020-09-10 17:01:06 -04:00
|
|
|
let l1_bytes = l1.serialize().to_vec();
|
2020-06-05 09:35:14 -07:00
|
|
|
let client_login_state = client_login.to_bytes().to_vec();
|
|
|
|
|
|
2020-09-22 08:50:39 -04:00
|
|
|
let mut server_e_sk_rng = CycleRng::new(server_e_kp.private().to_arr().to_vec());
|
2020-07-13 15:23:29 -07:00
|
|
|
let (l2, server_login) = ServerLogin::<CS>::start(
|
2020-06-05 09:35:14 -07:00
|
|
|
password_file,
|
|
|
|
|
server_s_kp.private(),
|
|
|
|
|
l1,
|
|
|
|
|
&mut server_e_sk_rng,
|
|
|
|
|
)
|
|
|
|
|
.unwrap();
|
2020-09-10 17:01:06 -04:00
|
|
|
let l2_bytes = l2.serialize().to_vec();
|
2020-06-05 09:35:14 -07:00
|
|
|
let server_login_state = server_login.to_bytes().to_vec();
|
|
|
|
|
|
2020-09-22 08:50:39 -04:00
|
|
|
let mut client_e_sk_rng = CycleRng::new(client_e_kp.private().to_arr().to_vec());
|
2020-09-01 11:23:00 -07:00
|
|
|
let (l3, client_shared_secret, _export_key_login) = client_login
|
2020-06-14 23:25:31 -07:00
|
|
|
.finish(l2, server_s_kp.public(), &mut client_e_sk_rng)
|
2020-06-05 09:35:14 -07:00
|
|
|
.unwrap();
|
|
|
|
|
let l3_bytes = l3.to_bytes().to_vec();
|
|
|
|
|
|
|
|
|
|
TestVectorParameters {
|
2020-09-22 08:50:39 -04:00
|
|
|
client_s_pk: client_s_kp.public().to_arr().to_vec(),
|
|
|
|
|
client_s_sk: client_s_kp.private().to_arr().to_vec(),
|
|
|
|
|
client_e_pk: client_e_kp.public().to_arr().to_vec(),
|
|
|
|
|
client_e_sk: client_e_kp.private().to_arr().to_vec(),
|
|
|
|
|
server_s_pk: server_s_kp.public().to_arr().to_vec(),
|
|
|
|
|
server_s_sk: server_s_kp.private().to_arr().to_vec(),
|
|
|
|
|
server_e_pk: server_e_kp.public().to_arr().to_vec(),
|
|
|
|
|
server_e_sk: server_e_kp.private().to_arr().to_vec(),
|
2020-11-02 13:51:43 -08:00
|
|
|
id_u: id_u.to_vec(),
|
|
|
|
|
id_s: id_s.to_vec(),
|
2020-06-05 09:35:14 -07:00
|
|
|
password: password.to_vec(),
|
|
|
|
|
blinding_factor: blinding_factor_bytes.to_vec(),
|
|
|
|
|
oprf_key: oprf_key_bytes.to_vec(),
|
|
|
|
|
envelope_nonce: envelope_nonce.to_vec(),
|
|
|
|
|
client_nonce: client_nonce.to_vec(),
|
|
|
|
|
server_nonce: server_nonce.to_vec(),
|
|
|
|
|
r1: r1_bytes,
|
|
|
|
|
r2: r2_bytes,
|
|
|
|
|
r3: r3_bytes,
|
|
|
|
|
l1: l1_bytes,
|
|
|
|
|
l2: l2_bytes,
|
|
|
|
|
l3: l3_bytes,
|
|
|
|
|
password_file: password_file_bytes,
|
|
|
|
|
client_registration_state,
|
|
|
|
|
server_registration_state,
|
|
|
|
|
client_login_state,
|
|
|
|
|
server_login_state,
|
|
|
|
|
shared_secret: client_shared_secret,
|
2020-09-01 11:23:00 -07:00
|
|
|
export_key: export_key_registration.to_vec(),
|
2020-06-05 09:35:14 -07:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn generate_test_vectors() {
|
2020-07-02 12:24:53 -07:00
|
|
|
let parameters = generate_parameters::<X255193dhNoSlowHash>();
|
2020-06-05 09:35:14 -07:00
|
|
|
println!("{}", stringify_test_vectors(¶meters));
|
|
|
|
|
}
|
|
|
|
|
|
2020-11-02 13:51:43 -08:00
|
|
|
// For fixing the blinding factor
|
|
|
|
|
fn postprocess_blinding_factor<G: Group>(_: G::Scalar) -> G::Scalar {
|
|
|
|
|
let parameters = populate_test_vectors(&serde_json::from_str(TEST_VECTOR).unwrap());
|
|
|
|
|
G::from_scalar_slice(GenericArray::from_slice(¶meters.blinding_factor[..])).unwrap()
|
|
|
|
|
}
|
|
|
|
|
|
2020-06-05 09:35:14 -07:00
|
|
|
#[test]
|
|
|
|
|
fn test_r1() -> Result<(), PakeError> {
|
|
|
|
|
let parameters = populate_test_vectors(&serde_json::from_str(TEST_VECTOR).unwrap());
|
2020-11-02 13:51:43 -08:00
|
|
|
let mut rng = OsRng;
|
2020-11-04 11:33:58 -05:00
|
|
|
let (r1, client_registration) =
|
|
|
|
|
ClientRegistration::<X255193dhNoSlowHash>::start_with_user_and_server_name(
|
|
|
|
|
¶meters.id_u,
|
|
|
|
|
¶meters.id_s,
|
|
|
|
|
¶meters.password,
|
|
|
|
|
&mut rng,
|
|
|
|
|
postprocess_blinding_factor::<<X255193dhNoSlowHash as CipherSuite>::Group>,
|
|
|
|
|
)
|
|
|
|
|
.unwrap();
|
2020-09-10 17:01:06 -04:00
|
|
|
assert_eq!(hex::encode(¶meters.r1), hex::encode(r1.serialize()));
|
2020-06-05 09:35:14 -07:00
|
|
|
assert_eq!(
|
|
|
|
|
hex::encode(¶meters.client_registration_state),
|
|
|
|
|
hex::encode(client_registration.to_bytes())
|
|
|
|
|
);
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn test_r2() -> Result<(), PakeError> {
|
|
|
|
|
let parameters = populate_test_vectors(&serde_json::from_str(TEST_VECTOR).unwrap());
|
|
|
|
|
let mut oprf_key_rng = CycleRng::new(parameters.oprf_key);
|
2020-07-02 12:24:53 -07:00
|
|
|
let (r2, server_registration) = ServerRegistration::<X255193dhNoSlowHash>::start(
|
2020-09-10 17:01:06 -04:00
|
|
|
RegisterFirstMessage::deserialize(¶meters.r1[..]).unwrap(),
|
2020-06-14 23:25:31 -07:00
|
|
|
&mut oprf_key_rng,
|
|
|
|
|
)
|
|
|
|
|
.unwrap();
|
2020-09-10 17:01:06 -04:00
|
|
|
assert_eq!(hex::encode(parameters.r2), hex::encode(r2.serialize()));
|
2020-06-05 09:35:14 -07:00
|
|
|
assert_eq!(
|
|
|
|
|
hex::encode(¶meters.server_registration_state),
|
|
|
|
|
hex::encode(server_registration.to_bytes())
|
|
|
|
|
);
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn test_r3() -> Result<(), PakeError> {
|
|
|
|
|
let parameters = populate_test_vectors(&serde_json::from_str(TEST_VECTOR).unwrap());
|
|
|
|
|
|
|
|
|
|
let client_s_sk_and_nonce: Vec<u8> =
|
|
|
|
|
[parameters.client_s_sk, parameters.envelope_nonce].concat();
|
|
|
|
|
let mut finish_registration_rng = CycleRng::new(client_s_sk_and_nonce);
|
2020-09-01 11:23:00 -07:00
|
|
|
let (r3, export_key_registration) = ClientRegistration::<X255193dhNoSlowHash>::try_from(
|
2020-06-05 09:35:14 -07:00
|
|
|
¶meters.client_registration_state[..],
|
|
|
|
|
)
|
|
|
|
|
.unwrap()
|
2020-06-14 23:25:31 -07:00
|
|
|
.finish(
|
2020-09-10 17:01:06 -04:00
|
|
|
RegisterSecondMessage::deserialize(¶meters.r2[..]).unwrap(),
|
2020-06-19 11:42:16 -04:00
|
|
|
&Key::try_from(¶meters.server_s_pk[..]).unwrap(),
|
2020-06-05 09:35:14 -07:00
|
|
|
&mut finish_registration_rng,
|
|
|
|
|
)
|
|
|
|
|
.unwrap();
|
|
|
|
|
|
2020-09-10 17:01:06 -04:00
|
|
|
assert_eq!(hex::encode(parameters.r3), hex::encode(r3.serialize()));
|
2020-06-05 09:35:14 -07:00
|
|
|
assert_eq!(
|
2020-09-01 11:23:00 -07:00
|
|
|
hex::encode(parameters.export_key),
|
|
|
|
|
hex::encode(export_key_registration.to_vec())
|
2020-06-05 09:35:14 -07:00
|
|
|
);
|
|
|
|
|
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn test_password_file() -> Result<(), PakeError> {
|
|
|
|
|
let parameters = populate_test_vectors(&serde_json::from_str(TEST_VECTOR).unwrap());
|
|
|
|
|
|
2020-07-02 12:24:53 -07:00
|
|
|
let server_registration = ServerRegistration::<X255193dhNoSlowHash>::try_from(
|
2020-06-14 23:25:31 -07:00
|
|
|
¶meters.server_registration_state[..],
|
|
|
|
|
)
|
|
|
|
|
.unwrap();
|
2020-06-05 09:35:14 -07:00
|
|
|
let password_file = server_registration
|
2020-09-10 17:01:06 -04:00
|
|
|
.finish(RegisterThirdMessage::deserialize(¶meters.r3[..]).unwrap())
|
2020-06-05 09:35:14 -07:00
|
|
|
.unwrap();
|
|
|
|
|
|
|
|
|
|
assert_eq!(
|
|
|
|
|
hex::encode(parameters.password_file),
|
|
|
|
|
hex::encode(password_file.to_bytes())
|
|
|
|
|
);
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn test_l1() -> Result<(), PakeError> {
|
|
|
|
|
let parameters = populate_test_vectors(&serde_json::from_str(TEST_VECTOR).unwrap());
|
|
|
|
|
|
|
|
|
|
let client_login_start = [
|
2020-11-02 13:51:43 -08:00
|
|
|
vec![0u8; 64], // FIXME: don't hardcode this
|
2020-06-05 09:35:14 -07:00
|
|
|
parameters.client_e_sk,
|
|
|
|
|
parameters.client_nonce,
|
|
|
|
|
]
|
|
|
|
|
.concat();
|
|
|
|
|
let mut client_login_start_rng = CycleRng::new(client_login_start);
|
2020-11-04 11:33:58 -05:00
|
|
|
let (l1, client_login) = ClientLogin::<X255193dhNoSlowHash>::start_with_user_and_server_name(
|
|
|
|
|
¶meters.id_u,
|
|
|
|
|
¶meters.id_s,
|
|
|
|
|
¶meters.password,
|
|
|
|
|
&mut client_login_start_rng,
|
|
|
|
|
postprocess_blinding_factor::<<X255193dhNoSlowHash as CipherSuite>::Group>,
|
|
|
|
|
)
|
|
|
|
|
.unwrap();
|
2020-09-10 17:01:06 -04:00
|
|
|
assert_eq!(hex::encode(¶meters.l1), hex::encode(l1.serialize()));
|
2020-06-05 09:35:14 -07:00
|
|
|
assert_eq!(
|
|
|
|
|
hex::encode(¶meters.client_login_state),
|
|
|
|
|
hex::encode(client_login.to_bytes())
|
|
|
|
|
);
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn test_l2() -> Result<(), PakeError> {
|
|
|
|
|
let parameters = populate_test_vectors(&serde_json::from_str(TEST_VECTOR).unwrap());
|
|
|
|
|
|
|
|
|
|
let mut server_e_sk_rng = CycleRng::new(parameters.server_e_sk);
|
2020-07-13 15:23:29 -07:00
|
|
|
let (l2, server_login) = ServerLogin::<X255193dhNoSlowHash>::start(
|
2020-06-05 09:35:14 -07:00
|
|
|
ServerRegistration::try_from(¶meters.password_file[..]).unwrap(),
|
2020-06-19 11:42:16 -04:00
|
|
|
&Key::try_from(¶meters.server_s_sk[..]).unwrap(),
|
2020-09-10 17:01:06 -04:00
|
|
|
LoginFirstMessage::<X255193dhNoSlowHash>::deserialize(¶meters.l1[..]).unwrap(),
|
2020-06-05 09:35:14 -07:00
|
|
|
&mut server_e_sk_rng,
|
|
|
|
|
)
|
|
|
|
|
.unwrap();
|
|
|
|
|
|
2020-09-10 17:01:06 -04:00
|
|
|
assert_eq!(hex::encode(¶meters.l2), hex::encode(l2.serialize()));
|
2020-06-05 09:35:14 -07:00
|
|
|
assert_eq!(
|
|
|
|
|
hex::encode(¶meters.server_login_state),
|
|
|
|
|
hex::encode(server_login.to_bytes())
|
|
|
|
|
);
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn test_l3() -> Result<(), PakeError> {
|
|
|
|
|
let parameters = populate_test_vectors(&serde_json::from_str(TEST_VECTOR).unwrap());
|
|
|
|
|
|
|
|
|
|
let mut client_e_sk_rng = CycleRng::new(parameters.client_e_sk.to_vec());
|
2020-09-19 19:16:35 -04:00
|
|
|
let (l3, shared_secret, export_key_login) =
|
|
|
|
|
ClientLogin::<X255193dhNoSlowHash>::try_from(¶meters.client_login_state[..])
|
|
|
|
|
.unwrap()
|
|
|
|
|
.finish(
|
2020-09-10 17:01:06 -04:00
|
|
|
LoginSecondMessage::<X255193dhNoSlowHash>::deserialize(¶meters.l2[..]).unwrap(),
|
2020-09-19 19:16:35 -04:00
|
|
|
&Key::try_from(¶meters.server_s_pk[..])?,
|
|
|
|
|
&mut client_e_sk_rng,
|
|
|
|
|
)
|
|
|
|
|
.unwrap();
|
2020-06-05 09:35:14 -07:00
|
|
|
|
|
|
|
|
assert_eq!(
|
|
|
|
|
hex::encode(¶meters.shared_secret),
|
|
|
|
|
hex::encode(&shared_secret)
|
|
|
|
|
);
|
|
|
|
|
assert_eq!(hex::encode(¶meters.l3), hex::encode(l3.to_bytes()));
|
|
|
|
|
assert_eq!(
|
2020-09-01 11:23:00 -07:00
|
|
|
hex::encode(¶meters.export_key),
|
|
|
|
|
hex::encode(export_key_login)
|
2020-06-05 09:35:14 -07:00
|
|
|
);
|
|
|
|
|
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn test_server_login_finish() -> Result<(), ProtocolError> {
|
|
|
|
|
let parameters = populate_test_vectors(&serde_json::from_str(TEST_VECTOR).unwrap());
|
|
|
|
|
|
2020-07-13 15:23:29 -07:00
|
|
|
let shared_secret =
|
|
|
|
|
ServerLogin::<X255193dhNoSlowHash>::try_from(¶meters.server_login_state[..])
|
|
|
|
|
.unwrap()
|
|
|
|
|
.finish(LoginThirdMessage::try_from(¶meters.l3[..])?)
|
|
|
|
|
.unwrap();
|
2020-06-05 09:35:14 -07:00
|
|
|
|
|
|
|
|
assert_eq!(
|
|
|
|
|
hex::encode(parameters.shared_secret),
|
|
|
|
|
hex::encode(shared_secret)
|
|
|
|
|
);
|
|
|
|
|
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn test_complete_flow(
|
|
|
|
|
registration_password: &[u8],
|
|
|
|
|
login_password: &[u8],
|
|
|
|
|
) -> Result<(), ProtocolError> {
|
|
|
|
|
let mut client_rng = OsRng;
|
|
|
|
|
let mut server_rng = OsRng;
|
2020-07-02 12:24:53 -07:00
|
|
|
let server_kp = X255193dhNoSlowHash::generate_random_keypair(&mut server_rng)?;
|
2020-11-02 13:51:43 -08:00
|
|
|
let (register_m1, client_state) =
|
|
|
|
|
ClientRegistration::<X255193dhNoSlowHash>::start(registration_password, &mut client_rng)?;
|
2020-06-05 09:35:14 -07:00
|
|
|
let (register_m2, server_state) =
|
2020-07-02 12:24:53 -07:00
|
|
|
ServerRegistration::<X255193dhNoSlowHash>::start(register_m1, &mut server_rng)?;
|
2020-09-01 11:23:00 -07:00
|
|
|
let (register_m3, registration_export_key) =
|
2020-06-14 23:25:31 -07:00
|
|
|
client_state.finish(register_m2, server_kp.public(), &mut client_rng)?;
|
2020-06-05 09:35:14 -07:00
|
|
|
let p_file = server_state.finish(register_m3)?;
|
|
|
|
|
let (login_m1, client_login_state) =
|
2020-11-02 13:51:43 -08:00
|
|
|
ClientLogin::<X255193dhNoSlowHash>::start(login_password, &mut client_rng)?;
|
2020-07-13 15:23:29 -07:00
|
|
|
let (login_m2, server_login_state) = ServerLogin::<X255193dhNoSlowHash>::start(
|
|
|
|
|
p_file,
|
|
|
|
|
&server_kp.private(),
|
|
|
|
|
login_m1,
|
|
|
|
|
&mut server_rng,
|
|
|
|
|
)?;
|
2020-06-05 09:35:14 -07:00
|
|
|
|
|
|
|
|
let client_login_result =
|
2020-06-14 23:25:31 -07:00
|
|
|
client_login_state.finish(login_m2, &server_kp.public(), &mut client_rng);
|
2020-06-05 09:35:14 -07:00
|
|
|
|
|
|
|
|
if hex::encode(registration_password) == hex::encode(login_password) {
|
2020-09-01 11:23:00 -07:00
|
|
|
let (login_m3, client_shared_secret, login_export_key) = client_login_result?;
|
2020-06-05 09:35:14 -07:00
|
|
|
let server_shared_secret = server_login_state.finish(login_m3)?;
|
|
|
|
|
|
|
|
|
|
assert_eq!(
|
|
|
|
|
hex::encode(server_shared_secret),
|
|
|
|
|
hex::encode(client_shared_secret)
|
|
|
|
|
);
|
|
|
|
|
assert_eq!(
|
2020-09-01 11:23:00 -07:00
|
|
|
hex::encode(registration_export_key),
|
|
|
|
|
hex::encode(login_export_key)
|
2020-06-05 09:35:14 -07:00
|
|
|
);
|
|
|
|
|
} else {
|
2020-09-19 19:16:30 -04:00
|
|
|
let res = matches!(
|
|
|
|
|
client_login_result,
|
|
|
|
|
Err(ProtocolError::VerificationError(
|
|
|
|
|
PakeError::InvalidLoginError
|
|
|
|
|
))
|
|
|
|
|
);
|
2020-06-05 09:35:14 -07:00
|
|
|
assert!(res);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn test_complete_flow_success() -> Result<(), ProtocolError> {
|
|
|
|
|
test_complete_flow(b"good password", b"good password")
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn test_complete_flow_fail() -> Result<(), ProtocolError> {
|
|
|
|
|
test_complete_flow(b"good password", b"bad password")
|
|
|
|
|
}
|