What is the correct ethernet protocol and library to use

Depends. Can you program the Pi Pico with the Arduino IDE?