上周，币安 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 技术是公证人。