// Destination contract: Hybrid verification
function executeMessage(
  bytes calldata message,
  bytes calldata validatorSigs,  // Existing protocol
  bytes calldata taifoonProof    // Added: Taifoon verification
) external {
  // Existing: Verify validator signatures
  require(validators.verify(message, validatorSigs), "Invalid sigs");
  
  // Added: Verify cryptographic proof
  require(taifoonVerifier.verify(taifoonProof), "Invalid proof");
  
  // Execute with dual security guarantee
  _execute(message);
}

// Fallback: Taifoon-only mode (if validators compromised)
function emergencyExecute(bytes calldata message, bytes calldata proof) {
  require(taifoonVerifier.verify(proof), "Proof required");
  _execute(message);
}