liệu việc Lighter là một L2 của ETH và sử dụng các bằng chứng không kiến thức có mang lại lợi ích gì so với Hyperliquid không?