Formal proofs are conducted in the field of cybersecurity using computational complexity theory fundamentals, logic, true statements, and provable statements. These proofs play a important role in ensuring the correctness and security of various computational systems and protocols. In this answer, we will explore how formal proofs are conducted and how they can be verified