上週，幣安 HODLer 空投上線了 $LA. 拿到空投後，做了一點研究工作，順便記錄 & 分享一下。 作為一個 ZK 項目，Lagrange 的核心產品是驗證鏈下的計算或數據分析，生成「某個鏈下計算結果是可信的」的證明，為鏈上 🆚 鏈下數據提供連接。 同樣是 ZK 技術，這跟 L2 擴容方案 zkRollup 很不一樣。zkRollup 是批量把 L2 的交易打包到 L1 進行驗證，是鏈與鏈之間的交互。 舉個例子來說 🌰 比如我們在參與 Web3 早期項目時，都會貢獻大量的數據如交易量、積分等。一般來說在項目 TGE 時，都是由項目方在鏈下計算所有用戶的貢獻度，這導致社區的信任成本很高，項目方也難以自證沒有老鼠倉，類似不公平的空投案例時有發生。 但如果要把這些數據全部上鏈，按貢獻進行 token 發放，鏈上計算的成本又非常高。 @LagrangeDev 的解決方案就可以解決類似的問題，它讓數據分析在鏈下完成，比如先查詢所有用戶 + 所有時間內的交易量，然後生成一個零知識證明「每個人交易了 xxx USDC」，然後在鏈上驗證這個證明，整個過程公開透明，每個用戶都可以 verify。當鏈上驗證通過了，觸發智能合約為每個用戶分配相應的空投。 Lagrange 有三個核心產品 DeepProve, ZK Prover Network 和 ZK Coprocessor，用例場景各不相同，比如 ZK Coprocessor 核心場景是上面提的空投公平性保證，而 DeepProve 就更多是驗證 AI 結果是否可信。他們都是利用 ZK 技術解決面向鏈上驗證的問題，且可在某些複雜場景下組合使用。 Lagrange 整體像一個鏈上版的「公證處」，ZK 技術是公證人。