Formalizing MEV: A New Theory for Blockchain Security Proofs
        
        
        
        
          
        
        
      
        
    
        
        This research establishes a rigorous, abstract model for Maximal Extractable Value, enabling provable security against economic attacks on decentralized protocols.
