-
Notifications
You must be signed in to change notification settings - Fork 5
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat: buffer pending messages during join by external commit process …
…to tolerate unordered messages
- Loading branch information
Showing
15 changed files
with
476 additions
and
21 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,189 @@ | ||
//! This file is intended to fix some issues we have with the Delivery Service. When a client joins | ||
//! a group via an external commit, it sometimes receives messages (most of the time renewed external | ||
//! proposals) for the new epoch whereas it does not yet have the confirmation from the DS that his | ||
//! external has been accepted. Hence it is not merged locally and it cannot decrypt any message. | ||
//! | ||
//! Feel free to delete all of this when the issue is fixed on the DS side ! | ||
|
||
use crate::prelude::{ | ||
ConversationId, CryptoError, CryptoResult, MlsCentral, MlsConversation, MlsConversationDecryptMessage, | ||
}; | ||
use crate::MlsError; | ||
use core_crypto_keystore::entities::{EntityFindParams, MlsPendingMessage, PersistedMlsPendingGroup}; | ||
use openmls::prelude::{MlsMessageIn, MlsMessageInBody}; | ||
use tls_codec::Deserialize; | ||
|
||
impl MlsCentral { | ||
pub(crate) async fn handle_when_group_is_pending( | ||
&mut self, | ||
id: &ConversationId, | ||
message: impl AsRef<[u8]>, | ||
) -> CryptoResult<MlsConversationDecryptMessage> { | ||
let keystore = self.mls_backend.borrow_keystore(); | ||
let Ok(Some(pending_group)) = keystore.find::<PersistedMlsPendingGroup>(id).await else { | ||
return Err(CryptoError::ConversationNotFound(id.clone())); | ||
}; | ||
|
||
let pending_msg = MlsPendingMessage { | ||
id: pending_group.id.clone(), | ||
message: message.as_ref().to_vec(), | ||
}; | ||
keystore.save::<MlsPendingMessage>(pending_msg).await?; | ||
Err(CryptoError::UnmergedPendingGroup) | ||
} | ||
|
||
pub(crate) async fn restore_pending_messages( | ||
&mut self, | ||
conversation: &mut MlsConversation, | ||
) -> CryptoResult<Option<Vec<MlsConversationDecryptMessage>>> { | ||
let keystore = self.mls_backend.borrow_keystore(); | ||
|
||
let mut pending_messages = keystore | ||
.find_all::<MlsPendingMessage>(EntityFindParams::default()) | ||
.await? | ||
.into_iter() | ||
.try_fold(vec![], |mut acc, m| { | ||
let msg = MlsMessageIn::tls_deserialize_bytes(m.message.as_slice()).map_err(MlsError::from)?; | ||
let ct = match msg.body_as_ref() { | ||
MlsMessageInBody::PublicMessage(m) => Ok(m.content_type()), | ||
MlsMessageInBody::PrivateMessage(m) => Ok(m.content_type()), | ||
_ => Err(CryptoError::ImplementationError), | ||
}?; | ||
acc.push((ct as u8, msg)); | ||
CryptoResult::Ok(acc) | ||
})?; | ||
|
||
pending_messages.sort_by(|(a, _), (b, _)| a.cmp(b)); | ||
|
||
let mut decrypted_messages = vec![]; | ||
for (_, m) in pending_messages { | ||
let parent_conversation = if let Some(parent_id) = &conversation.parent_id { | ||
Some( | ||
self.get_conversation(parent_id) | ||
.await | ||
.map_err(|_| CryptoError::ParentGroupNotFound)?, | ||
) | ||
} else { | ||
None | ||
}; | ||
let callbacks = self.callbacks.as_ref().map(|boxed| boxed.as_ref()); | ||
let decrypted = conversation | ||
.decrypt_message(m, parent_conversation, self.mls_client()?, &self.mls_backend, callbacks) | ||
.await?; | ||
decrypted_messages.push(decrypted); | ||
} | ||
|
||
let decrypted_messages = (!decrypted_messages.is_empty()).then_some(decrypted_messages); | ||
|
||
Ok(decrypted_messages) | ||
} | ||
} | ||
|
||
#[cfg(test)] | ||
pub mod tests { | ||
use crate::{prelude::MlsProposal, test_utils::*, CryptoError}; | ||
use wasm_bindgen_test::*; | ||
|
||
wasm_bindgen_test_configure!(run_in_browser); | ||
|
||
#[apply(all_cred_cipher)] | ||
#[wasm_bindgen_test] | ||
pub async fn should_buffer_and_reapply_messages_after_external_commit_merged(case: TestCase) { | ||
run_test_with_client_ids( | ||
case.clone(), | ||
["alice", "bob", "charlie", "debbie"], | ||
move |[mut alice_central, mut bob_central, mut charlie_central, mut debbie_central]| { | ||
Box::pin(async move { | ||
let id = conversation_id(); | ||
alice_central | ||
.new_conversation(id.clone(), case.credential_type, case.cfg.clone()) | ||
.await | ||
.unwrap(); | ||
|
||
// Bob tries to join Alice's group with an external commit | ||
let gi = alice_central.get_group_info(&id).await; | ||
let external_commit = bob_central | ||
.join_by_external_commit(gi, case.custom_cfg(), case.credential_type) | ||
.await | ||
.unwrap(); | ||
|
||
// Alice decrypts the external commit... | ||
alice_central | ||
.decrypt_message(&id, external_commit.commit.to_bytes().unwrap()) | ||
.await | ||
.unwrap(); | ||
|
||
// Meanwhile Debbie joins the party by creating an external proposal | ||
let epoch = alice_central.conversation_epoch(&id).await.unwrap(); | ||
let external_proposal = debbie_central | ||
.new_external_add_proposal(id.clone(), epoch.into(), case.ciphersuite(), case.credential_type) | ||
.await | ||
.unwrap(); | ||
|
||
// ...then Alice generates new messages for this epoch | ||
let app_msg = alice_central.encrypt_message(&id, b"Hello Bob !").await.unwrap(); | ||
let proposal = alice_central | ||
.new_proposal(&id, MlsProposal::Update) | ||
.await | ||
.unwrap() | ||
.proposal; | ||
alice_central | ||
.decrypt_message(&id, external_proposal.to_bytes().unwrap()) | ||
.await | ||
.unwrap(); | ||
let charlie = charlie_central.rand_member(&case).await; | ||
let commit = alice_central | ||
.add_members_to_conversation(&id, &mut [charlie]) | ||
.await | ||
.unwrap(); | ||
alice_central.commit_accepted(&id).await.unwrap(); | ||
charlie_central.process_welcome_message(commit.welcome.clone().into(), case.custom_cfg()).await.unwrap(); | ||
debbie_central.process_welcome_message(commit.welcome.clone().into(), case.custom_cfg()).await.unwrap(); | ||
|
||
// And now Bob will have to decrypt those messages while he hasn't yet merged its external commit | ||
// To add more fun, he will buffer the messages in exactly the wrong order (to make | ||
// sure he reapplies them in the right order afterwards) | ||
let messages = [commit.commit, external_proposal, proposal].map(|m| m.to_bytes().unwrap()); | ||
for m in messages { | ||
let decrypt = bob_central.decrypt_message(&id, m).await; | ||
assert!(matches!(decrypt.unwrap_err(), CryptoError::UnmergedPendingGroup)); | ||
} | ||
let decrypt = bob_central.decrypt_message(&id, app_msg).await; | ||
assert!(matches!(decrypt.unwrap_err(), CryptoError::UnmergedPendingGroup)); | ||
|
||
// Finally, Bob receives the green light from the DS and he can merge the external commit | ||
let Some(restored_messages) = bob_central.merge_pending_group_from_external_commit(&id).await.unwrap() else { | ||
panic!("Alice's messages should have been restored at this point"); | ||
}; | ||
for (i, m) in restored_messages.into_iter().enumerate() { | ||
match i { | ||
0 => { | ||
// this is the application message | ||
assert_eq!(&m.app_msg.unwrap(), b"Hello Bob !"); | ||
assert!(!m.has_epoch_changed); | ||
} | ||
1 | 2 => { | ||
// this is either the member or the external proposal | ||
assert!(m.app_msg.is_none()); | ||
assert!(!m.has_epoch_changed); | ||
} | ||
3 => { | ||
// this is the commit | ||
assert!(m.app_msg.is_none()); | ||
assert!(m.has_epoch_changed); | ||
} | ||
_ => unreachable!(), | ||
} | ||
}; | ||
// because external commit got merged | ||
assert!(bob_central.try_talk_to(&id, &mut alice_central).await.is_ok()); | ||
// because Alice's commit got merged | ||
assert!(bob_central.try_talk_to(&id, &mut charlie_central).await.is_ok()); | ||
// because Debbie's external proposal got merged through the commit | ||
assert!(bob_central.try_talk_to(&id, &mut debbie_central).await.is_ok()); | ||
}) | ||
}, | ||
) | ||
.await | ||
} | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
5 changes: 5 additions & 0 deletions
5
keystore/src/connection/platform/generic/migrations/V3__pending_messages.sql
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
CREATE TABLE mls_pending_messages ( | ||
id BLOB, | ||
message BLOB, | ||
FOREIGN KEY(id) REFERENCES mls_pending_groups(id) | ||
); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.