Lighter、セキュリティ監査を経てゼロ知識証明回路をオープンソース化

TLDR:

• Lighterは、パーペチュアルおよび現物サーキットの監査完了後、ゼロ知識証明認証コードを公開しました。
• このオープンソースリリースにより、イーサリアム上での注文、キャンセル、強制決済の独立した認証が可能になります。
• このプロトコルは、認証システムを通じて1日約5億件の注文とキャンセルを処理しています。
• 開発者は、GitHubリポジトリのスクリプトを使用してサーキットを構築し、デプロイされたイーサリアムスマートコントラクトと一致させることができます。

Lighterは、パーペチュアルおよび現物取引サーキットの包括的なセキュリティ監査を完了した後、ゼロ知識証明認証コードを公開しました。 

このLayer 2プロトコルは、注文の配置、キャンセル、強制決済を含むすべてのオンチェーン処理を認証するコードを公開しました。 

このリリースにより、Lighter L2がどのように機能し、イーサリアム上でセキュリティを維持しているかを独立して認証できるようになります。この動きは、分散型取引所インフラストラクチャにおける透明性の向上に向けた一歩を表しています。

完全なサーキット認証システムが利用可能に

プロトコルは公式チャネルを通じて公開を発表し、パーペチュアルおよび現物サーキットの監査完了がコードリリースに先立って行われたと述べました。 

Lighterサーキットは、GitHubのelliottech/lighter-proverリポジトリでアクセス可能になりました。ユーザーは、デフォルト設定でbuild_circuits.shスクリプトを実行して、すべてのサーキットレイヤーをゼロから構築できます。このプロセスにより、デプロイされたバージョンと一致する更新されたZkLighterVerifierスマートコントラクトが生成されます。

Lighter Verifier Proxyは、特定のイーサリアムアドレスで動作し、公開検査のためにEtherscanに文書化されています。 

開発者は、このアドレスのスマートコントラクトとビルドスクリプトからの出力を比較できます。この認証プロセスにより、デプロイされたスマートコントラクトとオープンソースコード間の一貫性が保証されます。システムは、Lighterの取引プラットフォーム全体で1日約5億件の注文とキャンセルを処理しています。

プロジェクトの技術文書によると、アーキテクチャは厳格な検証プロトコルに従っています。L2Beatは、スマートコントラクト構造の詳細を公開しており、検証者がオペレーションバッチに有効な証明を必要とする方法を示しています。 

正しい暗号証明がない場合、システムはイーサリアム上の状態変更を拒否します。このメカニズムにより、ブロックチェーン状態への不正な変更が防止されます。

パフォーマンスメトリクスと認証インフラストラクチャ

ゼロ知識証明システムは、セキュリティ保証を維持しながら、かなりの取引高を処理しています。 

Lighterは、認証サーキットを通じて毎日数億件のトランザクションを処理しています。チームは、証明インフラストラクチャの効率を継続的に向上させています。このプロトコルは、イーサリアムLayer 2ソリューションの中で最高の1秒あたりのトランザクション数を達成していると主張しています。

認証プロセスは、取引システム内の複数のオペレーションタイプをカバーしています。注文、キャンセル、強制決済はすべて、状態更新が発生する前に暗号認証を受けます。 

この包括的なアプローチにより、プラットフォーム上のすべてのアクションが適切な検証を受けることが保証されます。サーキットは、ユーザーのプライバシーを保持しながら、取引操作の整合性を維持します。

オープンソースリリースにより、ブロックチェーン開発者やセキュリティ研究者が認証ロジックを調査できるようになります。 

技術チームは、暗号実装を監査し、セキュリティモデルを検証できます。この透明性は、プラットフォームのアーキテクチャに対する信頼構築に役立ちます。コードリリースは、Layer 2スケーリングソリューションの業界のベストプラクティスに従っています。

Lighter Open-Sources Zero-Knowledge Proof Circuits Following Security Auditsという投稿は、Blockonomiに最初に掲載されました。