Consensus justification

all.md

@@ -1,12 +1,13 @@
 ## All SIPS
 
-| SIP #                                 | Title                       | Status |
-|---------------------------------------|-----------------------------|--------|
-| [1](./sips/dkg.md)                    | DKG                         | open-for-discussion  |
-| [2](./sips/msg_struct_encoding.md)    | Message struct and encoding | open-for-discussion  |
-| [3](./sips/qbft_sync.md)              | QBFT Sync                   | open-for-discussion  |
-| [4](./sips/change_operator.md)        | Change operators set        | open-for-discussion  |
-| [5](./sips/ecies_share_encryption.md) | ECIES Share Encryption      | open-for-discussion  |
-| [6](./sips/constant_qbft_timeout.md)  | Constant QBFT timeout       | open-for-discussion  |
-| [7](./sips/fork_support.md)           | Fork Support                | open-for-discussion  |
-| [8](./sips/pre_consensus_livness.md)                    | Pre-Consensus livness fix   | open-for-discussion  |
+| SIP #                                   | Title                       | Status              |
+|-----------------------------------------|-----------------------------|---------------------|
+| [1](./sips/dkg.md)                      | DKG                         | open-for-discussion |
+| [2](./sips/msg_struct_encoding.md)      | Message struct and encoding | open-for-discussion |
+| [3](./sips/qbft_sync.md)                | QBFT Sync                   | open-for-discussion |
+| [4](./sips/change_operator.md)          | Change operators set        | open-for-discussion |
+| [5](./sips/ecies_share_encryption.md)   | ECIES Share Encryption      | open-for-discussion |
+| [6](./sips/constant_qbft_timeout.md)    | Constant QBFT timeout       | open-for-discussion |
+| [7](./sips/fork_support.md)             | Fork Support                | open-for-discussion |
+| [8](./sips/pre_consensus_livness.md)    | Pre-Consensus livness fix   | open-for-discussion |
+| [11](./sips/consensus_justification.md) | Consenuss justification     | open-for-discussion |

core.md

@@ -1,12 +1,13 @@
 ## Core
 
-| SIP #                              | Title                       | Status |
-|------------------------------------|-----------------------------|--------|
-| [1](./sips/dkg.md)                 | DKG                         | open-for-discussion  |
-| [2](./sips/msg_struct_encoding.md) | Message struct and encoding | open-for-discussion  |
-| [3](./sips/qbft_sync.md)           | QBFT Sync | open-for-discussion  |
-| [4](./sips/change_operator.md)     | Change operators set | open-for-discussion  |
-| [5](./sips/ecies_share_encryption.md) | ECIES Share Encryption      | open-for-discussion  |
-| [6](./sips/constant_qbft_timeout.md)  | Constant QBFT timeout      | open-for-discussion  |
-| [7](./sips/fork_support.md)           | Fork Support                | open-for-discussion  |
-| [8](./sips/pre_consensus_livness.md)                    | Pre-Consensus livness fix   | open-for-discussion  |
+| SIP #                                   | Title                       | Status              |
+|-----------------------------------------|-----------------------------|---------------------|
+| [1](./sips/dkg.md)                      | DKG                         | open-for-discussion |
+| [2](./sips/msg_struct_encoding.md)      | Message struct and encoding | open-for-discussion |
+| [3](./sips/qbft_sync.md)                | QBFT Sync                   | open-for-discussion |
+| [4](./sips/change_operator.md)          | Change operators set        | open-for-discussion |
+| [5](./sips/ecies_share_encryption.md)   | ECIES Share Encryption      | open-for-discussion |
+| [6](./sips/constant_qbft_timeout.md)    | Constant QBFT timeout       | open-for-discussion |
+| [7](./sips/fork_support.md)             | Fork Support                | open-for-discussion |
+| [8](./sips/pre_consensus_livness.md)    | Pre-Consensus livness fix   | open-for-discussion |
+| [11](./sips/consensus_justification.md) | Consenuss justification     | open-for-discussion |

sips/consensus_justification.md

@@ -0,0 +1,26 @@
+|     Author     |          Title          | Category |       Status        |    Date    |
+| -------------- | ----------------------- | -------- | ------------------- | ---------- |
+| Matheus Franco | Consensus Justification | Core     | open-for-discussion | 2024-03-08 |
+
+## Summary
+
+Drop decided messages and include a consensus justification nested in post-consensus messages.
+
+## Motivation
+
+Decided messages represent $16$% of the exchanged messages in the network and also significantly increase the thresholds of allowed messages in message validation. Furthermore, it's not a necessary part of the protocol and the speed-up that it provides can be provided by a simpler justification in the post-consensus message.
+
+## Rationale
+
+As it's done with the pre-consensus justification, that is included in the *Proposal* message, we propose including a consensus justification (an aggregated commit message) in the post-consensus message instead of sending decided messages.
+
+First of all, the decided messages are useful to allow nodes to start the post-consensus phase if they are "behind" in the protocol execution due to not receiving messages. However, a consensus justification inside a post-consensus message allows a node to accomplish the same result while progressing even further due to the post-consensus signature. Moreover, this proposal aligns the design decisions of the (pre-consensus, consensus) and (consensus, post-consensus) inter-phases.
+
+## Improvements
+
+This proposal reduces the number of messages exchanged in the network by $16$%.
+
+## Drawbacks
+
+- The post-consensus messages would be bigger due to the aggregated commit message.
+- Exporters use decided messages to compute statistics of the network. Therefore, the proposal implies not only a protocol change but also changes in the exporter implementation.