Lighter 於安全審計後開源零知識證明電路

TLDR:

• Lighter 在完成永續和現貨電路的審計後，公開發布了零知識證明驗證代碼。
• 此開源發布使以太坊上的訂單、取消和清算能夠獲得獨立驗證。
• 該協議透過其驗證系統每日處理約 5 億筆訂單和取消操作。
• 開發者可以使用 GitHub 儲存庫腳本建構電路，以匹配已部署的以太坊智能合約。

Lighter 在完成對其永續和現貨交易電路的全面安全審計後，公開了其零知識證明驗證代碼。 

該 Layer 2 協議發布了驗證所有鏈上操作的代碼，包括訂單下達、取消和清算。 

此次發布使 Lighter L2 的運作方式和在以太坊上的安全維護能夠獲得獨立驗證。此舉代表著朝向去中心化交易所基礎設施更高透明度邁進了一步。

完整電路驗證系統現已上線

該協議透過其官方渠道宣布此次發布，表示永續和現貨電路的審計完成在代碼發布之前。 

Lighter 電路現在可以在 GitHub 的 elliottech/lighter-prover 儲存庫中取得。用戶可以使用預設設定執行 build_circuits.sh 腳本，從頭開始建構所有電路層。此過程會生成與已部署版本相匹配的更新 ZkLighterVerifier 合約。

Lighter Verifier Proxy 在特定的以太坊地址上運作，記錄於 Etherscan 上供公眾檢查。 

開發者可以將此地址上的合約與建構腳本的輸出進行比較。此驗證過程確保了已部署合約與開源代碼之間的一致性。該系統每日在 Lighter 的交易平台上處理約 5 億筆訂單和取消操作。

根據該專案的技術文件，該架構遵循嚴格的驗證協議。L2Beat 發布了智能合約結構的詳細資訊，顯示驗證器如何要求操作批次提供有效證明。 

如果沒有正確的加密證明，系統會拒絕以太坊上的狀態變更。此機制防止了對區塊鏈狀態的未授權修改。

效能指標與驗證基礎設施

零知識證明系統在維持安全保證的同時處理大量交易量。 

Lighter 每天透過其驗證電路處理數億筆交易。團隊持續提升證明基礎設施的效率。該協議聲稱在以太坊 Layer 2 解決方案中達到了最高的每秒交易處理量。

驗證過程涵蓋交易系統內的多種操作類型。訂單、取消和清算在狀態更新發生之前都會經過加密驗證。 

這種全面的方法確保平台上的每個操作都能獲得適當的驗證。這些電路在保護用戶隱私的同時維護交易操作的完整性。

此次開源發布允許區塊鏈開發者和安全研究人員檢查驗證邏輯。 

技術團隊可以審計加密實作並驗證安全模型。這種透明度有助於建立對平台架構的信心。此次代碼發布遵循了 Layer 2 擴展解決方案的行業最佳實踐。

此篇文章 Lighter Open-Sources Zero-Knowledge Proof Circuits Following Security Audits 首次發表於 Blockonomi。