Formal verification of blockchain driven packet management in congested network using Event B

The effective packet control system for congestion control continues growing by integrating blockchain technology, which offers promising solutions. This paper presents a formal verification of a blockchain enabled system designed to manage packet control in congestion. The objective is to ensure the correctness, reliability, and security of the system's packet management processes. In this paper, we focus on the Event B method for conducting the formal verification technique, one's systematic approach to reach the validation of the system, and also to ensure that the requirements are fulfilled. Here, looking at the packet part, including congestion control, authentication and integrity check. By taking advantage of the decentralization and immutability of blockchain, the system effectively resolves the problems associated with packet loss as well as high delays resulting from congestion management. The solution resolves any potential congestion that could be an issue of congestion while maintaining the security and integrity of the network. The smart contract utilizes a blockchain distributed ledger to process every data packet through pre-defined rules that are organized based on priorities. All packets go through this decentralized packet forwarding mechanism where each node queries the smart contract for each packet's priority level and forwards in the appropriate manner. Prioritization of decisions is made using SHA 256 Cryptography and a consensus process which guarantees that the decision is made with security and integrity. The formal development of blockchain driven packet management system coupled with the proofs of obligations which enhance the correctness of the system. This proof of obligations ensures that the system performs as intended, even in a network that is overloaded. This innovative solution has the potential to revolutionize packet control in congestion, enhancing the reliability and performance of modern communication infrastructures.