Restaking can make DeFi more secure for institutional traders