What is a safety oracle?

A safety oracle looks at all the messages a node has received and says, “at this point, no one can convince me that this subset of information is wrong.” If the network converges on the value of that information, it must converge on what that node believes.

Leave a comment

Your email address will not be published. Required fields are marked *