我查看的每個新應用程式:AI、遊戲、身份、合規,都回到一個瓶頸:證明驗證。 這正是我如此被@ZKVProtocol吸引的原因。 ➦ 擁有270萬個已驗證的證明,zkVerify 專注於一件事:大規模驗證零知識證明。 它支持你能想到的每種證明類型:SNARKs、STARKs、Groth16、Ultrahonk。 將驗證成本削減超過90%,並且可以跨鏈接甚至Web2進行整合。 讓我相信這是真的,是因為它的採用: ➢ ApeChain 使用它來保護他們的 DAO 鏈 ➢ Arbitrum 整合以實現可擴展的 ZK 驗證 ➢ Ankr 在80多條區塊鏈上分發它 ➢ Phala 處理 TEE 證明,zkEmail 使電子郵件私密且可證明 ➢ Space & Time 指定 zkVerify 作為他們在 AI/數據庫邊緣的驗證者。 這不是“未來的承諾”,已經有數百萬個證明被驗證, ➦ 超過29K用戶,400K 測試網參與者,以及在 DeFi、AI 和身份上的整合。 Horizen Labs,背後的團隊,已經多年在提供 ZK 基礎設施。 結論 對我來說,zkVerify 感覺像是缺失的通用層,就像以太坊解鎖了智能合約,zkVerify 正在解鎖可驗證的計算。 如果下一個互聯網運行在證明上,zkVerify 已經證明了它是我們都將最終使用的層。