作为以太坊二层解决方案的 Lighter,利用零知识证明与 Hyperliquid 相比是否提供了任何好处?