Principle-Guided Verilog Optimization: IP-Safe Knowledge Transfer via Local-Cloud Collaboration