What is EigenLayer and how does restaking work?

EigenLayer is a protocol that aims to leverage ether staked with Ethereum validators through a process called restaking.