Lighter團隊最近搞了個大動作：他們的永續和現貨交易zk電路審計終於落地了，代碼也正式開源了。說白了，就是把驗證邏輯都透明了出來。

重點在這兒——用戶現在能通過完整驗證代碼，獨立檢查Lighter在以太坊L2上的每一筆操作。你的掛單是不是真的掛了，撤單有沒有真的撤掉，清算是否合規……都能按圖索驥查一遍。開發者可以直接上GitHub拉腳本，自己構建生成驗證流程。

這種做法其實挺難得的。零知識證明本來就是L2層的技術門檻，能把電路代碼完全開源給社群審查，說明團隊對自己的實現還是有信心的。透明度越高，用戶的信心也就越足。對於想深入了解L2驗證機制的開發者來說，這也是難得的學習資源。