Skip to content

Commit

Permalink
Handle out of order messages in round_based_ing
Browse files Browse the repository at this point in the history
  • Loading branch information
survived committed Jul 13, 2022
1 parent 3787269 commit 9af38b7
Show file tree
Hide file tree
Showing 3 changed files with 88 additions and 11 deletions.
7 changes: 7 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

1 change: 1 addition & 0 deletions round-based-ing/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@ curv-kzen = "0.2"
secp256k1 = "0.15"
sorted-vec = "0.7"
digest = "0.9"
drain_filter_polyfill = "0.1"

[dev-dependencies]
anyhow = "1"
Expand Down
91 changes: 80 additions & 11 deletions round-based-ing/src/generic.rs
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@ use round_based::{Delivery, Incoming, MessageDestination, Mpc, MpcParty, Outgoin
use ecdsa_mpc::protocol::{Address, InputMessage, OutputMessage, PartyIndex};
use ecdsa_mpc::state_machine::{self, State, Transition};

use drain_filter_polyfill::VecExt;
use futures::{SinkExt, StreamExt};
use thiserror::Error;
use tracing::{error, trace, trace_span, warn};
Expand All @@ -21,6 +22,7 @@ where
T: StateMachineTraits,
T::ErrorState: fmt::Debug,
M: Mpc<ProtocolMessage = T::Msg>,
T::Msg: MessageRound,
{
let span = trace_span!("MPC protocol execution", protocol = %protocol_name, i = party_index);
trace!(parent: &span, "Starting the protocol");
Expand All @@ -29,6 +31,7 @@ where
let (mut incomings, mut outgoings) = delivery.split();

let mut state: Box<dyn State<T> + Send> = Box::new(initial_state);
let mut out_of_order_messages: Vec<Incoming<T::Msg>> = vec![];

for round_i in 1u16.. {
trace!(parent: &span, i = round_i, "Proceeding to round `i`");
Expand All @@ -38,40 +41,74 @@ where
let msg = match convert_output_message_to_outgoing(&parties, msg) {
Ok(m) => m,
Err(UnknownDestination { recipient }) => {
warn!(?recipient, "Protocol wants to send message to the party that doesn't take part in computation. Ignore that message.");
warn!(
parent: &span,
?recipient,
"Protocol wants to send message to the party that doesn't take part in computation. Ignore that message."
);
continue;
}
};
trace!(
parent: &span,
recipient = ?msg.recipient,
is_broadcast = msg.is_broadcast(),
"Sending message to `recipient`"
);
outgoings.feed(msg).await.map_err(Error::SendMessage)?;
}
outgoings.flush().await.map_err(Error::SendMessage)?;
}

let mut out_of_order_messages = out_of_order_messages
.drain_filter(|incoming| incoming.msg.round() == round_i)
.collect::<Vec<_>>();
out_of_order_messages.reverse();

let mut received_msgs = vec![];
while !state.is_input_complete(&received_msgs) {
let incoming = incomings
.next()
.await
.ok_or(Error::UnexpectedEof)?
.map_err(Error::ReceiveNextMessage)?;
let incoming = if let Some(msg) = out_of_order_messages.pop() {
trace!(parent: &span, "Retrieved out of order message");
msg
} else {
incomings
.next()
.await
.ok_or(Error::UnexpectedEof)?
.map_err(Error::ReceiveNextMessage)?
};
let sender = incoming.sender;
if sender == party_index {
// Ignore own messages
continue;
}

trace!(
parent: &span,
sender = incoming.sender,
is_broadcast = incoming.is_broadcast(),
message_round = incoming.msg.round(),
"Received message from `sender`"
);

if sender == party_index {
trace!(
parent: &span,
"Message was sent by this party - ignoring it"
);
continue;
}
if incoming.msg.round() < round_i {
warn!(
parent: &span,
"Received message from previous round. Ignore that message."
);
continue;
}
if incoming.msg.round() > round_i {
trace!(
parent: &span,
"Received out of order message, save it to process later"
);
out_of_order_messages.push(incoming);
continue;
}

let msg = convert_incoming_to_input_message(&parties, incoming)?;
if !state.is_message_expected(&msg, &received_msgs) {
error!(
Expand Down Expand Up @@ -272,3 +309,35 @@ pub enum InvalidPartiesList {
#[error("list of parties too large: it must fit into u16")]
TooLarge,
}

pub trait MessageRound {
fn round(&self) -> u16;
}

impl MessageRound for ecdsa_mpc::ecdsa::messages::keygen::Message {
fn round(&self) -> u16 {
match self {
Self::R1(..) => 1,
Self::R2(..) => 2,
Self::R3(..) => 3,
Self::R4(..) => 4,
}
}
}

impl MessageRound for ecdsa_mpc::ecdsa::messages::signing::Message {
fn round(&self) -> u16 {
match self {
Self::R1(..) => 1,
Self::R2(..) => 2,
Self::R2b(..) => 3,
Self::R3(..) => 4,
Self::R4(..) => 5,
Self::R5(..) => 6,
Self::R6(..) => 7,
Self::R7(..) => 8,
Self::R8(..) => 9,
Self::R9(..) => 10,
}
}
}

0 comments on commit 9af38b7

Please sign in to comment.