est-ce que le fait que Lighter soit un L2 d'Ethereum et utilise des preuves à connaissance nulle offre des avantages par rapport à Hyperliquid ?