zk-proofsは、シーケンサーベースのオーダーブックにセキュリティ上の利点を提供しません。 確かに、ZK 証明は、マッチング エンジンがアルゴリズムを正しく実行したことを確認できます。しかし、マッチングエンジンにどのような注文が入ったかは誰が決めるのでしょうか?シーケンサー! 悪意のあるシーケンサーは、次のことができます。 • 内部関係者を保護するために、キャンセル注文を自分の前に挿入します。 •キャンセルを遅らせて、他の人があなたの費用で埋められるようにします。 すべてZK証明の下で「正しい」ことが証明されています—入力が並べ替えられているだけです。そして、シーケンサーが原因なのか、ユーザーが原因なのかを外部から見ることはできません。 オーダーをシーケンサーに信頼しているなら、マッチングも信頼してみてはいかがでしょうか?そうしないと、追加のセキュリティ値なしでZKコストを支払うことになります。 疑似セキュリティスタンプに騙されないでください。zk は、プロトコルが認証可能である場合にのみ役立ちます。マッチングは、それ自体では証明できない順序付け(別名コンセンサス)に還元されます。検証可能であるためには、追加の BFT とネットワークの仮定が必要です (たとえば、2/3 の正直な多数派)。 p.s. L1 での強制インクルードは、シーケンサーが悪意のあるときではなく、オフラインのときに役立ちます。

680kは少なすぎます。3M TPSはどうですか?🙃

私のCTOは、毎秒100万回のオークションだと言っています。本気なのか冗談なのかわからない