Add safety detection to protocols where it is missing about cbc-casper HOT 1 OPEN

Hello! It seems like you're looking to add safety detection to the sharded blockchain and concurrent schedule protocols in Ethereum. Safety detection is an important aspect of protocol design to ensure the integrity and security of the system.

To implement safety detection in these protocols, you can follow the proposed steps:

1. Define when two messages conflict: In the sharded blockchain protocol, you can refer to the placeholder here. Similarly, in the concurrent schedule protocol, you can refer to the placeholder here. These placeholders may provide some hints on how to define message conflicts, but please note that they might not be working properly at the moment.

2. Define the update_safe_estimates function: In the sharded blockchain protocol, you can find the implementation of the update_safe_estimates function here. For the concurrent schedule protocol, you can find it here. This function is responsible for updating safe estimates based on the defined conflict detection mechanism.

By implementing these steps, you can enhance the safety detection capabilities of the sharded blockchain and concurrent schedule protocols in Ethereum. Remember to thoroughly test your changes to ensure the desired functionality and security. Let me know if you have any further questions!

from cbc-casper.