零知識證明1985年就誕生了，過去這40年，零知識證明一直被調侃為“月球數學”的神秘技術，但現在他從實驗室走向了數字經濟的最前沿。回顧整個ZK賽道的發展軌跡，有一個明確的結論可以給出了：ZK不再是可有可無的隱私補丁，而是下一代互聯網的信任底座。 今年跑出來的ZK相關性項目很多，兄弟們可能都會給他們歸類為ZK賽道項目，但是我想說他們細分比我們想象的更精細。就以生成證明 → 批量驗證 → 各鏈確認的生命週期來劃分，Sunccinct、Boundless他們定位的是證明生成的階段，不過這個賽道還存在一個結構性的問題，就是驗證瓶頸，最近在看的zkVerify @ZKVProtocol 就在這方面給了一些解決方案。 zkVerify是 @HorizenLabs 推出的一個項目，後者推出了Base生態上第一個隱私應用鏈，而zkVerify是第一個專用證明驗證鏈。 驗證效率的意義怎麼說呢，就像瀋陽鐵西BMW工廠，雖然產能很牛B，但是物流跟不上，所以沒法把3系、5系快速的送到用戶手裏。最後他們在瀋陽境內修了直通廠區的鐵路直達港口。對於ZK賽道來說，一樣需要提高生產力的“物流系統”。 如果只吹概念大家可能不理解驗證面臨的性能問題多嚴重，就這麼說吧，在以太坊上驗證一個Gorth16證明高峰期成本高達60U，就2024年一年ZK協議在以太坊上燒了5500萬Gas，更要命的是，以太坊每秒只能處理最多15個證明驗證，所以這怎麼讓行業發展？ zkVerify作為全球首個專用證明驗證鏈，通過兼容性支持STARKs、Plonky2、SP1等多種證明系統，能直接能把成本打掉90%，他最核心的設計是把證明生成和證明驗證進行解耦，這個設計真的就是為當下ZK生態而生，以後專業弄證明的去弄證明，他負責驗證就行。 作為新興的驗證系統，zkVerify還在探索更宏大的敘事，就是 AI x ZK 的融合。現在講AI的項目多如牛毛，我覺得zkVerify很有價值的一點是他們非常看重開發者社區，真正在做實事。大概看了下他們過去一年在blog和YouTube上的更新內容，分享了很多合作故事，可以看出他們是怎麼從一步步build起來的。 下週9月30日他們就TGE了，從代幣經濟學裡也可以看出團隊的發心，項目所產生的所有驗證證明費用都會用 $VFY 支付，社區份額佔37.31%也是最多的。現在還有參與的機會，他們搞了個遊戲ZK Space Invaders，獲得的遊戲獎勵在TGE那天可以兌換主網代幣 $VFY。 作為專為驗證而生，為AI模型而設計的專用證明鏈zkVerify，如果把Succinct、Boundless比作ZK的發電廠，我覺得zkVerify便是ZK的電網，會真正打開ZK向上的天花板。