Euclid pulls together five main improvements to the protocol, including migrations to a new L2 "prover" and state commitment system