Non-Byzantine Computation

The goal is to verify the identity of the nodes, and once authenticated, we trust that the node will function as expected. The matching scenario we have presented is the mechanism to eliminate fault.

In non-malicious (Non-Byzantine) failure scenarios, the challenge is to ensure that all participants reach agreement on a specific value or sequence of actions, even if some nodes fail. Whether the failure is a fail-stop or fail-stuck, the state remains consistently observed by all participants, who collectively agree on the nature of the node's failure with the appropriate stop or stuck semantics.