From 7657f9ffa8b03683bd9357fbc7f3c1525a8ee211 Mon Sep 17 00:00:00 2001
From: mjalalzai <33738574+MForensic@users.noreply.github.com>
Date: Tue, 21 Mar 2023 23:49:53 -0700
Subject: [PATCH] PaceMaker

---
 carnot/spec.md | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/carnot/spec.md b/carnot/spec.md
index 39c5ed1..ef6de5d 100644
--- a/carnot/spec.md
+++ b/carnot/spec.md
@@ -404,7 +404,14 @@ def receive(timeoutMsg: TimeoutMsg):
     PENDING_TIMEOUTMSG_COLLECTION[timeoutMsg.view].append(timeoutMsg)
     if len(PENDING_TIMEOUTMSG_COLLECTION[timeoutMsg.view])== supermajority(None, PENDING_TIMEOUTMSG_COLLECTION[timeoutMsg.view]):
         timeout_qc = create_timeout_qc(PENDING_TIMEOUTMSG_COLLECTION[timeoutMsg.view])
-        reset(current_view)
+        reset(current_view) ###
+        ### Here we can simply broadcast so that everyone receives the timeout_qc sooner. 
+        ### But it may cause problem at the network layer due to so many msgs. Though if Waku
+        ### can avoid forwarding duplicate qcs then broadcast is a better option.
+        if member_of_root():
+            send(timeout_qc, leader(view+1)) 
+        else:
+            send(timeout_qc, parent_committee())
         return timeout_qc
     return