人工智慧正在推動技術進步，zk在保護它 去中心化應用程式（Dapps）應該為隱私和安全的人工智慧而建構 以下是7個在TGE前推進人工智慧和zk的專案。 如果你對ZK不熟悉，可以查看我對它的深入探討，了解你需要知道的一切。 1. @Union_Build zk正成為加密領域最重要的技術之一 zk很重要，因此Union更重要，因為透過zk的數據傳輸很重要。加密是建立在隱私可轉移性上的，Union正在建構這一點。 Union使用zkps + 輕客戶端在鏈之間傳輸經過驗證的數據，而不依賴於信任重的橋接。這不僅是跨鏈的，也是跨證明的，使得ZK系統之間的安全互操作成為可能。 Union基於共識驗證，沒有對受信任的第三方、預言機、多重簽名或MPC的依賴。 2. @boundless_xyz 由RISC Zero建構 Boundless使用zk協處理器模型，鏈將複雜計算卸載到外部zkVM，並獲得在鏈上驗證的證明。 這解鎖了重負載，如AI推理、複雜的DeFi計算，甚至遊戲邏輯，所有這些都可以在不重新運行鏈上的情況下進行驗證。 3. @zerobasezk ZEROBASE是一個高性能的去中心化zk證明網絡，適用於即時、合規的Web3和金融應用。 它為zkLogin、zkDarkPool和zkKYC等用例提供快速的證明生成，使用TEE確保隱私和合規性。 他們的方法強調模組化： zk電路優化以最小化證明時間 DA層靈活性 可插拔共識 4. @silhouette_ex Silhouette是一個以隱私為首的準備DEX，運行在Hyperliquid的HyperEVM上，使用TEE和加密中繼在執行之前隱藏訂單。 這防止了前置交易，保護了交易策略，並防禦了MEV，而不犧牲速度或流動性。 它旨在通過直接利用Hyperliquid的深度訂單簿，提供CEX級別的性能，同時實現完全的鏈上隱私。 5. @encifherio Encifher是一個為DeFi Dapps提供隱私層的中介軟體，易於整合且合規友好。它在Solana上運行，並開始通過Jupiter整合建構私密交換。 它使用客戶端ZK證明和TEE來驗證交易，而不暴露敏感數據。 6. @MiraNetwork 這是人工智慧與ZK相遇的地方。基本上是使用zk進行AI輸出驗證。 Mira通過多模型共識驗證AI模型輸出，使用ZKP證明計算正確發生。 這對AI的可靠性至關重要，尤其是在無信任環境中，因為它確保AI模型無法在沒有檢測的情況下偽造輸出。 7. @cysic_xyz 基本上，ZK以硬體速度運行。 Cysic建構定制的ASIC和基於GPU的系統，以加速ZK證明生成。 他們正在與RISC Zero zkVM整合，以在通常時間的一小部分內提供生產就緒的證明。對於AI工作負載，這使得即時驗證大型複雜模型成為可能。 zk已經從僅僅是一個隱私工具走過了很長的路，現在它是安全計算、AI驗證和跨鏈信任的支柱。 絕對值得關注這些Dapps。