Act as a senior systems architect. Write comprehensive pseudocode for a Byzantine Fault Tolerance consensus algorithm. The code should handle message passing, leader election, and state replication. Include detailed comments explaining the time complexity O(n), space complexity, and network message overhead for each major block. Ensure the logic accounts for malicious node behavior.