PIL: Polynomial identity language. Building the engine of the zkEVM