プロジェクトのレビューを終えたばかりなので、ここに短いスレッドがあります@Lighter_xyz 🧵

Lighter と最近の Perp チェーンの波の最初の大きな違いは、ZK 証明の使用です。$1Bを超えるブリッジは、固定プログラムによって証明された引き出しのみを許可します。このため、バリデーターは資金を盗むために無効な出金に単純に署名することはできません。

悪いニュースは、ZK 証明によって証明されているプログラムがソースが利用できないため、チェーンがビジネス ロジックを正しく実装しているかどうかを確認することは現時点では不可能です。チームは、1、2週間以内に公開できるように取り組んでいると私たちと連絡を取りました。

プログラムが優れていると仮定すると、ZK 証明だけでは資金の損失を防ぐのに十分ではありません。たとえば、集中型シーケンサーは、出金リクエストや注文のキャンセルリクエストを検閲できます。幸いなことに、@Lighter_xyz は L1 を通じて強制トランザクションを実装しています。

一部のユーザーがトランザクションをシーケンサーに送信してトランザクションを含めることができない場合、完全な検閲耐性を継承して、トランザクションを L1 に強制的に通過させることができます。シーケンサーには、TXを含めて全員が満足するか、プロジェクトを強制的にシャットダウンするかの2つのオプションがあります。

はい、正しく読みました:シーケンサーはすべてのリクエストを含める強いインセンティブを持っていますが、そうでなければシステムを「砂漠モード」、つまりシャットダウンさせる可能性があります。シーケンサーが無視できない強制取引には、出金、入金、注文の作成、キャンセルが含まれます。

しかし、システムがシャットダウンされた場合、ユーザーはどのようにして終了できるのでしょうか?ここでエスケープハッチの出番です。Lighterはロールアップであり、BLOBでデータの可用性を保証するため、ユーザーは最新の状態を再構築し、終了するための残高を証明できます。すべての未決済注文は最新の価格を使用して決済されます。

このプロジェクトは現在、21 日間の遅延でアップグレード可能ですが、そのような遅延は 3/5 マルチシグによって形成された「安全保障理事会」によってゼロに減らすことができます。これだけでは、すでにシステムがステージ 1 と見なされるのを妨げています。チームは、このセットアップを改善する計画を伝えました。

もう一つの懸念は指数価格から生じます。プロジェクトで使用される外部オラクルは現在適切に認証されておらず、シーケンサーはそれらを正しく報告することが完全に信頼されています。これは重大な脆弱性であり、チームは対処計画を表明しています。

最後に、契約書から、チームが古い @zksync Lite から大きなインスピレーションを得ていることは明らかであり、それは良いことです。zkSync Lite は、dYdX v3 とともに、非常に優れたセキュリティ モデルを備えたアプリ固有のロールアップとして常に認識されてきました。